Home > Publications > Publikationen

Publications of Franz-Josef Rammig


Our publications from 2017:




Our publications from 2015:




Our publications from 2014:



Rammig, Franz-Josef; Stahl, Katharina: Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems. In: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on, pp. 334-341, June 2014 (more)

Sudhakar, Krishna; Zhao, Yuhong; Rammig, Franz-Josef: Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. In: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), pp. 374-383, Reno, NV, June 2014, IEEE Xplore (more)

Rammig, Franz-Josef; Zhao, Yuhong: Online Model Checking. In: Dependability of Self-Optimizing Mechatronic Systems, pp. 147 - 152. Springer-Verlag, Heidelberg, Germany, Jan 2014 (more)


Our publications from 2013:



Khaluf, Yara; Birattari, Mauro; Rammig, Franz-Josef: Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences. In: Theory and Practice of Natural Computing, number 8273 , 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Cáceres, Spain, Dec 3 - 5, 2013, Springer (more)

Wehrmeister, Marco A.; Pereira, Carlos E.; Rammig, Franz-Josef: Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems. IEEE Trans. on Industrial Informatics, vol. 9(no. 4): pp. pp. 2373-2386, Oct 2013 (more)

Khaluf, Yara; Rammig, Franz-Josef: Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms. In: ECAL 2013, 12th European Conference on Artificial Life, Sep 2 - 6, 2013 (more)

Rammig, Franz-Josef; Khaluf, Lial; Montealegre, Norma; Stahl, Katharina; Zhao, Yuhong: Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software. In: Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013, , June 17 - 18, 2013 IEEE, IEEE (more)

Rammig, Franz-Josef; Stahl, Katharina; Vaz, Gavin: A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems. In: Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013, June 2013 IEEE, IEEE (more)

Grösbrink, Stefan; Rammig, Franz-Josef: Safe Self-Evolving Embedded Software via System Virtualization. In: 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013, Brasilia, Brazil, May 2013 SBC, SBC (more)

Gausemeier, Jürgen; Dumitrescu, Roman; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (eds.) 9. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 310 , Apr 18 - 19, 2013 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)

Khaluf, Lial; Rammig, Franz-Josef: Organic Programming of Real-Time Operating Systems. In: The Ninth International Conference on Autonomic and Autonomous Systems, 2013 (more)


Our publications from 2012:



Zhao, Yuhong; Rammig, Franz-Josef: Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, pp. 154-161, Apr 11 - 13, 2012 IEEE Computer Society, IEEE Computer Society (more)

Montealegre, Norma; Rammig, Franz-Josef: Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, Apr 2012 (more)

Rammig, Franz-Josef: Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, Ouro Preto, Brazil, pp. 45-48, Apr 2012 SBC, SBC (more)

Khaluf, Yara; Mathews, Emi; Rammig, Franz-Josef: Swarm Robotic Time Synchronization for Object Tracking. In: Higuera-Toledano, M. Theresa; Brinkschulte, Uwe; Rettberg, Achim (eds.) Self-Organization in Embedded Real-Time Systems, pp. 75 - 92. Springer, New York, Heidelberg, Dordrecht, London, 2012 (more)

Rammig, Franz-Josef: Biologically Inspired Information Technology: Towards a Cyber Biosphere. In: Conradi, Tobias; Ecker, Gisela; Eke, Norbert Otto; Muhle, Florian (eds.) Schemata und Praktiken, pp. 141 - 160. Wilhelm Fink Verlag, München, 2012 (more)


Our publications from 2011:



Khaluf, Yara; Mathews, Emi; Rammig, Franz-Josef: Self-Organized Cooperation in Swarm Robotics. In: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), pp. 217-226, Newport Beach, California, USA, Mar 28 - 31, 2011 IEEE, IEEE Computer Society (more)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (eds.) 8. Paderborner Workshop Entwurf mechatronischer Systeme.. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 294 , 2011, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)


Our publications from 2010:



F. S. Oliveira, Marcio; Wehrmeister, Marco; Pereira, Carlos E.; Rammig, Franz-Josef; Wagner, Flavio: Model-Driven Engineering for Embedded Systems. In: First Brazilian-German Workshop on Nano-Microelectronics, Porto Alegre, Brasilien, Oct 6 - 8, 2010 (more)

Samara, Sufyan; Zhao, Yuhong; Rammig, Franz-Josef: Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. In: Distributed, Parallel and Biologically Inspired Systems, IFIP Advances in Information and Communication Technology, volume 329 , pp. 102-113. Springer Boston, Sep 2010 (more)

Hinchey, Mike; Kleinjohann, Bernd; Kleinjohann, Lisa; Lindsay, Peter A.; Rammig, Franz-Josef; Timmis, Jon; Wolf, Marilyn (eds.) Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010. IFIP Advances in Information and Communication Technology, volume 329 , Springer Verlag, Brisbane, Australia, Sep 2010 (more)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar: 7. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 272 , Heinz Nixdorf Institut, 2010 (more)

Schäfer, Wilhelm; Birattari, Mauro; Blömer, Johannes; Dorigo, Marco; Engels, Gregor; O'Grady, Rehan; Platzner, Marco; Rammig, Franz-Josef; Reif, Wolfgang; Trächtler, Ansgar: Engineering Self-Coordinating Software Intensive Systems. In: Proceedings of the Foundations of Software Engineering (FSE) and NITR&D/SPD Working Conference on the Future of Software Engineering Research (FoSER 2010), pp. 321-324, Santa Fe, New Mexico, USA, Jan 2010 ACM (more)


Our publications from 2009:



Montealegre, Norma; Rammig, Franz-Josef: Dynamically Reconfigurable Systems. , chapter Dynamic Partial Reconfiguration by Means of Algorithmic Skeletons - A Case Study -, pp. 183-197, Springer-Verlag, Heidelberg, Germany, Dec 2009 (more)

Rammig, Franz-Josef; Zhao, Yuhong; Samara, Sufyan: On-line Model Checking as Operating System Service. In: The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'09), Nov 2009 IFIP WG 10.5, Springer (more)

Gausemeier, Jürgen; Rammig, Franz-Josef; Trächtler, Ansgar; Schäfer, Wilhelm (eds.) 6. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 250 , Apr 2 - 3, 2009 (more)

Zhao, Yuhong; Rammig, Franz-Josef: Model-based Runtime Verification Framework. In: Electronic Notes in Theoretical Computer Science, volume 253(1) , pp. 179-193, 2009 (more)

F. S. Oliveira, Marcio; Ferreira, Ronaldo R.; do Nascimento, Francisco Assis M.; Rammig, Franz-Josef; Wagner, Flavio: Exploiting the Model-Driven Engineering Approach to Improve Design Space Exploration of Embedded Systems. In: Proceedings of Symposium on Integrated Circuits and Systems Design (SBCCI), 2009 (more)


Our publications from 2008:



Rammig, Franz-Josef: Cyber Biosphere for Future Embedded Systems. In: Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, Oct 2008 IFIP WG 10.2 , Springer-Verlag (more)

Montealegre, Norma; Rammig, Franz-Josef: Immuno-Repairing of FPGA Designs. In: Biologically-Inspired Collaborative Computing, World Computer Congress (WCC 2008), Springer IFIP Series, number 268/2008 , pp. 137-149, Milano, Italy, Sep 7 - 10, 2008 International Federation for Information Processing, Springer-Verlag, Heidelberg, Germany (more)

Wehrmeister, Marco; Freitas, Edison P.; Orfanus, Dalimir; Pereira, Carlos E.; Rammig, Franz-Josef: A Comparison of the Use of Aspects and Objects for Modeling Distributed Embedded Real-Time Systems with RT-UML. In: Proc. of 10th Brazilian Workshop on Embedded and Real-Time Systems (WTR 2008), Rio de Janeiro, Brazil, 26 May 2008 (more)

Wehrmeister, Marco; Freitas, Edison P.; Orfanus, Dalimir; Pereira, Carlos E.; Rammig, Franz-Josef: A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems. In: Proc. of 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES), pp. 44-54, Apr 2008 IEEE Computer Society (more)

Rammig, Franz-Josef; Heimfarth, Tales; Janacik, Peter: Biologically Inspired Methods for Organizing Distributed Services on Sensor Networks. In: Proceedings of the Dagstuhl Seminar on Organic Computing, Wadern, Germany, Mar 30 - Apr 4, 2008, Leibniz-Zentrum für Informatik (more)

Zhao, Yuhong; Oberthür, Simon; Rammig, Franz-Josef: Runtime Model Checking for Safety and Consistency of Self-optimizing Mechatronic Systems. In: Proceedings of the 7th International Heinz Nixdorf Symposium: Self-optimzing Mechatronic Systems, ALB-HNI-Verlagsschriftenreihe, Feb 20 - 21, 2008 Heinz Nixdorf Institut, Heinz Nixdorf Institut (more)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm (eds.) Self-optimizing Mechatronic Systems: Design the Future. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 223 , Heinz Nixdorf Institut, Feb 2008 (more)

Wehrmeister, Marco A.; Pereira, Carlos E.; Rammig, Franz-Josef: GenERTiCA: A Tool for Code Generation and Aspects Weaving. In: 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2008), pp. 234-238, Orlando, 2008, IEEE Computer Society Press (more)


Our publications from 2007:



Stechele, Walter; Bringmann, Oliver; Ernst, Rolf; Herkersdorf, Andreas; Hojenski, Katharina; Janacik, Peter; Rammig, Franz-Josef; Teich, Jürgen; Wehn, Norbert; Zeppenfeld, Johannes; Ziener, Daniel: Concepts for Autonomic Integrated Systems. In: edaWorkshop, Hannover, Germany, June 19 - 20, 2007, FZI (more)

Rettberg, Achim; Zanella, Mauro C.; Dömer, Rainer; Gerstlauer, A.; Rammig, Franz-Josef (eds.) Embedded System Design: Topics, Techniques, and Trends. , Irvine (CA), USA, May 31 - June 1, 2007, Springer-Verlag (more)

Rammig, Franz-Josef: Software-Hardware Complexes: Towards Flexible Borders. In: Proceedings of the IFIP TC 10 Working Conference: International Embedded System Symposium (IESS), pp. 433-436, Irvine, USA, May 30 - June 1, 2007 (more)

Heimfarth, Tales; Janacik, Peter; Rammig, Franz-Josef: Self-Organizing Resource-Aware Clustering for Ad Hoc Networks. In: Proceedings of the 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2007), pp. 319--328, Santorini Island, Greece, May 7 - 9, 2007, Springer Berlin/Heidelberg (more)

Rammig, Franz-Josef: Engineering Self-Coordinating Real-Time Systems. In: Proceedings of The 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), Santorini Island, Greece, May 7 - 9, 2007 (more)

Stechele, Walter; Bringmann, Oliver; Ernst, Rolf; Herkersdorf, Andreas; Hojenski, Katharina; Janacik, Peter; Rammig, Franz-Josef; Teich, Jürgen; Wehn, Norbert; Zeppenfeld, Johannes; Ziener, Daniel: Autonomic MPSoCs for Reliable Systems. In: Zuverlässigkeit und Entwurf (ZuD 07), Munich, Germany, Mar 27 - 28, 2007, VDE Verlag (more)

Dittmann, Florian; Rammig, Franz-Josef; Streubühr, Martin; Haubelt, C.; Schallenberg, Andreas; Nebel, Wolfgang: Exploration, Partitioning and Simulation of Reconfigurable Systems. it - Information Technology (vormals it+ti), 3: pp. 149-156, 1 Jan 2007 (more)

Wehrmeister, Marco; Freitas, Edison P.; Pereira, Carlos E.; Rammig, Franz-Josef: Combining Aspects-Oriented Concepts with Model-Driven Techniques in the Design of Distributed Embedded Real-Time Systems. In: Proceedings of Work-In-Progress Session of the 19th Euromicro Conference on Real-Time Systems (ECRTS 07), pp. 49-52, Pisa, Italy, Jan 2007 (more)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar; Wallaschek, Jörg (eds.) Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 210 , Jan 2007 Heinz Nixdorf Institut, Heinz Nixdorf Institut, Universität Paderborn (more)


Our publications from 2006:



Rettberg, Achim; Rammig, Franz-Josef: Integration of Energy Reduction into High-Level Synthesis by Partitioning. In: Proceedings of the Distributed Parallel Embedded Systems Workshop (DIPES), Braga, Portugal, Oct 11 - 13, 2006 (more)

Rammig, Franz-Josef; Götz, Marcelo; Heimfarth, Tales; Janacik, Peter; Oberthür, Simon: Real-time Operating Systems for Self-coordinating Embedded Systems. In: Proceedings of the 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC 2006), pp. 24--26, Gyeongju, Korea, Apr 24 - 26, 2006, IEEE Press (more)

Janacik, Peter; Heimfarth, Tales; Rammig, Franz-Josef: Emergent Topology Control Based on Division of Labour in Ants. In: Proceedings of the IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006), pp. 733--740, Vienna, Austria, Apr 18 - 20, 2006, IEEE Press (more)

Rettberg, Achim; Rammig, Franz-Josef: A New Design Partitioning Approach for Low Power High-Level Synthesis. In: Proceedings of the IEEE International Workshop on Electronic Desing, Test and Applications (DELTA 2006), Kuala Lumpur, Malaysia, Jan 17 - 19, 2006 (more)

Rammig, Franz-Josef; Götz, Marcelo; Heimfarth, Tales; Janacik, Peter; Oberthür, Simon: Real-time Operating Systems for Self-coordinating Embedded Systems. In: Proceedings of the Dagstuhl Seminar MBEES: Modellbasierte Entwicklung eingebetteter Systeme II (pre-publication), pp. 95--104, Wadern, Germany, Jan 9 - 13, 2006 (more)

Gausemeier, Jürgen; Wallaschek, Jörg; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (eds.) Entwurf mechatronischer Systeme. , volume 189 , 2006, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)

Rammig, Franz-Josef; Dangelmaier, Wilhelm; Karl, Holger; Mertsching, Bärbel; Meyer auf der Heide, Friedhelm; Trächtler, Ansgar: Self-Coordinating Systems: The Next Challenge in Research on Distributed Systems. In: Proceedings of the 6th International Heinz Nixdorf Symposium., 2006, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)

Pan, Yi; Rammig, Franz-Josef; Schmeck, Hartmut; Solar, Mauricio (eds.) Biologically Inspired Cooperative Computing. , 2006 IFIP WG 10.5, Springer-Verlag (more)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar; Wallaschek, Jörg: 4. Paderborner Workshop Entwurf mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 189 , Heinz Nixdorf Institut, Jan 2006 (more)

Rammig, Franz-Josef; Dangelmaier, Wilhelm; Karl, Holger; Mertsching, Bärbel; Meyer auf der Heide, Friedhelm; Trächtler, Ansgar: Self-Coordinating Systems: The Next Challenge in Research on Distributed Systems. In: New Trends in Parallel & Distributed Computing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 181 , pp. 248 - 259, Jan 2006, Heinz Nixdorf Institut (more)


Our publications from 2005:



Rettberg, Achim; Schattkowsky, Tim; Rust, Carsten; Müller, Wolfgang; Rammig, Franz-Josef: The Reconfigurable UML Machine Project Group. In: New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design, Oct 20 - 21, 2005 EduTech Workshop, Springer Verlag (more)

Zhao, Yuhong; Kardos, Martin; Oberthür, Simon; Rammig, Franz-Josef: Comprehensive Verification Framework for Dependability of Self-optimizing Systems. In: the proceedings of the Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), Taipei, Taiwan, Oct 4 - 7, 2005 (more)

Zhao, Yuhong; Oberthür, Simon; Montealegre, Norma; Rammig, Franz-Josef; Kardos, Martin: Increasing Dependability by Means of Model-based Acceptance Test inside RTOS. In: 6th International Conference on Parallel Processing and Applied Mathematics (PPAM 2005), Lecture Notes in Computer Science, pp. 1034-1041, Poznanm, Poland, Sep 11 - 14, 2005, Springer-Verlag, Heidelberg, Germany (more)

Zhao, Yuhong; Oberthür, Simon; Kardos, Martin; Rammig, Franz-Josef: Model-based Runtime Verification Framework for Self-optimizing Systems. In: the Proceedings of the Fifth Workshop on Runtime Verification (RV'05), Edinburgh, Scotland, UK, July 7 - 12, 2005 (more)

Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Wallaschek, Jörg (eds.) Intelligente mechatronische Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 163 , 2005, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)

Francisco, André; Rammig, Franz-Josef: Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems. 8th IEEE International Symposium on Object-oriented Real-time distributed Computing 2005 (more)


Our publications from 2004:



Löser, Chris; Ditze, Michael; Rammig, Franz-Josef; Altenbernd, Peter: GRUSEL - A Self-optimizing Bandwidth-aware Video on Demand Application. In: Proceedings of the 1st IEEE International Conference on Autonomic Computing (ICAC-2004), New York, 13 Dec 2004 (more)

Kardos, Martin; Rammig, Franz-Josef: Model Based Formal Verification of Distributed Production Control Systems. In: Ehrig, Hartmut (eds.) Integration of Software Specification Techniques for Applications in Engineering, LNCS, number 3147 , pp. 451-473. Springer Verlag, 1 Oct 2004 (more)

Rust, Carsten; Rammig, Franz-Josef: A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems. In: Design Methods and Applications for Distributed Embedded Systems, Proc. IFIP TC 10 Conference DIPES 2004, Aug 23 - 26, 2004 IFIP WG 10.5, Kluwer Academic Publishers (more)

Rammig, Franz-Josef: Autonomic Distributed Real-Time Systems: Challenges and Solutions. In: 7th International Symposium on Object-oriented Real-time Distributed Computing, ISORC 2004, May 12 - 14, 2004 IEEE Computer Society, IEEE Computer Society Press (more)

Bleckmann, Peter; Bötcher, Stefan; Cesnavicius, Eduardas; De Freitas Francisco, Andre L.; Hollerung, Tim; Kühnel, Birger; Jing Liu, Michelle; Obermeier, S.; Oberthür, Simon; Peter, Felix; Rammig, Franz-Josef; Schindelhauer, Christian; Schomaker, Gunnar; Steenweg, Thorsten; Abas Tarar, Qamar; Tiemeyer, Marcel; Thürling, Adelhard; Vater, Arne: The design of PaMaNet the Paderborn mobile ad-hoc network. In: Proceedings of the second international workshop on Mobility management & wireless access protocols, number 1 , pp. 119-121, 2004, ACM Press, New York, NY, USA (more)


Our publications from 2003:



Rammig, Franz-Josef; Rust, Carsten: Modeling of Dynamically Modifiable Embedded Real-Time Systems.. In: 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F), 1 Oct 2003 (more)

Rettberg, Achim; Rammig, Franz-Josef; Kleinjohann, Bernd: Low Power Driven High-Level Synthesis for Dedicated Architectures. In: Proceedings of the 11th NASA Symposium VLSI Design, Coeur d Alene Resort, Coeur d Alene, Idaho, USA, May 28 - 29, 2003 (more)

Heimfarth, Tales; Götz, Marcelo; Rammig, Franz-Josef; Wagner, F. R.: RTC: A Real-time Communication Middleware on Top of RTAI-Linux. In: The Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), pp. 19-25, Hakodate, Hokkaido, Japan, May 14 - 16, 2003 (more)


Our publications from 2002:



Rettberg, Achim; Kleinjohann, Bernd; Rammig, Franz-Josef: Integration of Low Power Analysis into High-Level Synthesis. In: Design and Analysis of Distributed Embedded Systems, Montreal, Canada, Aug 25 - 30, 2002, Kluwer Academic Publishers (more)

Rammig, Franz-Josef: OCL Goes Real-Time. In: The 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 423-424, Washington, DC, USA, Apr 29 - May 1, 2002 (more)

Chivukula, Rama Krishna Prasad; Böke, Carsten; Rammig, Franz-Josef: Customizing the Configuration Process of an Operating System Using Hierarchy and Clustering. In: Proc. of 5th IEEE Intl. Symposium on Object-oriented Real-time distributed Computing (ISORC), pp. 280-287, Crystal City, VA, USA, Apr 29 - May 1, 2002 IFIP WG 10.5 (more)

Rammig, Franz-Josef: Synthesis Aspects of the PARADISE Design Environment. In: 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), pp. 26-33, San Diego, CA, USA, Jan 7 - 9, 2002 (more)


Our publications from 2001:



Rammig, Franz-Josef; Rettberg, Achim: Collaborative Design of Embedded Hardware/Software Components with the Distributed PARADISE Environment. In: DFG SPP KONDISK/SPEZI/ES/RP Workshop, Modelltransformation und Werkzeugkopplung, TU Braunschweig, 2001 (more)


Our publications from 2000:



Rettberg, Achim; Rammig, Franz-Josef; Gerstlauer, A.; Gajski, D.; Hardt, Wolfram; Kleinjohann, Bernd: The Specification Language SpecC within the PARADISE Design Environment. In: Proceedings of the International IFIP WG10.3/WG10.4/WG10.5 and GI Workshop on Distributed Parallel Embedded Systems (DIPES'00), Paderborn, Germany, 2000 (more)

Böke, Carsten; Hübel, M.; Rammig, Franz-Josef; Rust, Carsten: Zero-Overhead Pr/T-Net Execution. In: Proceedings of the SCS International European Simulation Multi-Conference (ESM 2000), Gent, Belgium, 2000 (more)


Our publications from 1999:



Böke, Carsten; Rammig, Franz-Josef: Entwurf konfigurierbarer, echtzeitfähiger Kommunikationssysteme. In: Journal Informationstechnik und Technische Informatik (it+ti), number 2 , 1999, Oldenbourg Verlag (more)

Rammig, Franz-Josef (eds.) Distributed and Parallel Embedded Systems. Kluwer Academic Publishers, Distributed and Parallel Embedded Systems. Auflage, 1999 (more)

Hardt, Wolfram; Altenbernd, Peter; Böke, Carsten; Del Castillo, Giuseppe; Ditze, Carsten; Erpenbach, Edwin; Glässer, Uwe; Lehrenfeld, Georg; Rammig, Franz-Josef; Stappert, Friedhelm; Stroop, Joachim: PARADISE: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. In: Proceedings of the Int. IFIP WG 10.3 / WG 10.5 Workshop on Distributed and Parallel Embedded Systems (DIPES'98), Paderborn University, Germany, 1999, Kluwer Academic Publishers (more)

Böke, Carsten; Ditze, Carsten; Eickerling, H.; Glässer, Uwe; Kleinjohann, Bernd; Rammig, Franz-Josef; Thronicke, Wolfgang: Software IP in Embedded Systems. In: Proceedings of the Forum on Design Languages (FDL'99), Lyon, France, 1999 (more)

Kleinjohann, Bernd; Rammig, Franz-Josef; Stolpe, R.; Wältermann, P.; Schmidtfranz, B.-H.; Schröder-Preikschat, W.: Parallel Computing for the Design and the Implementation of Mechatronic Systems: Lessons Learned from the METRO-Project. In: Proceedings of the 3rd International Heinz Nixdorf Symposium, Paderborn, Germany, May 27 - 28, 1999 (more)


Our publications from 1998:



Borrione, D.; Lefaou, C.; Marwedel, P.; Mermet, J.; Newton, C.; Rammig, Franz-Josef: Three Decades of Hardware Description Languages in Europe. Journal of Electrical Engineering and Information Science, 3(6), Dec 1998 (more)

Müller, Wolfgang; Rammig, Franz-Josef: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 36 , Heinz Nixdorf Institut, Universität Paderborn, 1998 (more)


Our publications from 1997:



Janzen, Nikolaj; Rammig, Franz-Josef: Zeittreue Prototypenanalyse in FPGA-basierten Emulationssystemen. In: 5. GI/ITG/GMM Workshop. Methoden des Entwurfs und der Verifikation digitaler Systeme, Linz, Austria, 1997 (more)

Rammig, Franz-Josef; Steinmüller, B.: CE-Enabling Technologies. Concurrent Engineering - The Agenda for Success 1997 (more)

Janzen, Nikolaj; Rammig, Franz-Josef: Timing Analysis with FPGA-based Emulation Systems. In: Proceedings of the 9th European Simulation Symposium, Passau, 1997 (more)


Our publications from 1996:



Rammig, Franz-Josef; Steinmüller, B.: Integrierte Ingenieursysteme und Concurrent Engineering. In: Tagungsband 2. Internationales Heinz Nixdorf Symposium für Industrielle Informationstechnik, HNF, Nov 1996 (more)

Rammig, Franz-Josef: Beyond VHDL: Textual Formalisms, Visual Techniques, or Both?. In: EURO-DAC/EURO-VHDL, Geneva, Switzerland, IEEE, Sep 1996 (more)

Janzen, Nikolaj; Rammig, Franz-Josef: A Slow Motion Engine for the Analysis of FPGA-Based Prototypes. In: Proc. of the 6th International Workshop on Field Programmable Logic and Applications, FPL, Darmstadt, Sep 1996 (more)

Brielmann, Maria; Rammig, Franz-Josef: Evaluating Hardware Design: Principles for the Development of Computer Based Systems. In: IEEE Int. Symposium and Workshop on Engineering of Computer Based Systems (ECBS), Friedrichshafen, pp. 166-173, Mar 1996 (more)


Our publications from 1995:



Rammig, Franz-Josef: Models and Tools for Integrated System Design. In: 10th Congress of the Brazilian Microelectronics Society and 1st Ibero, American Microelectronics Conference, pp. 191-210, 1995 (more)

Rammig, Franz-Josef; Wagner, F. R. (eds.) Electronic Design Automation Frameworks. , volume 4 Chapman & Hall, 1995 (more)


Our publications from 1994:



Rammig, Franz-Josef: Modelle und Methoden für den integrierten Systementwurf. In: VDE-Kongreß 1994, ITG Fachbericht 129, pp. 91-108, 1994, VDE Verlag (more)


Our publications from 1993:



Rammig, Franz-Josef: DACAPO III: A Retrospective. In: Fundamentals and Standards in Hardware Description Languages, pp. 395-409, 1993, Kluwer Academic Publishers (more)

Rammig, Franz-Josef: System Level Design. In: Fundamentals and Standards in Hardware Description Languages, pp. 109-151, 1993, Kluwer Academic Publishers (more)


Our publications from 1992:



Lutter, B.; Glunz, Wolfgang; Rammig, Franz-Josef: Using VHDL for Simulation of SDL Specifications. In: EURODAC and EURO-VHDL, pp. 630-635, Sep 7 - 10, 1992, IEEE Computer Society Press (more)

Rammig, Franz-Josef; Steinmüller, B.: Frameworks und Entwurfsumgebungen. Informatik-Spektrum: pp. 33-43 1992 (more)

Rammig, Franz-Josef: Synthesis Related Aspects of Simulation. In: The Synthesis Approach to Digital System Design, pp. 303-334, 1992, Kluwer Academic Publishers (more)

Rammig, Franz-Josef: Approaching System Level Design. In: VHDL for Simulation, Synthesis and Formal Proofs of Hardware, pp. 259-278, 1992, Kluwer Academic Publishers (more)

Sauer, A.; Rammig, Franz-Josef: Der durchgängige Entwurf mikroelektronischer Systeme. In: Mikroelektronik für die Informationstechnik, ITG-Fachbericht 119, pp. 275-284, 1992, VDE Verlag (more)


Our publications from 1991:




Our publications from 1990:



Rammig, Franz-Josef: System Level Simulation Concepts. In: European Simulation Multiconference, Erlangen-Nürnberg, 1990 (more)


Our publications from 1989:



Rammig, Franz-Josef: Neuere Trends der Hardwareentwurfsmethodik als Richtschnur für die Softwareentwicklung. In: ITG/GI/GME-Fachtagung 'Softwaretechnik in Automatisierung und Kommunikation-Wiederverwendbarkeit von Software', Ulm, Nov 15 - 16, 1989, VDE Verlag (more)

Rammig, Franz-Josef: Mehrebenensimulation. In: ITG-Fachtagung 'Mikroelektronik für die Informationstechnik', Stuttgart, Oct 3 - 5, 1989, VDE Verlag (more)

Miller, J.; Strauß, Jürgen; Rammig, Franz-Josef: Integration of a CHDL into an Engineering Environment. In: 9th International IFIP Symposium on Computer Hardware Description Language and their Applications, pp. 157-166, 1989, North Holland (more)

Darringer, John A.; Rammig, Franz-Josef: Computer Hardware Description Languages and their Applications. In: 9th International IFIP Symposium on Computer Hardware Description Language and their Applications, 1989, North Holland (more)

Müller, Wolfgang; Rammig, Franz-Josef: ODICE: Object-Oriented Hardware Description in CAD Environment. In: 9th International IFIP Symposium on Computer Hardware Description Language and their Applications, pp. 19-34, 1989, North Holland (more)

Rammig, Franz-Josef; Horneber, Ernst-Helmut: Mehrebenensimulation. Mikroelektronik 6/89 1989 (more)


Our publications from 1988:



Rammig, Franz-Josef; Schrewe, M.; Vorloeper, G.: A Transputer-Based Accelerator for Multilevel digital Simulation. In: EUROMICRO, Zurich, Aug 1988 (more)

Kastens, U.; Rammig, Franz-Josef: Architektur und Betrieb von Rechensystemen. In: 10. GI/ITG-Fachtagung, Paderborn, Mar 1988, Springer Verlag (more)


Our publications from 1987:



Gottheil, K.; Kachel, G.; Kathoefer, T.; Kaufmann, H. J.; Kleinjohann, Bernd; Kupitz, E.; Miller, J.; Nelke, B.; Rammig, Franz-Josef; Steinmüller, B.; White, C.: The Cadlab Workstation CWS - An Open, Generic System for Tool Integration. In: Proc. of the IFIP WG 10.2 Workshop on Tool Integration and Design Environments, Paderborn, Nov 26 - 27, 1987, North Holland (more)

Rammig, Franz-Josef: Tool Integration and Design Environments. In: IFIP WG 10.2 Workshop on Tool Integration and Design Environments, Paderborn, Nov 26 - 27, 1987, North Holland (more)

Bidjan-Irani, M.; Glässer, Uwe; Rammig, Franz-Josef: Knowledge Based Tools for Testability Checking. In: 3rd Intern. Conference on Fault-Tolerant Computing Systems, Bremerhaven, Sep 1987 (more)

Rammig, Franz-Josef: Design Languages: Concepts and Examples. In: COMPEURO, Tutorialband 2, Hamburg, IEEE, May 11 - 15, 1987 (more)

Rammig, Franz-Josef: Multilevel Simulation Techniques. In: COMPEURO, Tutorialband 2, Hamburg, IEEE, May 11 - 15, 1987 (more)


Our publications from 1986:



Brück, R.; Kleinjohann, Bernd; Kathoefer, T.; Rammig, Franz-Josef: Synthesis of Concurrent Modular Controllers from Algorithmic Descriptions. In: 23rd Design Automation Conference, Las Vegas, June 29 - July 2, 1986 (more)

Rammig, Franz-Josef: Systematischer Entwurf eines 32-Bit Mikroprozessors als Ausbildungsaufgabe. In: NTG/GI-Fachtagung 'Architektur und Betrieb von Rechensystemen', Stuttgart, Tagungsband 9, Mar 10 - 12, 1986 (more)

Rammig, Franz-Josef: Mixed Level Modelling and Simulation of VLSI Systems. In: E. Hörbst (ed.): Advances in CAD (North Holland), volume II , 1986 (more)


Our publications from 1985:



Kleinjohann, Bernd; Kowalski, P.; Kupitz, E.; Preuß, W.; Rammig, Franz-Josef; Reinhardt, M.; Strauß, Jürgen: AHLAP - An Advanced Highlevel Languages Assisting Processor. In: EUROMICRO, Bruxelles, Sep 3 - 5, 1985 (more)


Our publications from 1984:



Gröning, K.; Lewke, Klaus - Dieter; Rammig, Franz-Josef: A Unified Multilevel Simulation Technique. In: IEEE ICCAD, Santa Clara, CA, Nov 12 - 15, 1984 (more)

Rammig, Franz-Josef: Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen. In: 14. GI-Jahrestagung, Fachgespräch 'Grundlagen der Größtintegration (VLSI)' - eingel. Vortrag, Braunschweig, Oct 1 - 4, 1984 (more)

Rammig, Franz-Josef: Design Aids for Highly Distributed Hardware. In: IFIP WG 10.5 Workshop on Hardware Supported Implementation of Concurrent Languages in Distributed Systems, Bristol, U.K., Mar 26 - 28, 1984 (more)


Our publications from 1983:



Frantz, D.; Rammig, Franz-Josef: The Impact of an Advanced CHDL on VLSI Design. In: IEEE ICCD, Port Chester, N. Y., Oct 1983 (more)

Rammig, Franz-Josef: A Multilevel Cybernetic Model of the Design Process. In: IFIP WG 10.1 Working Conference on Methodology for Computer System Design, Lille, Sep 1983 (more)


Our publications from 1982:



Baudet, G. M.; Cutler, M.; Davio, M.; Peskin, A.; Rammig, Franz-Josef: The Relationship between HDLs and Programming Languages. In: IEEE Workshop on VLSI and Software Engineering, Port Chester, N. Y., Nov 1982 (more)

Rammig, Franz-Josef: Hierarchical Modular Description of VLSI Systems. In: IEEE Workshop on VLSI and Software Engineering, Port Chester, N. Y., Nov 1982 (more)


Our publications from 1981:



Dachauer, R. J.; Gröning, K.; Lewke, Klaus - Dieter; Rammig, Franz-Josef: The CAP/DSDL System: Simulator and Case Study. In: International Conference on Computer Hardware Description Languages and their Applications, Kaiserslautern, Sep 19 - 21, 1981 (more)

Rammig, Franz-Josef: CAP/SIL - Eine Systemimplementerungssprache für Multi-Mikroprozessor-Systeme aus der CAP Sprachfamilie. In: ACM Workshop 'Implementierungssprachen für nicht sequentielle Programmsysteme', Kaiserslautern, 20 Feb 1981 (more)


Our publications from 1980:



Rammig, Franz-Josef: Five Valued Quasi Boolean Functions. In: 5th European Meeting on Cybernetics and System Research, Wien, Apr 8 - 11, 1980 (more)


Our publications from 1979:



Rammig, Franz-Josef: The Implementation of the Computer Hardware Description Language CAP and its Applications. In: International Symposium on Hardware Description Languages and their Applications, Palo Alto, CA, Oct 8 - 9, 1979 (more)

Rammig, Franz-Josef: The Concurrent Programming Language CAP and the Micro-Processor Oriented CAP. In: CAD-System Proceedings of Euromicro, Göteborg, Aug 27 - 29, 1979 (more)


Our publications from 1977:



Rammig, Franz-Josef: A Concept for the Editing of Hardware Resulting in an Automatic Hardware Editor. In: 14th Design Automation Conference, New Orleans, June 20 - 22, 1977 (more)

Rammig, Franz-Josef; Moraga, C.; Vogel, A.T.: Six-Valued Simulation of Ternary Switching Circuits (CARMEN II). In: 7th International Symposium on Multiple-Valued Logic, Charlotte, NC, May 24 - 27, 1977 (more)


Our publications from 1976:



Rammig, Franz-Josef: Ein Simulator digitaler Schaltwerke - SIMAL. In: Digital Processes, volume 2, no. 2 , 1976 (more)


Our publications from 1975:



Rammig, Franz-Josef: DIGITEST II: An Integrated Structural and Behavioural Language. In: International Symposium on Computer Hardware Description Languages and their Applications, New York, Sep 3 - 5, 1975 (more)


Our publications from 1974:



Rammig, Franz-Josef: Ein theoretisches Modell des Zeitverhaltens digitaler Schaltungen und seiner Anwendung. In: Simulationshard- und Software Tagungsband NTG-Fachtagung Entwurfsautomatisierung für Datenverarbeitungsanlagen und deren Komponenten, Karlsruhe, Sep 25 - 27, 1974 (more)