| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuhong Zhao, Franz J. Rammig |
Online Model Checking for Dependable Real-Time Systems.  |
ISORC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Norma Montealegre, Franz J. Rammig |
Agent-Based Modeling and Simulation of Artificial Immune Systems. |
ISORC Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Norma Montealegre, Franz J. Rammig |
Dynamic Partial Reconfiguration by Means of Algorithmic Skeletons - A Case Study. |
Dynamically Reconfigurable Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis |
Preface. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sufyan Samara, Yuhong Zhao, Franz J. Rammig |
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (eds.) |
Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz-Josef Rammig, Wolfgang Reif, Ansgar Trächtler |
Engineering self-coordinating software intensive systems. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira, Franz J. Rammig |
Run-time reconfigurable RTOS for reconfigurable systems-on-chip. |
J. Embedded Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcio F. da S. Oliveira, Ronaldo R. Ferreira, Francisco Assis M. do Nascimento, Franz J. Rammig, Flávio Rech Wagner |
Exploiting the model-driven engineering approach to improve design space exploration of embedded systems. |
SBCCI |
2009 |
DBLP DOI BibTeX RDF |
embedded systems, model-driven engineering, design space exploration |
| 1 | Franz J. Rammig, Yuhong Zhao, Sufyan Samara |
On-Line Model Checking as Operating System Service. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
On-line model checking, Verification service, Real-time operating system |
| 1 | Achim Rettberg, Mauro Cesar Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig (eds.) |
Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings |
IESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao, Franz-Josef Rammig |
Model-based Runtime Verification Framework. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz J. Rammig |
Cyber Biosphere for Future Embedded Systems. |
SEUS |
2008 |
DBLP DOI BibTeX RDF |
Biologically Inspired Techniques, Artificial Hormone Systems, Artificial Immune Systems, Ant Colony Algorithms |
| 1 | Andreas Schallenberg, Achim Rettberg, Wolfgang Nebel, Franz-Josef Rammig |
Seamless design flow for reconfigurable systems. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Franz-Josef Rammig |
GenERTiCA: A Tool for Code Generation and Aspects Weaving. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Code Generation, Aspect-Orientation, UML modeling, Distributed Real-Time Embedded Systems |
| 1 | Marco A. Wehrmeister, Edison Pignaton de Freitas, Dalimir Orfanus, Carlos Eduardo Pereira, Franz-Josef Rammig |
A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems. |
MOMPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tales Heimfarth, Peter Janacik, Franz J. Rammig |
Self-organizing Resource-Aware Clustering for Ad Hoc Networks. |
SEUS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Dittmann, Franz-Josef Rammig, Martin Streubühr, Christian Haubelt, Andreas Schallenberg, Wolfgang Nebel |
Exploration, Partitioning and Simulation of Reconfigurable Systems (Exploration, Partitionierung und Simulation rekonfigurierbarer Systeme). |
it - Information Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz-Josef Rammig |
Engineering Self-Coordinating Real-Time Systems. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig (eds.) |
Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers |
SEUS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Achim Rettberg, Mauro Cesar Zanella, Rainer Dömer, Andreas Gerstlauer, Franz-Josef Rammig (eds.) |
Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA |
IESS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz-Josef Rammig |
Software-Hardware Complexes: Towards Flexible Borders. |
IESS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Rettberg, Franz J. Rammig |
A new Design Partitioning Approach for Low Power High-Level Synthesis. |
DELTA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür |
Real-time Operating Systems for Self-coordinating Embedded Systems. |
MBEES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Peter Janacik, Tales Heimfarth, Franz J. Rammig |
Emergent Topology Control Based on Division of Labour in Ants. |
AINA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür |
Real-time Operating Systems for Self-coordinating Embedded Systems. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Pan, Franz J. Rammig, Hartmut Schmeck, Mauricio Solar (eds.) |
Biologically Inspired Cooperative Computing, IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile |
BICC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz J. Rammig |
Towards Self-coordinating Ubiquitous Computing Environments. |
EUC |
2006 |
DBLP DOI BibTeX RDF |
ant-colony algorithms, Organic Computing, Self-coordination |
| 1 | Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig |
Model-based Runtime Verification Framework for Self-optimizing Systems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Rettberg, Franz-Josef Rammig |
Integration of Energy Reduction into High-Level Synthesis by Partitioning. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos |
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. |
PPAM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig |
Comprehensive Verification Framework for Dependability of Self-optimizing Systems. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tales Heimfarth, Klaus Danne, Franz J. Rammig |
An OS for Mobile Ad hoc Networks Using Ant Based Hueristic to Distribute Mobile Services. |
ICAS/ICNS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | André Luiz de Freitas Francisco, Franz J. Rammig |
Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig |
Spezielle Aspekte der Verlustleistungsgetriebenen High-Level Synthese. |
GI Jahrestagung |
2005 |
DBLP BibTeX RDF |
|
| 1 | Laurence Tianruo Yang, Makoto Amamiya, Zhen Liu, Minyi Guo, Franz J. Rammig (eds.) |
Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings |
EUC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pham Van Tien, Franz J. Rammig, Yoshiaki Tanaka |
Intelligent CAC and Routing for Multi-Point Connections. |
Communications in Computing |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chris Loeser, Michael Ditze, Peter Altenbernd, Franz J. Rammig |
GRUSEL - A Self Optimizing, Bandwidth Aware Video on Demand P2P Application. |
ICAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz J. Rammig |
Autonomic Distributed Real-Time Systems: Challenges and Solutions. (PDF / PS) |
ISORC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Carsten Rust, Franz J. Rammig |
A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems. |
DIPES |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Kardos, Franz J. Rammig |
Model Based Formal Verification of Distributed Production Control Systems. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Edna Natividade da Silva Barros, Flávio Rech Wagner, Luigi Carro, Franz-Josef Rammig (eds.) |
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2004, Pernambuco, Brazil, September 7-11, 2004 |
SBCCI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christian Schindelhauer, Stefan Büttcher, Franz-Josef Rammig |
The design of PaMaNet the Paderborn mobile ad-hoc network. |
Mobility Management & Wireless Access Protocols |
2004 |
DBLP DOI BibTeX RDF |
egoistic caching, mobile ad hoc network, peer-to-peer network, XML-database |
| 1 | Tales Heimfarth, Marcelo Götz, Franz J. Rammig, Flávio Rech Wagner |
RTC: A Real-Time Communication Middleware on Top of RTAI-Linux . (PDF / PS) |
ISORC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz-Josef Rammig, Carsten Rust |
Modeling of Dynamically Modifiable Embedded Real-Time Systems. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
Petri nets, autonomic computing, reconfigurable systems, embedded real-time systems |
| 1 | Franz J. Rammig |
OCL Goes Real-Time (position paper). (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramakrishna Prasad Chivukula, Carsten Böke, Franz J. Rammig |
Customizing the Configuration Process of an Operating System Using Hierarchy and Clustering. (PDF / PS) |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
Operating Systems, Configuration, Customization, Hierarchical Clustering |
| 1 | Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig |
Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing Systems. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
| 1 | Franz-Josef Rammig |
Synthesis Aspects of the PARADISE Design Environment. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann |
The Specification Language SpecC within the PARADISE Design Environment. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
| 1 | Carsten Böke, Markus Hübel, Franz J. Rammig, Carsten Rust |
Zero-overhead Pr/T-Net execution. |
ESM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Franz J. Rammig (eds.) |
Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES '98), October 5-6. 1998, Schloß Eringerfeld, Germany |
DIPES |
1999 |
DBLP BibTeX RDF |
|
| 1 | Wolfram Hardt, Peter Altenbernd, Carsten Böke, Giuseppe Del Castillo, C. Ditze, Edwin Erpenbach, Uwe Glässer, Bernd Kleinjohann, Georg Lehrenfeld, Franz J. Rammig, Carsten Rust, Friedhelm Stappert, Joachim Stroop, Jürgen Tacken |
Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. |
DIPES |
1998 |
DBLP BibTeX RDF |
|
| 1 | Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt |
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme. |
Inform., Forsch. Entwickl. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt |
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme. |
GI Jahrestagung |
1997 |
DBLP BibTeX RDF |
|
| 1 | Nikolaj Janzen, Franz J. Rammig |
A Slow Motion Engine for the Analysis of FPGA-Based Prototypes. |
FPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Brielmann, Franz-Josef Rammig |
Evaluating Hardware Design Principles for the Development of Computer Based Systems. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
Petri nets, System Engineering, Development Process, Hardware Design, Abstraction Levels, Computer Based Systems |
| 1 | Peter Pfahler, Christof Nagel, Franz-Josef Rammig, Uwe Kastens |
Design of a VLIW architecture constructed from standard RISC chips: A case study of hardware/software codesign. |
Microprocessing and Microprogramming |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz J. Rammig, Bernd Steinmüller |
Frameworks und Entwicklungsumgebungen. |
Informatik Spektrum |
1992 |
DBLP BibTeX RDF |
|
| 1 | Franz J. Rammig |
System Level Design: The New Challenge. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | Franz J. Rammig |
Systematischer Entwurf digitaler Systeme - von der Systeme- bis zur Gatter-Ebene. |
|
1989 |
RDF |
|
| 1 | Uwe Kastens, Franz J. Rammig (eds.) |
Architektur und Betrieb vpn Rechensystemen, 10. GI/ITG-Fachtagung, 9.-11. März 1988, Paderborn, Germany, Proceedings |
ARCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig |
Knowledge Based Tools for Testability Checking. |
Fehlertolerierende Rechensysteme |
1987 |
DBLP BibTeX RDF |
|
| 1 | Franz J. Rammig |
Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe. |
ARCS |
1986 |
DBLP BibTeX RDF |
|
| 1 | R. Brück, Bernd Kleinjohann, Thomas Kathöfer, Franz J. Rammig |
Synthesis of concurrent modular controllers from algorithmic descriptions. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz J. Rammig |
Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen. |
GI Jahrestagung (Fachgespräche) |
1984 |
DBLP BibTeX RDF |
|
| 1 | Franz J. Rammig, Horst Röder |
CAP - Eine Systemimplementierungssprache für Multi-Mikro-Prozessor-Systeme. |
Implementierungssprachen für nichtsequentielle Programmsysteme |
1981 |
DBLP BibTeX RDF |
|
| 1 | Franz J. Rammig |
Entwurf, Beschreibung und Implementierung von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP. |
ARCS |
1980 |
DBLP BibTeX RDF |
|
| 1 | Franz J. Rammig, Hans-Jürgen Appelrath, Peter G. Cazacu |
Entwicklung von µ-Prozessor Software und µ-Prozessor orientierter Hardware mit Hilfe des CAP-CAD-Systems. |
Microcomputing |
1979 |
DBLP BibTeX RDF |
|
| 1 | Franz J. Rammig |
A concept for the editing of hardware resulting in an automatic hardware-editor. |
DAC |
1977 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")