Franz Josef Rammig

Yuhong Zhao, Franz J. Rammig: Online Model Checking for Dependable Real-Time Systems. ISORC 2012: 154-161

Norma Montealegre, Franz J. Rammig: Agent-Based Modeling and Simulation of Artificial Immune Systems. ISORC Workshops 2012: 212-219

Norma Montealegre, Franz J. Rammig: Dynamic Partial Reconfiguration by Means of Algorithmic Skeletons - A Case Study. Dynamically Reconfigurable Systems 2010: 183-198

Sufyan Samara, Yuhong Zhao, Franz J. Rammig: Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. DIPES/BICC 2010: 102-113

Peter Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis: Preface. DIPES/BICC 2010: 219

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: 321-324

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. IFIP Advances in Information and Communication Technology 329, Springer 2010, isbn 978-3-642-15233-7

Yuhong Zhao, Franz-Josef Rammig: Model-based Runtime Verification Framework. Electr. Notes Theor. Comput. Sci. 253(1): 179-193 (2009)

Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira, Franz J. Rammig: Run-time reconfigurable RTOS for reconfigurable systems-on-chip. J. Embedded Computing 3(1): 39-51 (2009)

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

Franz J. Rammig, Yuhong Zhao, Sufyan Samara: On-Line Model Checking as Operating System Service. SEUS 2009: 131-143

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. IFIP Advances in Information and Communication Technology 310, Springer 2009, isbn 978-3-642-04283-6

Andreas Schallenberg, Achim Rettberg, Wolfgang Nebel, Franz-Josef Rammig: Seamless design flow for reconfigurable systems. FPL 2008: 351

Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Franz-Josef Rammig: GenERTiCA: A Tool for Code Generation and Aspects Weaving. ISORC 2008: 234-238

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: 44-54

Franz J. Rammig: Cyber Biosphere for Future Embedded Systems. SEUS 2008: 245-255

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 49(3): 149- (2007)

Franz-Josef Rammig: Software-Hardware Complexes: Towards Flexible Borders. IESS 2007: 433-435

Franz-Josef Rammig: Engineering Self-Coordinating Real-Time Systems. ISORC 2007: 21-28

Tales Heimfarth, Peter Janacik, Franz J. Rammig: Self-organizing Resource-Aware Clustering for Ad Hoc Networks. SEUS 2007: 319-328

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. IFIP Advances in Information and Communication Technology 231, Springer 2007, isbn 978-0-387-72257-3

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. Lecture Notes in Computer Science 4761, Springer 2007, isbn 978-3-540-75663-7

Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig: Model-based Runtime Verification Framework for Self-optimizing Systems. Electr. Notes Theor. Comput. Sci. 144(4): 125-145 (2006)

Peter Janacik, Tales Heimfarth, Franz J. Rammig: Emergent Topology Control Based on Division of Labour in Ants. AINA (1) 2006: 733-740

Achim Rettberg, Franz J. Rammig: A new Design Partitioning Approach for Low Power High-Level Synthesis. DELTA 2006: 143-148

Franz J. Rammig: Towards Self-coordinating Ubiquitous Computing Environments. EUC 2006: 2-13

Achim Rettberg, Franz-Josef Rammig: Integration of Energy Reduction into High-Level Synthesis by Partitioning. DIPES 2006: 225-234

Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür: Real-time Operating Systems for Self-coordinating Embedded Systems. ISORC 2006: 382-392

Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür: Real-time Operating Systems for Self-coordinating Embedded Systems. MBEES 2006: 95-104

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. IFIP 216, Springer 2006, isbn 978-0-387-34632-8

Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig: Comprehensive Verification Framework for Dependability of Self-optimizing Systems. ATVA 2005: 39-53

Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig: Spezielle Aspekte der Verlustleistungsgetriebenen High-Level Synthese. GI Jahrestagung (1) 2005: 455

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: 77

André Luiz de Freitas Francisco, Franz J. Rammig: Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems. ISORC 2005: 275-283

Simon Oberthür, Carsten Böke, Franz-Josef Rammig: Ein selbstoptimierendes Echtzeitbetriebssystem für verteilte selbstoptimierende Systeme. PEARL 2005: 3-10

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: 1034-1041

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. Lecture Notes in Computer Science 3824, Springer 2005, isbn 3-540-30807-5

Pham Van Tien, Franz J. Rammig, Yoshiaki Tanaka: Intelligent CAC and Routing for Multi-Point Connections. Communications in Computing 2004: 194-200

Martin Kardos, Franz J. Rammig: Model Based Formal Verification of Distributed Production Control Systems. SoftSpez Final Report 2004: 451-473

Chris Loeser, Michael Ditze, Peter Altenbernd, Franz J. Rammig: GRUSEL - A Self Optimizing, Bandwidth Aware Video on Demand P2P Application. ICAC 2004: 330-331

Carsten Rust, Franz J. Rammig: A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems. DIPES 2004: 257-266

Franz J. Rammig: Autonomic Distributed Real-Time Systems: Challenges and Solutions. ISORC 2004: 259-261

Christian Schindelhauer, Stefan Büttcher, Franz-Josef Rammig: The design of PaMaNet the Paderborn mobile ad-hoc network. Mobility Management & Wireless Access Protocols 2004: 119-121

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. ACM 2004

Tales Heimfarth, Marcelo Götz, Franz J. Rammig, Flávio Rech Wagner: RTC: A Real-Time Communication Middleware on Top of RTAI-Linux . ISORC 2003: 19-25

Franz-Josef Rammig, Carsten Rust: Modeling of Dynamically Modifiable Embedded Real-Time Systems. WORDS Fall 2003: 28-34

Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig: Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing Systems. DIPES 2002: 205-215

Ramakrishna Prasad Chivukula, Carsten Böke, Franz J. Rammig: Customizing the Configuration Process of an Operating System Using Hierarchy and Clustering. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 280-287

Franz J. Rammig: OCL Goes Real-Time (position paper). Symposium on Object-Oriented Real-Time Distributed Computing 2002: 423-424

Franz-Josef Rammig: Synthesis Aspects of the PARADISE Design Environment. WORDS 2002: 27-36

Carsten Böke, Markus Hübel, Franz J. Rammig, Carsten Rust: Zero-overhead Pr/T-Net execution. ESM 2000: 102-107

Achim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann: The Specification Language SpecC within the PARADISE Design Environment. DIPES 2000: 111-120

Franz J. Rammig (Ed.): 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. IFIP Conference Proceedings 155, Kluwer 1999, isbn 0-7923-8614-0

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: 181-190

Franz Josef Rammig, Wolfgang Müller (Eds.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998. HNI-Verlagsschriften 1998

Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt: DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme. Inform., Forsch. Entwickl. 12(4): 220-223 (1997)

Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt: DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme. GI Jahrestagung 1997: 93-101

Maria Brielmann, Franz-Josef Rammig: Evaluating Hardware Design Principles for the Development of Computer Based Systems. ECBS 1996: 166-173

Nikolaj Janzen, Franz J. Rammig: A Slow Motion Engine for the Analysis of FPGA-Based Prototypes. FPL 1996: 210-219

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 38(1-5): 61-68 (1993)

Franz J. Rammig, Bernd Steinmüller: Frameworks und Entwicklungsumgebungen. Informatik Spektrum 15(1): 33-43 (1992)

Franz J. Rammig: System Level Design: The New Challenge. IFIP Congress (1) 1992: 714

Franz J. Rammig: Systematischer Entwurf digitaler Systeme - von der Systeme- bis zur Gatter-Ebene. Leitfäden und Monographien der Informatik, Teubner 1989, isbn 978-3-519-02265-7, pp. 1-353

Uwe Kastens, Franz J. Rammig (Eds.): Architektur und Betrieb vpn Rechensystemen, 10. GI/ITG-Fachtagung, 9.-11. März 1988, Paderborn, Germany, Proceedings. Informatik-Fachberichte 168, Springer 1988, isbn 3-540-18994-7

Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig: Knowledge Based Tools for Testability Checking. Fehlertolerierende Rechensysteme 1987: 119-128

Franz J. Rammig: Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe. ARCS 1986: 44-55

R. Brück, Bernd Kleinjohann, Thomas Kathöfer, Franz J. Rammig: Synthesis of concurrent modular controllers from algorithmic descriptions. DAC 1986: 285-292

Franz J. Rammig: Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen. GI Jahrestagung (Fachgespräche) 1984: 28-36

Franz J. Rammig, Horst Röder: CAP - Eine Systemimplementierungssprache für Multi-Mikro-Prozessor-Systeme. Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 119-132

Franz J. Rammig: Entwurf, Beschreibung und Implementierung von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP. ARCS 1980: 205-216

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: 170-187

Franz J. Rammig: A concept for the editing of hardware resulting in an automatic hardware-editor. DAC 1977: 187-193