Franz-Josef Rammig

31 papers B 1C 5Journal 6Unranked 14

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	A hybrid methodology to detect memory leaks in soft real-time embedded systems software. Int. J. Embed. Syst. Mabel Mary Joy, Franz-Josef Rammig
2016	J	`jnl`	Analysis of long-term swarm performance based on short-term experiments. Soft Comput. Yara Khaluf, Mauro Birattari, Franz-Josef Rammig
2016	J	`jnl`	Efficient integration of online model checking into a small-footprint real-time operating system. Concurr. Comput. Pract. Exp. Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig
2016	J	`jnl`	Online behavior classification for anomaly detection in self-x real-time systems. Concurr. Comput. Pract. Exp. Franz-Josef Rammig, Katharina Stahl
2014	—	`book`	Design Methodology for Intelligent Technical Systems, Develop Intelligent Technical Systems of the Future Design Methodology for Intelligent Technical Systems Jürgen Gausemeier, Franz-Josef Rammig, Wilhelm Schäfer
2014	C	`conf`	Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. ISORC Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig
2014	C	`conf`	Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints. DASC Mabel Mary Joy, Wolfgang Müller, Franz-Josef Rammig
2013	C	`conf`	Organic real-time programming - Vision and approaches towards self-evolving and adaptive real-time software. ISORC Franz-Josef Rammig, Lial Khaluf, Norma Montealegre, Katharina Stahl, Yuhong Zhao
2013	—	`conf`	Probabilistic Analysis of Long-Term Swarm Performance under Spatial Interferences. TPNC Yara Khaluf, Mauro Birattari, Franz-Josef Rammig
2010	—	`conf`	Engineering self-coordinating software intensive systems. FoSER 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
2009	—	`conf`	Model-based Runtime Verification Framework. FESCA@ETAPS Yuhong Zhao, Franz-Josef Rammig
2008	—	`conf`	A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems. MOMPES Marco A. Wehrmeister, Edison Pignaton de Freitas, Dalimir Orfanus, Carlos Eduardo Pereira, Franz-Josef Rammig
2008	—	`conf`	Biologically Inspired Methods for Organizing Distributed Services on Sensor Networks. Organic Computing - Controlled Self-organization Franz-Josef Rammig, Tales Heimfarth, Peter Janacik
2008	C	`conf`	GenERTiCA: A Tool for Code Generation and Aspects Weaving. ISORC Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Franz-Josef Rammig
2008	B	`conf`	Seamless design flow for reconfigurable systems. FPL Andreas Schallenberg, Achim Rettberg, Wolfgang Nebel, Franz-Josef Rammig
2007	—	`ed.`	Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA IESS Achim Rettberg, Mauro Cesar Zanella, Rainer Dömer, Andreas Gerstlauer, Franz-Josef Rammig
2007	C	`conf`	Engineering Self-Coordinating Real-Time Systems. ISORC Franz-Josef Rammig
2007	J	`jnl`	Exploration, Partitioning and Simulation of Reconfigurable Systems (Exploration, Partitionierung und Simulation rekonfigurierbarer Systeme). it Inf. Technol. Florian Dittmann, Franz-Josef Rammig, Martin Streubühr, Christian Haubelt, Andreas Schallenberg, Wolfgang Nebel
2007	—	`ed.`	Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers SEUS Roman Obermaisser, Yunmook Nah, Peter P. Puschner, Franz-Josef Rammig
2007	—	`conf`	Software-Hardware Complexes: Towards Flexible Borders. IESS Franz-Josef Rammig
2006	—	`conf`	Integration of Energy Reduction into High-Level Synthesis by Partitioning. DIPES Achim Rettberg, Franz-Josef Rammig
2005	—	`conf`	Ein selbstoptimierendes Echtzeitbetriebssystem für verteilte selbstoptimierende Systeme. PEARL Simon Oberthür, Carsten Böke, Franz-Josef Rammig
2005	—	`conf`	Model-based Runtime Verification Framework for Self-optimizing Systems. RV@CAV Yuhong Zhao, Simon Oberthür, Martin Kardos, Franz-Josef Rammig
2004	—	`ed.`	Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2004, Pernambuco, Brazil, September 7-11, 2004 SBCCI Edna Natividade da Silva Barros, Flávio Rech Wagner, Luigi Carro, Franz-Josef Rammig
2004	—	`conf`	The design of PaMaNet the Paderborn mobile ad-hoc network. Mobility Management & Wireless Access Protocols Christian Schindelhauer, Stefan Büttcher, Franz-Josef Rammig
2003	—	`conf`	Modeling of Dynamically Modifiable Embedded Real-Time Systems. WORDS Fall Franz-Josef Rammig, Carsten Rust
2002	—	`conf`	Synthesis Aspects of the PARADISE Design Environment. WORDS Franz-Josef Rammig
1998	—	`ed.`	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998 MBMV Franz-Josef Rammig, Wolfgang Müller
1996	—	`conf`	Evaluating Hardware Design Principles for the Development of Computer Based Systems. ECBS Maria Brielmann, Franz-Josef Rammig
1993	J	`jnl`	Design of a VLIW architecture constructed from standard RISC chips: A case study of hardware/software codesign. Microprocess. Microprogramming Peter Pfahler, Christof Nagel, Franz-Josef Rammig, Uwe Kastens
1992	—	`conf`	Using VHDL for simulation of SDL specifications. EURO-DAC B. Lutter, Wolfgang Glunz, Franz-Josef Rammig