Franz J. Rammig - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

2009

Exploiting the model-driven engineering approach to improve design space exploration of embedded systemsMarcio F. da S. Oliveira, Ronaldo R. Ferreira, Francisco Assis M. do Nascimento, Franz J. Rammig, FlÃ¡vio Rech Wagner. sbcci 2009: [doi]

Run-time reconfigurable RTOS for reconfigurable systems-on-chipMarcelo Götz, Achim Rettberg, Carlos Eduardo Pereira, Franz J. Rammig. jec, 3(1):39-51, 2009. [doi]

On-Line Model Checking as Operating System ServiceFranz J. Rammig, Yuhong Zhao, Sufyan Samara. seus 2009: 131-143 [doi]

Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. ProceedingsAchim Rettberg, Mauro Cesar Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig, editors, Volume 310 of IFIP, Springer, 2009. [doi]

2008

Cyber Biosphere for Future Embedded SystemsFranz J. Rammig. seus 2008: 245-255 [doi]

2007

Self-organizing Resource-Aware Clustering for Ad Hoc NetworksTales Heimfarth, Peter Janacik, Franz J. Rammig. seus 2007: 319-328 [doi]

2006

Emergent Topology Control Based on Division of Labour in AntsPeter Janacik, Tales Heimfarth, Franz J. Rammig. aina 2006: 733-740 [doi]

Biologically Inspired Cooperative Computing, IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, ChileYi Pan, Franz J. Rammig, Hartmut Schmeck, Mauricio Solar, editors, Volume 216 of IFIP, Springer, 2006. [doi]

Real-time Operating Systems for Self-coordinating Embedded SystemsFranz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür. isorc 2006: 382-392 [doi]

Real-time Operating Systems for Self-coordinating Embedded SystemsFranz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür. mbees 2006: 95-104 [doi]

Towards Self-coordinating Ubiquitous Computing EnvironmentsFranz J. Rammig. euc 2006: 2-13 [doi]

A new Design Partitioning Approach for Low Power High-Level SynthesisAchim Rettberg, Franz J. Rammig. delta 2006: 143-148 [doi]

2005

Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded SystemsAndré Luiz de Freitas Francisco, Franz J. Rammig. isorc 2005: 275-283 [doi]

An OS for Mobile Ad hoc Networks Using Ant Based Hueristic to Distribute Mobile ServicesTales Heimfarth, Klaus Danne, Franz J. Rammig. icas 2005: 77 [doi]

Spezielle Aspekte der Verlustleistungsgetriebenen High-Level SyntheseAchim Rettberg, Bernd Kleinjohann, Franz J. Rammig. gi 2005: 455

Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, ProceedingsLaurence Tianruo Yang, Makoto Amamiya, Zhen Liu, Minyi Guo, Franz J. Rammig, editors, Volume 3824 of Lecture Notes in Computer Science, Springer, 2005.

Comprehensive Verification Framework for Dependability of Self-optimizing SystemsYuhong Zhao, Martin Kardos, Simon Oberthür, Franz J. Rammig. ATVA 2005: 39-53 [doi]

Increasing Dependability by Means of Model-Based Acceptance Test inside RTOSYuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos. ppam 2006: 1034-1041 [doi]

2004

2003

RTC: A Real-Time Communication Middleware on Top of RTAI-Linux Tales Heimfarth, Marcelo Götz, Franz J. Rammig, Flávio Rech Wagner. isorc 2003: 19-25 [doi]

2002

Customizing the Configuration Process of an Operating System Using Hierarchy and ClusteringRamakrishna Prasad Chivukula, Carsten Böke, Franz J. Rammig. isorc 2002: 280-287 [doi]

OCL Goes Real-Time (position paper)Franz J. Rammig. isorc 2002: 423-424 [doi]

Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing SystemsAchim Rettberg, Bernd Kleinjohann, Franz J. Rammig. ifip10-3 2002: 205-215

2000

Zero-overhead Pr/T-Net executionCarsten Böke, Markus Hübel, Franz J. Rammig, Carsten Rust. scesm 2000: 102-107

The Specification Language SpecC within the PARADISE Design EnvironmentAchim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann. ifip10-3 2001: 111-120

1999

Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 98), October 5-6. 1998, Schloß Eringerfeld, GermanyFranz J. Rammig, editor, Volume 155 of IFIP Conference Proceedings, Kluwer, 1999.

1998

Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time SystemsWolfram 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. ifip10-3 1999: 181-190

1997

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter SystemeKurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt. ife, 12(4):220-223, 1997.

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter SystemeKurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt. gi 1997: 93-101

1996

A Slow Motion Engine for the Analysis of FPGA-Based PrototypesNikolaj Janzen, Franz J. Rammig. fpl 1996: 210-219

1992

Frameworks und EntwicklungsumgebungenFranz J. Rammig, Bernd Steinmüller. insk, 15(1):33-43, 1992.

System Level Design: The New ChallengeFranz J. Rammig. ifip 1992: 714

1989

Systematischer Entwurf digitaler Systeme - von der Systeme- bis zur Gatter-EbeneFranz J. Rammig. Leitfäden und Monographien der Informatik, Teubner, 1989.

1988

Architektur und Betrieb vpn Rechensystemen, 10. GI/ITG-Fachtagung, 9.-11. März 1988, Paderborn, Germany, ProceedingsUwe Kastens, Franz J. Rammig, editors, Volume 168 of Informatik-Fachberichte, Springer, 1988.

1987

Knowledge Based Tools for Testability CheckingMehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig. icftcs 1987: 119-128

1986

Synthesis of concurrent modular controllers from algorithmic descriptionsR. Brück, Bernd Kleinjohann, Thomas Kathöfer, Franz J. Rammig. dac 1986: 285-292 [doi]

Systematischer Entwurf eines 32-Bit Mikroprozessors als AusbildungsaufgabeFranz J. Rammig. arcs 1986: 44-55

1984

Simulation digitaler Systeme auf verschiedenen AbstraktionsebenenFranz J. Rammig. gi 1984: 28-36

1981

CAP - Eine Systemimplementierungssprache für Multi-Mikro-Prozessor-SystemeFranz J. Rammig, Horst Röder. gacm 1981: 119-132

1980

Entwurf, Beschreibung und Implementierung von Systemen mit Hilfe der nebenläufigen Programmiersprache CAPFranz J. Rammig. arcs 1980: 205-216

1979

Entwicklung von µ-Prozessor Software und µ-Prozessor orientierter Hardware mit Hilfe des CAP-CAD-SystemsFranz J. Rammig, Hans-Jürgen Appelrath, Peter G. Cazacu. microcomputing 1979: 170-187