Franz J. Rammig

Publication Activity (10 Years)

Years Active: 1977-2014
Publications (10 Years): 0

Top Topics

Numerical Optimization

Embedded Systems

Allocation Strategy

Top Venues

IEEE Trans. Ind. Informatics

Publications

Franz J. Rammig, Stefan Groesbrink, Katharina Stahl, Yuhong Zhao
Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation. SBESC (2014)
Franz J. Rammig, Katharina Stahl
Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems. ISORC (2014)
Marco A. Wehrmeister, Carlos Eduardo Pereira, Franz J. Rammig
Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems. IEEE Trans. Ind. Informatics 9 (4) (2013)
Franz J. Rammig, Katharina Stahl, Gavin Vaz
A framework for enhancing dependability in self-x systems by Artificial Immune Systems. ISORC (2013)
Yara Khaluf, Franz J. Rammig
Task Allocation Strategy for Time-Constrained Tasks in Robot Swarms. ECAL (2013)
Yuhong Zhao, Franz J. Rammig
Online Model Checking for Dependable Real-Time Systems. ISORC (2012)
Norma Montealegre, Franz J. Rammig
Agent-Based Modeling and Simulation of Artificial Immune Systems. ISORC Workshops (2012)
Yara Khaluf, Emi Mathews, Franz J. Rammig
Self-Organized Cooperation in Swarm Robotics. ISORC Workshops (2011)
Sufyan Samara, Yuhong Zhao, Franz J. Rammig
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. DIPES/BICC (2010)
Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis
Preface. DIPES/BICC (2010)
Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira, Franz J. Rammig
Run-time reconfigurable RTOS for reconfigurable systems-on-chip. J. Embed. Comput. 3 (1) (2009)
Marcio F. da S. Oliveira, Ronaldo Rodrigues Ferreira, Francisco Assis Moreira 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)
Norma Montealegre, Franz J. Rammig
Immuno-repairing of FPGA designs. BICC (2008)
Franz J. Rammig
Cyber Biosphere for Future Embedded Systems. SEUS (2008)
Tales Heimfarth, Peter Janacik, Franz J. Rammig
Self-organizing Resource-Aware Clustering for Ad Hoc Networks. SEUS (2007)
Achim Rettberg, Franz J. Rammig
A new Design Partitioning Approach for Low Power High-Level Synthesis. DELTA (2006)
Franz J. Rammig
Towards Self-coordinating Ubiquitous Computing Environments. EUC (2006)
Peter Janacik, Tales Heimfarth, Franz J. Rammig
Emergent Topology Control Based on Division of Labour in Ants. AINA (1) (2006)
Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür
Real-time Operating Systems for Self-coordinating Embedded Systems. ISORC (2006)
Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür
Real-time Operating Systems for Self-coordinating Embedded Systems. MBEES (2006)
Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig
Spezielle Aspekte der Verlustleistungsgetriebenen High-Level Synthese. GI Jahrestagung (1) (2005)
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)
Yuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig
Comprehensive Verification Framework for Dependability of Self-optimizing Systems. ATVA (2005)
Achim Rettberg, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, Franz J. Rammig
The Reconfigurable UML Machine Project Group. EDUTECH (2005)
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)
André Luiz de Freitas Francisco, Franz J. Rammig
Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems. ISORC (2005)
Carsten Rust, Franz J. Rammig
A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems. DIPES (2004)
Martin Kardos, Franz J. Rammig
Model Based Formal Verification of Distributed Production Control Systems. SoftSpez Final Report (2004)
Pham Van Tien, Franz J. Rammig, Yoshiaki Tanaka
Intelligent CAC and Routing for Multi-Point Connections. Communications in Computing (2004)
Chris Loeser, Michael Ditze, Peter Altenbernd, Franz J. Rammig
GRUSEL - A Self Optimizing, Bandwidth Aware Video on Demand P2P Application. ICAC (2004)
Franz J. Rammig
Autonomic Distributed Real-Time Systems: Challenges and Solutions. ISORC (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)
Franz J. Rammig, Ben Watson, John Hogg, Wei-Tek Tsai
OCL Goes Real-Time (Panel). Symposium on Object-Oriented Real-Time Distributed Computing (2002)
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)
Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig
Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing Systems. DIPES (2002)
Franz J. Rammig
OCL Goes Real-Time (position paper). Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Achim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann
The Specification Language SpecC within the PARADISE Design Environment. DIPES (2000)
Carsten Böke, Markus Hübel, Franz J. Rammig, Carsten Rust
Zero-overhead Pr/T-Net execution. ESM (2000)
Carsten Böke, Franz J. Rammig
Entwurf konfigurierbarer, echtzeitfähiger Kommunikationssysteme. Informationstechnik Tech. Inform. 41 (2) (1999)
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)
Franz J. Rammig
Editorial: Systemspezifikation - Methoden, Werkzeuge und Anwendungen. Informationstechnik Tech. Inform. 40 (3) (1998)
Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme. GI Jahrestagung (1997)
Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme. Inform. Forsch. Entwickl. 12 (4) (1997)
Franz J. Rammig
Beyond VHDL: textual formalisms, visual techniques, or both? EURO-DAC (1996)
Nikolaj Janzen, Franz J. Rammig
A Slow Motion Engine for the Analysis of FPGA-Based Prototypes. FPL (1996)
Franz J. Rammig
Modelling aspects of system level design. EURO-DAC (1993)
Franz J. Rammig, Bernd Steinmüller
Frameworks und Entwicklungsumgebungen. Inform. Spektrum 15 (1) (1992)
Franz J. Rammig
System Level Design: The New Challenge. IFIP Congress (1) (1992)
Franz J. Rammig, Martin Schrewe, Gerhard Vorloeper
A transputer-based accelerator for multilevel digital simulation. Microprocess. Microprogramming 24 (1-5) (1988)
Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig
Knowledge Based Tools for Testability Checking. Fehlertolerierende Rechensysteme (1987)
Franz J. Rammig
Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe. ARCS (1986)
R. Brück, Bernd Kleinjohann, Thomas Kathöfer, Franz J. Rammig
Synthesis of concurrent modular controllers from algorithmic descriptions. DAC (1986)
Franz J. Rammig
Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen. GI Jahrestagung (Fachgespräche) (1984)
Franz J. Rammig, Horst Röder
CAP - Eine Systemimplementierungssprache für Multi-Mikro-Prozessor-Systeme. Implementierungssprachen für nichtsequentielle Programmsysteme (1981)
Franz J. Rammig
Entwurf, Beschreibung und Implementierung von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP. ARCS (1980)
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)
Franz J. Rammig
A concept for the editing of hardware resulting in an automatic hardware-editor. DAC (1977)