Franz-Josef Rammig

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2016
Analysis of long-term swarm performance based on short-term experiments.
Soft Comput., 2016

Efficient integration of online model checking into a small-footprint real-time operating system.
Concurrency and Computation: Practice and Experience, 2016

Online behavior classification for anomaly detection in self-x real-time systems.
Concurrency and Computation: Practice and Experience, 2016

2014
Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.
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.
Proceedings of the IEEE 12th International Conference on Dependable, 2014

2013
Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems.
IEEE Trans. Industrial Informatics, 2013

Probabilistic Analysis of Long-Term Swarm Performance under Spatial Interferences.
Proceedings of the Theory and Practice of Natural Computing, 2013

A framework for enhancing dependability in self-x systems by Artificial Immune Systems.
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.
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.
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.
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.
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.
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.
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.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

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

Dynamic Partial Reconfiguration by Means of Algorithmic Skeletons - A Case Study.
Proceedings of the Dynamically Reconfigurable Systems - Architectures, 2010

2009
Run-time reconfigurable RTOS for reconfigurable systems-on-chip.
J. Embedded Computing, 2009

Model-based Runtime Verification Framework.
Electr. Notes Theor. Comput. Sci., 2009

On-Line Model Checking as Operating System Service.
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.
Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009

2008
Cyber Biosphere for Future Embedded Systems.
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.
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008

GenERTiCA: A Tool for Code Generation and Aspects Weaving.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Immuno-repairing of FPGA designs.
Proceedings of the Biologically-Inspired Collaborative Computing, 2008

Seamless design flow for reconfigurable systems.
Proceedings of the FPL 2008, 2008

Biologically Inspired Methods for Organizing Distributed Services on Sensor Networks.
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).
it - Information Technology, 2007

Self-organizing Resource-Aware Clustering for Ad Hoc Networks.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

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

Software-Hardware Complexes: Towards Flexible Borders.
Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

2006
Model-based Runtime Verification Framework for Self-optimizing Systems.
Electr. Notes Theor. Comput. Sci., 2006

Real-time Operating Systems for Self-coordinating Embedded Systems.
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.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Towards Self-coordinating Ubiquitous Computing Environments.
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

A new Design Partitioning Approach for Low Power High-Level Synthesis.
Proceedings of the Third IEEE International Workshop on Electronic Design, 2006

Emergent Topology Control Based on Division of Labour in Ants.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.
Proceedings of the Parallel Processing and Applied Mathematics, 2005

Ein selbstoptimierendes Echtzeitbetriebssystem für verteilte selbstoptimierende Systeme.
Proceedings of the Echtzeitaspekte bei der Koordinierung Autonomer Systeme, 2005

Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

The Reconfigurable UML Machine Project Group.
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.
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.
Proceedings of the INFORMATIK 2005, 2005

Comprehensive Verification Framework for Dependability of Self-optimizing Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
The design of PaMaNet the Paderborn mobile ad-hoc network.
Proceedings of the Second International Workshop on Mobility Management & Wireless Access Protocols, 2004

Autonomic Distributed Real-Time Systems: Challenges and Solutions.
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.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

GRUSEL - A Self Optimizing, Bandwidth Aware Video on Demand P2P Application.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

Model Based Formal Verification of Distributed Production Control Systems.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Intelligent CAC and Routing for Multi-Point Connections.
Proceedings of the International Conference on Communications in Computing, 2004

2003
Modeling of Dynamically Modifiable Embedded Real-Time Systems.
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 .
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.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

OCL Goes Real-Time (Panel).
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

OCL Goes Real-Time (position paper).
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.
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.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

2000
The Specification Language SpecC within the PARADISE Design Environment.
Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

Zero-overhead Pr/T-Net execution.
Proceedings of the 14<sup>th</sup> European Simulation Multiconference, 2000

1999
Entwurf konfigurierbarer, echtzeitfähiger Kommunikationssysteme.
it+ti - Informationstechnik und Technische Informatik, 1999

1998
Editorial: Systemspezifikation - Methoden, Werkzeuge und Anwendungen.
it+ti - Informationstechnik und Technische Informatik, 1998

Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

1997
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme.
Inform., Forsch. Entwickl., 1997

1996
A Slow Motion Engine for the Analysis of FPGA-Based Prototypes.
Proceedings of the Field-Programmable Logic, 1996

Beyond VHDL: textual formalisms, visual techniques, or both?
Proceedings of the conference on European design automation, 1996

Evaluating Hardware Design Principles for the Development of Computer Based Systems.
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.
Microprocessing and Microprogramming, 1993

Modelling aspects of system level design.
Proceedings of the European Design Automation Conference 1993, 1993

1992
Frameworks und Entwicklungsumgebungen.
Informatik Spektrum, 1992

System Level Design: The New Challenge.
Proceedings of the Algorithms, Software, Architecture, 1992

Using VHDL for simulation of SDL specifications.
Proceedings of the conference on European design automation, 1992

1989
Systematischer Entwurf digitaler Systeme - von der Systeme- bis zur Gatter-Ebene.
Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02265-7, 1989

1987
Knowledge Based Tools for Testability Checking.
Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1987

1986
Synthesis of concurrent modular controllers from algorithmic descriptions.
Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe.
Proceedings of the Architektur von Rechensystemen, 1986

1984
Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen.
Proceedings of the Fachgespräche auf der 14. GI-Jahrestagung, 1984

1981
CAP - Eine Systemimplementierungssprache für Multi-Mikro-Prozessor-Systeme.
Proceedings of the Implementierungssprachen für nichtsequentielle Programmsysteme, 1981

1980
Entwurf, Beschreibung und Implementierung von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP.
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.
Proceedings of the Microcomputing, 1979

1977
A concept for the editing of hardware resulting in an automatic hardware-editor.
Proceedings of the 14th Design Automation Conference, 1977


  Loading...