Franz-Josef Rammig

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 4

Top Topics

Real Time Embedded Systems

Epistemic Logic

Top Venues

Concurr. Comput. Pract. Exp.

Int. J. Embed. Syst.

Publications

Mabel Mary Joy, Franz-Josef Rammig
A hybrid methodology to detect memory leaks in soft real-time embedded systems software. Int. J. Embed. Syst. 9 (1) (2017)
Franz-Josef Rammig, Katharina Stahl
Online behavior classification for anomaly detection in self-x real-time systems. Concurr. Comput. Pract. Exp. 28 (14) (2016)
Yara Khaluf, Mauro Birattari, Franz-Josef Rammig
Analysis of long-term swarm performance based on short-term experiments. Soft Comput. 20 (1) (2016)
Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig
Efficient integration of online model checking into a small-footprint real-time operating system. Concurr. Comput. Pract. Exp. 28 (14) (2016)
Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. ISORC (2014)
Mabel Mary Joy, Wolfgang Müller, Franz-Josef Rammig
Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints. DASC (2014)
Franz-Josef Rammig, Lial Khaluf, Norma Montealegre, Katharina Stahl, Yuhong Zhao
Organic real-time programming - Vision and approaches towards self-evolving and adaptive real-time software. ISORC (2013)
Yara Khaluf, Mauro Birattari, Franz-Josef Rammig
Probabilistic Analysis of Long-Term Swarm Performance under Spatial Interferences. TPNC (2013)
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)
Yuhong Zhao, Franz-Josef Rammig
Model-based Runtime Verification Framework. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Andreas Schallenberg, Achim Rettberg, Wolfgang Nebel, Franz-Josef Rammig
Seamless design flow for reconfigurable systems. FPL (2008)
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)
Franz-Josef Rammig, Tales Heimfarth, Peter Janacik
Biologically Inspired Methods for Organizing Distributed Services on Sensor Networks. Organic Computing - Controlled Self-organization (2008)
Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Franz-Josef Rammig
GenERTiCA: A Tool for Code Generation and Aspects Weaving. ISORC (2008)
Franz-Josef Rammig
Software-Hardware Complexes: Towards Flexible Borders. IESS (2007)
Franz-Josef Rammig
Engineering Self-Coordinating Real-Time Systems. ISORC (2007)
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 Inf. Technol. 49 (3) (2007)
Achim Rettberg, Franz-Josef Rammig
Integration of Energy Reduction into High-Level Synthesis by Partitioning. DIPES (2006)
Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig
Model-based Runtime Verification Framework for Self-optimizing Systems. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Simon Oberthür, Carsten Böke, Franz-Josef Rammig
Ein selbstoptimierendes Echtzeitbetriebssystem für verteilte selbstoptimierende Systeme. PEARL (2005)
Christian Schindelhauer, Stefan Büttcher, Franz-Josef Rammig
The design of PaMaNet the Paderborn mobile ad-hoc network. Mobility Management & Wireless Access Protocols (2004)
Franz-Josef Rammig, Carsten Rust
Modeling of Dynamically Modifiable Embedded Real-Time Systems. WORDS Fall (2003)
Franz-Josef Rammig
Synthesis Aspects of the PARADISE Design Environment. WORDS (2002)
Maria Brielmann, Franz-Josef Rammig
Evaluating Hardware Design Principles for the Development of Computer Based Systems. ECBS (1996)
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. Microprocess. Microprogramming 38 (1-5) (1993)
B. Lutter, Wolfgang Glunz, Franz-Josef Rammig
Using VHDL for simulation of SDL specifications. EURO-DAC (1992)