Franz-Josef Rammig

According to our database, Franz-Josef Rammig authored at least 82 papers between 1977 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A hybrid methodology to detect memory leaks in soft real-time embedded systems software.

Mabel Mary Joy, Franz-Josef Rammig

Int. J. Embed. Syst., 2017

2016

Analysis of long-term swarm performance based on short-term experiments.

Yara Khaluf, Mauro Birattari, Franz-Josef Rammig

Soft Comput., 2016

Efficient integration of online model checking into a small-footprint real-time operating system.

Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig

Concurr. Comput. Pract. Exp., 2016

Online behavior classification for anomaly detection in self-x real-time systems.

Franz-Josef Rammig, Katharina Stahl

Concurr. Comput. Pract. Exp., 2016

2014

Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.

Franz J. Rammig, Stefan Groesbrink, Katharina Stahl, Yuhong Zhao

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.

Mabel Mary Joy, Wolfgang Müller, Franz-Josef Rammig

Proceedings of the IEEE 12th International Conference on Dependable, 2014

2013

Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems.

Marco A. Wehrmeister, Carlos Eduardo Pereira, Franz J. Rammig

IEEE Trans. Ind. Informatics, 2013

Probabilistic Analysis of Long-Term Swarm Performance under Spatial Interferences.

Yara Khaluf, Mauro Birattari, Franz-Josef Rammig

Proceedings of the Theory and Practice of Natural Computing, 2013

A framework for enhancing dependability in self-x systems by Artificial Immune Systems.

Franz J. Rammig, Katharina Stahl, Gavin Vaz

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Organic real-time programming - Vision and approaches towards self-evolving and adaptive real-time software.

Franz-Josef Rammig, Lial Khaluf, Norma Montealegre, Katharina Stahl, Yuhong Zhao

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Task Allocation Strategy for Time-Constrained Tasks in Robot Swarms.

Yara Khaluf, Franz J. Rammig

Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

2012

Online Model Checking for Dependable Real-Time Systems.

Yuhong Zhao, Franz J. Rammig

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

Agent-Based Modeling and Simulation of Artificial Immune Systems.

Norma Montealegre, Franz J. Rammig

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

2011

Self-Organized Cooperation in Swarm Robotics.

Yara Khaluf, Emi Mathews, Franz J. Rammig

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

2010

Engineering self-coordinating software intensive systems.

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

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services.

Sufyan Samara, Yuhong Zhao, Franz J. Rammig

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Preface.

Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Dynamic Partial Reconfiguration by Means of Algorithmic Skeletons - A Case Study.

Norma Montealegre, Franz J. Rammig

Proceedings of the Dynamically Reconfigurable Systems - Architectures, 2010

2009

Run-time reconfigurable RTOS for reconfigurable systems-on-chip.

Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira, Franz J. Rammig

J. Embed. Comput., 2009

Model-based Runtime Verification Framework.

Yuhong Zhao, Franz-Josef Rammig

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

On-Line Model Checking as Operating System Service.

Franz J. Rammig, Yuhong Zhao, Sufyan Samara

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Exploiting the model-driven engineering approach to improve design space exploration of embedded systems.

Marcio F. da S. Oliveira, Ronaldo Rodrigues Ferreira, Francisco Assis Moreira do Nascimento, Franz J. Rammig, Flávio Rech Wagner

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009

2008

Cyber Biosphere for Future Embedded Systems.

Franz J. Rammig

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems.

Marco A. Wehrmeister, Edison Pignaton de Freitas, Dalimir Orfanus, Carlos Eduardo Pereira, Franz-Josef Rammig

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008

GenERTiCA: A Tool for Code Generation and Aspects Weaving.

Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Franz-Josef Rammig

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Immuno-repairing of FPGA designs.

Norma Montealegre, Franz J. Rammig

Proceedings of the Biologically-Inspired Collaborative Computing, 2008

Seamless design flow for reconfigurable systems.

Andreas Schallenberg, Achim Rettberg, Wolfgang Nebel, Franz-Josef Rammig

Proceedings of the FPL 2008, 2008

Biologically Inspired Methods for Organizing Distributed Services on Sensor Networks.

Franz-Josef Rammig, Tales Heimfarth, Peter Janacik

Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

2007

Exploration, Partitioning and Simulation of Reconfigurable Systems (Exploration, Partitionierung und Simulation rekonfigurierbarer Systeme).

Florian Dittmann, Franz-Josef Rammig, Martin Streubühr, Christian Haubelt, Andreas Schallenberg, Wolfgang Nebel

it Inf. Technol., 2007

Self-organizing Resource-Aware Clustering for Ad Hoc Networks.

Tales Heimfarth, Peter Janacik, Franz J. Rammig

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

Engineering Self-Coordinating Real-Time Systems.

Franz-Josef Rammig

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Software-Hardware Complexes: Towards Flexible Borders.

Franz-Josef Rammig

Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

2006

Real-time Operating Systems for Self-coordinating Embedded Systems.

Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Integration of Energy Reduction into High-Level Synthesis by Partitioning.

Achim Rettberg, Franz-Josef Rammig

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Towards Self-coordinating Ubiquitous Computing Environments.

Franz J. Rammig

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

A new Design Partitioning Approach for Low Power High-Level Synthesis.

Achim Rettberg, Franz J. Rammig

Proceedings of the Third IEEE International Workshop on Electronic Design, 2006

Emergent Topology Control Based on Division of Labour in Ants.

Peter Janacik, Tales Heimfarth, Franz J. Rammig

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Model-based Runtime Verification Framework for Self-optimizing Systems.

Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.

Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos

Proceedings of the Parallel Processing and Applied Mathematics, 2005

Ein selbstoptimierendes Echtzeitbetriebssystem für verteilte selbstoptimierende Systeme.

Simon Oberthür, Carsten Böke, Franz-Josef Rammig

Proceedings of the Echtzeitaspekte bei der Koordinierung Autonomer Systeme, 2005

Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems.

André Luiz de Freitas Francisco, Franz J. Rammig

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

The Reconfigurable UML Machine Project Group.

Achim Rettberg, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, Franz J. Rammig

Proceedings of the New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design, 2005

An OS for Mobile Ad hoc Networks Using Ant Based Hueristic to Distribute Mobile Services.

Tales Heimfarth, Klaus Danne, Franz J. Rammig

Proceedings of the Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, 2005

Spezielle Aspekte der Verlustleistungsgetriebenen High-Level Synthese.

Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

Comprehensive Verification Framework for Dependability of Self-optimizing Systems.

Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

The design of PaMaNet the Paderborn mobile ad-hoc network.

Christian Schindelhauer, Stefan Büttcher, Franz-Josef Rammig

Proceedings of the Second International Workshop on Mobility Management & Wireless Access Protocols, 2004

Autonomic Distributed Real-Time Systems: Challenges and Solutions.

Franz J. Rammig

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems.

Carsten Rust, Franz J. Rammig

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

GRUSEL - A Self Optimizing, Bandwidth Aware Video on Demand P2P Application.

Chris Loeser, Michael Ditze, Peter Altenbernd, Franz J. Rammig

Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

Model Based Formal Verification of Distributed Production Control Systems.

Martin Kardos, Franz J. Rammig

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Intelligent CAC and Routing for Multi-Point Connections.

Pham Van Tien, Franz J. Rammig, Yoshiaki Tanaka

Proceedings of the International Conference on Communications in Computing, 2004

2003

Modeling of Dynamically Modifiable Embedded Real-Time Systems.

Franz-Josef Rammig, Carsten Rust

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

RTC: A Real-Time Communication Middleware on Top of RTAI-Linux .

Tales Heimfarth, Marcelo Götz, Franz J. Rammig, Flávio Rech Wagner

Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 2003

2002

Synthesis Aspects of the PARADISE Design Environment.

Franz-Josef Rammig

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

OCL Goes Real-Time (Panel).

Franz J. Rammig, Ben Watson, John Hogg, Wei-Tek Tsai

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

OCL Goes Real-Time (position paper).

Franz J. Rammig

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Customizing the Configuration Process of an Operating System Using Hierarchy and Clustering.

Ramakrishna Prasad Chivukula, Carsten Böke, Franz J. Rammig

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing Systems.

Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17^th World Computer Congress, 2002

2000

The Specification Language SpecC within the PARADISE Design Environment.

Achim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

Zero-overhead Pr/T-Net execution.

Carsten Böke, Markus Hübel, Franz J. Rammig, Carsten Rust

Proceedings of the 14^th European Simulation Multiconference, 2000

1999

Entwurf konfigurierbarer, echtzeitfähiger Kommunikationssysteme.

Carsten Böke, Franz J. Rammig

Informationstechnik Tech. Inform., 1999

1998

Editorial: Systemspezifikation - Methoden, Werkzeuge und Anwendungen.

Franz J. Rammig

Informationstechnik Tech. Inform., 1998

Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems.

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

Proceedings of the Distributed and Parallel Embedded Systems, 1998

1997

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme.

Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt

Inform. Forsch. Entwickl., 1997

1996

A Slow Motion Engine for the Analysis of FPGA-Based Prototypes.

Nikolaj Janzen, Franz J. Rammig

Proceedings of the Field-Programmable Logic, 1996

Beyond VHDL: textual formalisms, visual techniques, or both?

Franz J. Rammig

Proceedings of the conference on European design automation, 1996

Evaluating Hardware Design Principles for the Development of Computer Based Systems.

Maria Brielmann, Franz-Josef Rammig

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1993

Design of a VLIW architecture constructed from standard RISC chips: A case study of hardware/software codesign.

Peter Pfahler, Christof Nagel, Franz-Josef Rammig, Uwe Kastens

Microprocess. Microprogramming, 1993

Modelling aspects of system level design.

Franz J. Rammig

Proceedings of the European Design Automation Conference 1993, 1993

1992

Frameworks und Entwicklungsumgebungen.

Franz J. Rammig, Bernd Steinmüller

Inform. Spektrum, 1992

System Level Design: The New Challenge.

Franz J. Rammig

Proceedings of the Algorithms, Software, Architecture, 1992

Using VHDL for simulation of SDL specifications.

B. Lutter, Wolfgang Glunz, Franz-Josef Rammig

Proceedings of the conference on European design automation, 1992

1989

Systematischer Entwurf digitaler Systeme - von der Systeme- bis zur Gatter-Ebene.

Franz J. Rammig

Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02265-7, 1989

1988

A transputer-based accelerator for multilevel digital simulation.

Franz J. Rammig, Martin Schrewe, Gerhard Vorloeper

Microprocess. Microprogramming, 1988

1987

Knowledge Based Tools for Testability Checking.

Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1987

1986

Synthesis of concurrent modular controllers from algorithmic descriptions.

Rainer Brück, Bernd Kleinjohann, Thomas Kathöfer, Franz J. Rammig

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe.

Franz J. Rammig

Proceedings of the Architektur von Rechensystemen, 1986

1984

Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen.

Franz J. Rammig

Proceedings of the Fachgespräche auf der 14. GI-Jahrestagung, 1984

1981

CAP - Eine Systemimplementierungssprache für Multi-Mikro-Prozessor-Systeme.

Franz J. Rammig, Horst Röder

Proceedings of the Implementierungssprachen für nichtsequentielle Programmsysteme, 1981

1980

Entwurf, Beschreibung und Implementierung von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP.

Franz J. Rammig

Proceedings of the GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, 1980

1979

Entwicklung von µ-Prozessor Software und µ-Prozessor orientierter Hardware mit Hilfe des CAP-CAD-Systems.

Franz J. Rammig, Hans-Jürgen Appelrath, Peter G. Cazacu

Proceedings of the Microcomputing, 1979

1977

A concept for the editing of hardware resulting in an automatic hardware-editor.

Franz J. Rammig

Proceedings of the 14th Design Automation Conference, 1977