Franz-Josef Rammig - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2017

A hybrid methodology to detect memory leaks in soft real-time embedded systems softwareMabel Mary Joy, Franz-Josef Rammig. ijes, 9(1):61-73, 2017. [doi]

2016

Analysis of long-term swarm performance based on short-term experimentsYara Khaluf, Mauro Birattari, Franz-Josef Rammig. soco, 20(1):37-48, 2016. [doi]

Online behavior classification for anomaly detection in self-x real-time systemsFranz-Josef Rammig, Katharina Stahl. concurrency, 28(14):3751-3772, 2016. [doi]

Efficient integration of online model checking into a small-footprint real-time operating systemKrishna Sudhakar, Yuhong Zhao 0001, Franz-Josef Rammig. concurrency, 28(14):3773-3797, 2016. [doi]

2014

Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource ConstraintsMabel Mary Joy, Wolfgang Müller 0003, Franz-Josef Rammig. dasc 2014: 166-172 [doi]

Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating SystemKrishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig. isorc 2014: 374-383 [doi]

2013

Probabilistic Analysis of Long-Term Swarm Performance under Spatial InterferencesYara Khaluf, Mauro Birattari, Franz-Josef Rammig. tpnc 2013: 121-132 [doi]

Organic real-time programming - Vision and approaches towards self-evolving and adaptive real-time softwareFranz-Josef Rammig, Lial Khaluf, Norma Montealegre, Katharina Stahl, Yuhong Zhao. isorc 2013: 1-8 [doi]

2010

Engineering self-coordinating software intensive systemsWilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O Grady, Marco Platzner, Franz-Josef Rammig, Wolfgang Reif, Ansgar Trächtler. FSE 2010: 321-324 [doi]

2009

Model-based Runtime Verification FrameworkYuhong Zhao, Franz-Josef Rammig. ENTCS, 253(1):179-193, 2009. [doi]

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, 49(3):149, 2007. [doi]

Engineering Self-Coordinating Real-Time SystemsFranz-Josef Rammig. isorc 2007: 21-28 [doi]

Software-Hardware Complexes: Towards Flexible BordersFranz-Josef Rammig. wiess 2007: 433-435 [doi]

2006

Integration of Energy Reduction into High-Level Synthesis by PartitioningAchim Rettberg, Franz-Josef Rammig. ifip10-3 2006: 225-234 [doi]

Model-based Runtime Verification Framework for Self-optimizing SystemsYuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig. ENTCS, 144(4):125-145, 2006. [doi]

2005

Ein selbstoptimierendes Echtzeitbetriebssystem für verteilte selbstoptimierende SystemeSimon Oberthür, Carsten Böke, Franz-Josef Rammig. pearl 2005: 3-10 [doi]

2004

The design of PaMaNet the Paderborn mobile ad-hoc networkChristian Schindelhauer, Stefan Büttcher, Franz-Josef Rammig. mobicom 2004: 119-121 [doi]

2003

Modeling of Dynamically Modifiable Embedded Real-Time SystemsFranz-Josef Rammig, Carsten Rust. words 2004: 28-34 [doi]

2002

Synthesis Aspects of the PARADISE Design EnvironmentFranz-Josef Rammig. words 2002: 27-36 [doi]

1996

Evaluating Hardware Design Principles for the Development of Computer Based SystemsMaria Brielmann, Franz-Josef Rammig. ECBS 1996: 166-173 [doi]

1993

Design of a VLIW architecture constructed from standard RISC chips: A case study of hardware/software codesignPeter Pfahler, Christof Nagel, Franz-Josef Rammig, Uwe Kastens. jsa, 38(1-5):61-68, 1993. [doi]

1992

Using VHDL for simulation of SDL specificationsB. Lutter, Wolfgang Glunz, Franz-Josef Rammig. eurodac 1992: 630-635 [doi]

Sign in or sign up to see more results.

runs on WebDSL