Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
78 Publications
1989 | Conference Paper | LibreCat-ID: 39585
@inproceedings{Rammig_Müller_1989, place={Washington DC}, title={ODICE: Object-Oriented Hardware Description in CAD Environment}, booktitle={Proc. of the Ninth IFIP Symposium on CHDLs and their Application}, author={Rammig, Franz Josef and Müller, Wolfgang}, year={1989} }
LibreCat
1998 | Book | LibreCat-ID: 23938
@book{Müller_Rammig_1998, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, volume={36}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Müller, Wolfgang and Rammig, Franz-Josef}, year={1998}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
@book{Müller_Rammig_1998, place={Paderborn, Germany}, title={Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, year={1998} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 19807
@inproceedings{Schindelhauer_Böttcher_Rammig_2004, title={The design of PaMaNet the Paderborn mobile ad-hoc network}, DOI={10.1145/1023783.1023807}, booktitle={Proceedings of the second international workshop on Mobility management & wireless access protocols}, author={Schindelhauer, Christian and Böttcher, Stefan and Rammig, Franz}, year={2004} }
LibreCat
| DOI
2005 | Conference (Editor) | LibreCat-ID: 25225
@book{Gausemeier_Rammig_Schäfer_Wallaschek_2005, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Intelligente mechatronische Systeme}, volume={163}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, year={2005}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2005 | Journal Article | LibreCat-ID: 23321
@article{Francisco_Rammig_2005, title={Fault-Tolerant Hard-Real-Time Communication of Dynamically Reconfigurable, Distributed Embedded Systems}, journal={8th IEEE International Symposium on Object-oriented Real-time distributed Computing}, author={Francisco, André and Rammig, Franz-Josef}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 8395
@inproceedings{Rettberg_Schattkowsky_Rust_Müller_Josef Rammig_2005, place={Berlin/Heidelberg}, series={IFIP - International Federation for Information Processing}, title={The Reconfigurable UML Machine Project Group}, volume={192}, booktitle={Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)}, publisher={Springer}, author={Rettberg, Achim and Schattkowsky, Tim and Rust, Carsten and Müller, Wolfgang and Josef Rammig, Franz}, year={2005}, pages={139–147}, collection={IFIP - International Federation for Information Processing} }
LibreCat
2006 | Book | LibreCat-ID: 25540
@book{Gausemeier_Rammig_Schäfer_Trächtler_Wallaschek_2006, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={4. Paderborner Workshop Entwurf mechatronischer Systeme}, volume={189}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar and Wallaschek, Jörg}, year={2006}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2006 | Conference (Editor) | LibreCat-ID: 17417
@book{Rammig_Dangelmaier_Karl_Mertsching_Meyer auf der Heide_Trächtler_2006, place={Paderborn}, series={Proceedings of the 6th International Heinz Nixdorf Symposium}, title={Self-Coordinating Systems: The Next Challenge in Research on Distributed Systems}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, year={2006}, collection={Proceedings of the 6th International Heinz Nixdorf Symposium} }
LibreCat
2006 | Conference Paper | LibreCat-ID: 23299
@inproceedings{Rammig_Dangelmaier_Karl_Mertsching_Meyer auf der Heide_Trächtler_2006, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Self-Coordinating Systems: The Next Challenge in Research on Distributed Systems}, volume={181}, booktitle={New Trends in Parallel & Distributed Computing}, publisher={Heinz Nixdorf Institut}, author={Rammig, Franz-Josef and Dangelmaier, Wilhelm and Karl, Holger and Mertsching, Bärbel and Meyer auf der Heide, Friedhelm and Trächtler, Ansgar}, year={2006}, pages={248–259}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2007 | Conference (Editor) | LibreCat-ID: 25561
@book{Gausemeier_Rammig_Schäfer_Trächtler_Wallaschek_2007, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Entwurf mechatronischer Systeme}, volume={210}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, year={2007}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2008 | Book | LibreCat-ID: 25834
@book{Gausemeier_Rammig_Schäfer_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Self-optimizing Mechatronic Systems: Design the Future}, volume={223}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm}, year={2008}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2009 | Conference (Editor) | LibreCat-ID: 25863
@book{Gausemeier_Rammig_Trächtler_Schäfer_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={6. Paderborner Workshop Entwurf mechatronischer Systeme}, volume={250}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2009 | Journal Article | LibreCat-ID: 17453
@article{Meyer auf der Heide_Rammig_2009, title={Self-Organisation and Self-Optimization}, volume={04}, journal={Public Service Review: Science and Technology}, author={Meyer auf der Heide, Friedhelm and Rammig, Franz-Josef}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 9735
@inproceedings{Hunstig_Hemsel_2009, place={Paderborn}, series={HNI-Verlagsschriftenreihe}, title={Modellbasierte Entwicklung piezoelektrischer Trägheitsmotoren}, volume={250}, booktitle={6. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Hunstig, Matthias and Hemsel, Tobias}, editor={Gausemeier, Jürgen and Rammig, Franz and Schäfer, Wilhelm and Trächtler, AnsgarEditors}, year={2009}, pages={85–96}, collection={HNI-Verlagsschriftenreihe} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 9740
@inproceedings{Sondermann-Wölke_Geisler_Hirsch_Hemsel_2009, place={Paderborn}, series={HNI-Verlagsschriftenreihe}, title={Verlässlichkeit im aktiven selbstoptimierenden Spurführungsmodul eines schienengebundenen Fahrzeugs}, volume={250}, booktitle={Entwurf mechatronischer Systeme}, author={Sondermann-Wölke, Christoph and Geisler, Jens and Hirsch, Martin and Hemsel, Tobias}, editor={Gausemeier, Jürgen and Rammig, Franz Josef and Trächtler, AnsgerEditors}, year={2009}, pages={231–242}, collection={HNI-Verlagsschriftenreihe} }
LibreCat
2010 | Book | LibreCat-ID: 26177
@book{Gausemeier_Rammig_Schäfer_Trächtler_2010, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={7. Paderborner Workshop Entwurf mechatronischer Systeme}, volume={272}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}, year={2010}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
@inproceedings{Schäfer_Trächtler_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_2010, title={Engineering self-coordinating software intensive systems}, DOI={10.1145/1882362.1882428}, booktitle={Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10}, publisher={ACM Press}, author={Schäfer, Wilhelm and Trächtler, Ansgar and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels, Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz and Reif, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 23214
@inproceedings{Schäfer_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_Trächtler_2010, place={Santa Fe, New Mexico, USA}, title={Engineering Self-Coordinating Software Intensive Systems}, booktitle={Proceedings of the Foundations of Software Engineering (FSE) and NITR&D/SPD Working Conference on the Future of Software Engineering Research (FoSER 2010)}, author={Schäfer, Wilhelm and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels, Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz-Josef and Reif, Wolfgang and Trächtler, Ansgar}, year={2010}, pages={321–324} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 9753
@inproceedings{Hunstig_Hemsel_Sextro_2010, place={Paderborn}, series={HNI-Verlagsschriftenreihe}, title={Anregungskonzepte und Modellierung piezoelektrischer Trägheitsmotoren}, volume={272}, booktitle={7. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Hunstig, Matthias and Hemsel, Tobias and Sextro, Walter}, editor={Gausemeier, Jürgen and Rammig, Franz and Schäfer, Wilhelm and Trächtler, AnsgarEditors}, year={2010}, pages={129–141}, collection={HNI-Verlagsschriftenreihe} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13641
@inproceedings{Schäfer_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_Trächtler_2010, title={Engineering Self-Coordinating Software Intensive Systems}, booktitle={Proceedings of the Foundations of Software Engineering (FSE) and NITR & D/SPD Working Conference on the Future of Software Engineering Research (FoSER)}, author={Schäfer, Wilhelm and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels, Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz-Josef and Reif, Wolfgang and Trächtler, Ansgar}, year={2010}, pages={321–324} }
LibreCat
2011 | Conference (Editor) | LibreCat-ID: 26195
@book{Gausemeier_Rammig_Schäfer_Trächtler_2011, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={8. Paderborner Workshop Entwurf mechatronischer Systeme}, volume={294}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, year={2011}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
@inproceedings{Khaluf_Mathews_Rammig_2011, place={Newport Beach, California, USA}, title={ Self-Organized Cooperation in Swarm Robotics}, booktitle={14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)}, publisher={IEEE Computer Society}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, year={2011}, pages={217–226} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
@inproceedings{Zhao_Rammig_2012, title={Online Model Checking for Dependable Real-time Systems}, booktitle={16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China}, publisher={ IEEE Computer Society}, author={Zhao, Yuhong and Rammig, Franz-Josef}, year={2012}, pages={154–161} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
@inproceedings{Montealegre_Rammig_2012, place={Shenzhen, China}, title={Agent-Based Modeling and Simulation of Artificial Immune Systems}, booktitle={Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)}, author={Montealegre, Norma and Rammig, Franz-Josef}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
@inproceedings{Rammig_2012, place={Ouro Preto, Brazil}, title={Self-Coordination as Fundamental Concept for Cyber Physical Systems}, booktitle={2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012}, publisher={SBC}, author={Rammig, Franz-Josef}, year={2012}, pages={45–48} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
@inbook{Khaluf_Mathews_Rammig_2012, place={New York, Heidelberg, Dordrecht, London}, title={Swarm Robotic Time Synchronization for Object Tracking}, booktitle={Self-Organization in Embedded Real-Time Systems}, publisher={Springer}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, editor={Higuera-Toledano, M. Theresa and Brinkschulte, Uwe and Rettberg, Achim}, year={2012}, pages={75–92} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
@inbook{Rammig_2012, place={München}, title={Biologically Inspired Information Technology: Towards a Cyber Biosphere}, booktitle={Schemata und Praktiken}, publisher={Wilhelm Fink Verlag}, author={Rammig, Franz-Josef}, editor={Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian}, year={2012}, pages={141–160} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
@inproceedings{Khaluf_Birattari_Rammig_2013, series={Theory and Practice of Natural Computing, Nr. 8273}, title={Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences}, volume={8273}, booktitle={Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013}, publisher={Springer}, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2013}, collection={Theory and Practice of Natural Computing, Nr. 8273} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
@inproceedings{Joy_Müller_Rammig_2013, title={Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model}, booktitle={Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,}, publisher={Linköping University Electronic Press}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
@inproceedings{Wehrmeister_Pereira_Rammig_2013, title={Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems}, booktitle={ IEEE Trans. on Industrial Informatics vol. 9 (no. 4)}, author={Wehrmeister, Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef}, year={2013}, pages={2373–2386} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
@inproceedings{Khaluf_Rammig_2013, title={Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms}, booktitle={ECAL 2013, 12th European Conference on Artificial Life}, author={Khaluf, Yara and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
@inproceedings{Rammig_Khaluf_Montealegre_Stahl_Zhao_2013, title={Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software}, booktitle={Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao, Yuhong}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
@inproceedings{Rammig_Stahl_Vaz_2013, title={A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems}, booktitle={Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Stahl, Katharina and Vaz, Gavin Francis}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25299
@inproceedings{Grösbrink_Rammig_2013, place={Brasilia, Brazil}, title={Safe Self-Evolving Embedded Software via System Virtualization}, booktitle={3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013}, publisher={SBC}, author={Grösbrink, Stefan and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
@book{Schirner_Götz_Rettberg_Zanella_Rammig_2013, series={Band IFIP AICT 403 }, title={Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013}, publisher={Springer}, year={2013}, collection={Band IFIP AICT 403 } }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
@inproceedings{Khaluf_Rammig_2013, title={Organic Programming of Real-Time Operating Systems}, booktitle={The Ninth International Conference on Autonomic and Autonomous Systems}, author={Khaluf, Lial and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 1785
@inproceedings{Rammig_Stahl_Vaz_2013, title={A framework for enhancing dependability in self-x systems by Artificial Immune Systems}, DOI={10.1109/ISORC.2013.6913240}, booktitle={IEEE Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC)}, publisher={IEEE}, author={Rammig, Franz and Stahl, Katharina and Vaz, Gavin Francis}, year={2013}, pages={1–10} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 9801
@inproceedings{Hunstig_Al-Ashtari_Hemsel_Sextro_2013, place={Paderborn}, series={HNI-Verlagsschriftenreihe}, title={Leistungs- und Bandbreitensteigerung von Energy-Harvesting-Generatoren für Energieautarke Systeme}, booktitle={9. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Hunstig, Matthias and Al-Ashtari, Waleed and Hemsel, Tobias and Sextro, Walter}, editor={Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz and Schäfer, Wilhelm and Trächtler, AnsgarEditors}, year={2013}, pages={359–372}, collection={HNI-Verlagsschriftenreihe} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 9861
@inproceedings{Meyer_Sondermann-Wölke_Sextro_Riedl_Gouberman_Siegle_2013, place={Paderborn}, series={HNI-Verlagsschriftenreihe}, title={Bewertung der Zuverlässigkeit selbstoptimierender Systeme mit dem LARES-Framework}, booktitle={9. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Meyer, Tobias and Sondermann-Wölke, Christoph and Sextro, Walter and Riedl, Martin and Gouberman, Alexander and Siegle, Markus}, editor={Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz and Schäfer, Wilhelm and Trächtler, AnsgarEditors}, year={2013}, pages={161–174}, collection={HNI-Verlagsschriftenreihe} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 29970
@inbook{Stille_Böcker_2013, series={Lecture Notes in Mechanical Engineering}, title={Crosslinked Test Benches}, booktitle={Design Methodology for Intelligent Technical Systems}, publisher={Springer}, author={Stille, Karl Stephan Christian and Böcker, Joachim}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm}, year={2013}, pages={46–49}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 29971
@inbook{Stille_Romaus_Böcker_2013, series={Lecture Notes in Mechanical Engineering}, title={Hybrid Energy Storage System (HES)}, booktitle={Design Methodology for Intelligent Technical Systems}, publisher={Springer}, author={Stille, Karl Stephan Christian and Romaus, Christoph and Böcker, Joachim}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm}, year={2013}, pages={42–46}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 43066
@inproceedings{Khaluf_Rammig_2013, title={Organic Programming of Real-Time Operating Systems}, author={Khaluf, Lial and Rammig, Franz Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 43069
@inproceedings{Rammig_Khaluf_Montealegre_Stahl_Zhao_2013, title={Organic Real-time Programming - Vision and Approaches towards Self-Evolving and Adaptive Real-time Software}, publisher={IEEE}, author={Rammig, Franz Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao, Yuhong}, year={2013} }
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 25300
@book{Gausemeier_Dumitrescu_Rammig_Schäfer_Trächtler_2013, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310}, title={9. Paderborner Workshop Entwurf mechatronischer Systeme}, volume={310}, publisher={Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, year={2013}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25148
@inproceedings{Sudhakar_Zhao_Rammig_2014, place={Reno, NV}, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, booktitle={Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2014}, pages={374–383} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25149
@inproceedings{Rammig_Stahl_2014, title={Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems}, booktitle={Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on}, author={Rammig, Franz-Josef and Stahl, Katharina}, year={2014}, pages={334–341} }
LibreCat
2014 | Book | LibreCat-ID: 25168
@book{Gausemeier_Rammig_Schäfer_Sextro_2014, place={ Heidelberg, Germany}, title={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag}, author={Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm and Sextro, Walter}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25172
@inproceedings{Rammig_Grösbrink_Stahl_Zhao_2014, title={Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation}, booktitle={ Brazilian Symposium on Computing Systems Engineering (SBESC)}, publisher={SBC}, author={Rammig, Franz-Josef and Grösbrink, Stefan and Stahl, Katharina and Zhao, Yuhong}, year={2014} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25179
@inbook{Rammig_Zhao_2014, place={ Heidelberg, Germany}, title={Online Model Checking}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag}, author={Rammig, Franz-Josef and Zhao, Yuhong}, year={2014}, pages={147–152} }
LibreCat
2014 | Book | LibreCat-ID: 25180
@book{Gausemeier_Rammig_Schäfer_2014, place={Heidelberg, Germany}, title={Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future}, publisher={Springer-Verlag}, author={Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm}, year={2014} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 20078
@inbook{Seifried_Ober-Blöbaum_2014, series={Lecture Notes in Mechanical Engineering}, title={Optimal Control with Uncertainty}, DOI={10.1007/978-3-642-53742-4_3}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Seifried, A. and Ober-Blöbaum, S.}, editor={Gausemeier, Jürgen and Rammig, Franz Josef and Schäfer, Wilhelm and Sextro, WalterEditors}, year={2014}, pages={77–85}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 20083
@inbook{Trächtler_Hölscher_Rasche_Priesterjahn_Zimmer_Henning Keßler_Stahl_Flaßkamp_Vaßholz_Krüger_et al._2014, series={Lecture Notes in Mechanical Engineering}, title={Introduction to Self-optimization and Dependability}, DOI={10.1007/978-3-642-53742-4_1}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Trächtler, Ansgar and Hölscher, Christian and Rasche, Christoph and Priesterjahn, Claudia and Zimmer, Detmar and Henning Keßler, Jan and Stahl, Katharina and Flaßkamp, Kathrin and Vaßholz, Mareen and Krüger, Martin and et al.}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, WalterEditors}, year={2014}, pages={1–24}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 20084
@inbook{Seifried_Trächtler_Kleinjohann_Heinzemann_Rasche_Priesterjahn_Steenken_Ramming_Wehrheim_Henning Keßler_et al._2014, series={Lecture Notes in Mechanical Engineering}, title={Methods of Improving the Dependability of Self-optimizing Systems}, DOI={10.1007/978-3-642-53742-4_3}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Seifried, Albert and Trächtler, Ansgar and Kleinjohann, Bernd and Heinzemann, Christian and Rasche, Christoph and Priesterjahn, Claudia and Steenken, Dominik and Ramming, Franz-Josef} and Wehrheim, Heike and Henning Keßler, Jan and et al.}, editor={Gausemeier, J{ü}rgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, WalterEditors}, year={2014}, pages={37–171}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| DOI
2014 | Book (Editor) | LibreCat-ID: 28395
@book{Gausemeier_Rammig_Sch{\"a}fer_2014, title={Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future}, publisher={Springer-Verlag, Heidelberg, Germany}, year={2014} }
LibreCat
2014 | Book | LibreCat-ID: 28396
@book{Gausemeier_Rammig_Sch{\"a}fer_Sextro_2014, title={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag, Heidelberg, Germany}, author={Gausemeier, J{\"u}rgen and Rammig, Franz-Josef and Sch{\"a}fer, Wilhelm and Sextro, Walter}, year={2014} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 22906
@inbook{Dorociak_Dumitrescu_Gausemeier_Iwanek_2014, place={Berlin}, title={Specification Technique CONSENS for the Description of Self-optimizing Systems}, booktitle={Design Methodology for Intelligent Technichal Systems}, publisher={Springer}, author={Dorociak, Rafal and Dumitrescu, Roman and Gausemeier, Jürgen and Iwanek, Peter}, editor={Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm}, year={2014} }
LibreCat
2014 | Book | LibreCat-ID: 9873
@book{Gausemeier_Josef Rammig_Schäfer_Sextro_2014, title={Dependability of Self-Optimizing Mechatronic Systems}, volume={Lecture Notes in Mechanical Engineering}, publisher={Springer Berlin Heidelberg}, author={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, Walter}, year={2014} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 9883
@inbook{Meyer_Priesterjahn_Sextro_2014, series={Lecture Notes in Mechanical Engineering}, title={Conclusion and Outlook}, DOI={10.1007/978-3-642-53742-4_5}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Meyer, Tobias and Priesterjahn, Claudia and Sextro, Walter}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, WalterEditors}, year={2014}, pages={189–190}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 9893
@inbook{Trächtler_Hölscher_Rasche_Priesterjahn_Zimmer_Henning Keßler_Stahl_Flaßkamp_Vaßholz_Krüger_et al._2014, series={Lecture Notes in Mechanical Engineering}, title={Introduction to Self-optimization and Dependability}, DOI={10.1007/978-3-642-53742-4_1}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Trächtler, Ansgar and Hölscher, Christian and Rasche, Christoph and Priesterjahn, Claudia and Zimmer, Detmar and Henning Keßler, Jan and Stahl, Katharin and Flaßkamp, Kathrin and Vaßholz, Mareen and Krüger, Martin and et al.}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, WalterEditors}, year={2014}, pages={1–24}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 9894
@inbook{Trächtler_Kleinjohann_Heinzemann_Rasche_Priesterjahn_Steenken_Wehrheim_Gausemeier_Flaßkamp_Kleinjohann_et al._2014, series={Lecture Notes in Mechanical Engineering}, title={Case Study}, DOI={10.1007/978-3-642-53742-4_4}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Trächtler, Ansgar and Kleinjohann, Bernd and Heinzemann, Christian and Rasche, Christoph and Priesterjahn, Claudia and Steenken, Dominik and Wehrheim, Heike and Gausemeier, Jürgen and Flaßkamp, Kathrin and Kleinjohann, Lisa and et al.}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, WalterEditors}, year={2014}, pages={173–188}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 20085
@inbook{Trächtler_Kleinjohann_Heinzemann_Rasche_Priesterjahn_Steenken_Wehrheim_Gausemeier_Flaßkamp_Kleinjohann_et al._2014, series={Lecture Notes in Mechanical Engineering}, title={Case Study}, DOI={10.1007/978-3-642-53742-4_4}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer Berlin Heidelberg}, author={Trächtler, Ansgar and Kleinjohann, Bernd and Heinzemann, Christian and Rasche, Christoph and Priesterjahn, Claudia and Steenken, Dominik and Wehrheim, Heike and Gausemeier, Jürgen and Flaßkamp, Kathrin and Kleinjohann, Lisa and et al.}, editor={Gausemeier, Jürgen and Josef Rammig, Franz and Schäfer, Wilhelm and Sextro, Walter}, year={2014}, pages={173–188}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 20080
@inbook{Anacker_Dellnitz_Flaßkamp_Grocsbrink_Hartmann_Heinzemann_Horenkamp_Kleinjohann_Korf_Krüger_et al._2014, series={Lecture Notes in Mechanical Engineering}, title={Methods for the Design and Development}, DOI={10.1007/978-3-642-45435-6_5}, booktitle={Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, editors, Design Methodology for Intelligent Technical Systems}, publisher={Springer Berlin Heidelberg}, author={Anacker, H. and Dellnitz, M. and Flaßkamp, K. and Grocsbrink, S. and Hartmann, P. and Heinzemann, C. and Horenkamp, C. and Kleinjohann, B. and Korf, S. and Krüger, M. and et al.}, year={2014}, pages={183–350}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 29416
@inbook{Dellnitz_Dumitrescu_Flaßkamp_Gausemeier_Hartmann_Iwanek_Korf_Krüger_Ober-Blöbaum_Porrmann_et al._2014, place={Berlin Heidelberg}, series={Lecture Notes in Mechanical Engineering}, title={The paradigm of self-optimization}, booktitle={Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, editors, Design Methodology for Intelligent Technical Systems}, publisher={Springer}, author={Dellnitz, M. and Dumitrescu, R. and Flaßkamp, K. and Gausemeier, J. and Hartmann, P. and Iwanek, P. and Korf, S. and Krüger, M. and Ober-Blöbaum, Sina and Porrmann, M. and et al.}, year={2014}, pages={1–25}, collection={Lecture Notes in Mechanical Engineering} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
@inproceedings{Joy_Müller_Rammig_2014, title={Source code annotated memory leak detection for soft real time embedded systems with resource constraints}, booktitle={12th IEEE International conference on Embedded Computing}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2014} }
LibreCat
2015 | Journal Article | LibreCat-ID: 25108
@article{Rammig_Stahl_2015, title={Online behavior classification for anomaly detection in self-x real-time systems}, journal={Concurrency and Computation: Practice and Experience }, author={Rammig, Franz-Josef and Stahl, Katharina}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 25109
@article{Sudhakar_Zhao_Rammig_2015, title={Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}, journal={Concurrency and Computation: Practice and Experience }, author={Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 25110
@article{Joy_Rammig_2015, title={A hybrid methodology to detect memory leaks in soft real time embedded systems software}, journal={Int. J. of Embedded Systems}, author={Joy, M. tech. Mabel Mary and Rammig, Franz-Josef}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 25111
@article{Khaluf_Birattari_Rammig_2015, title={Analysis of long-term swarm performance based on short-term experiments}, journal={Springer Jounal Soft Computing }, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2015} }
LibreCat
2015 | Misc | LibreCat-ID: 28223
@book{Gausemeier_Dumitrescu_Rammig_Schäfer_Trächtler_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={10. Paderborner Workshop Entwurf mechatronischer Systeme}, volume={343}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}, year={2015}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 28321
@inproceedings{Petersen_Rehage_Gausemeier_Bauer_2015, place={Paderborn}, title={Wissensaufbereitung und -bereitstellung durch Ontologien im Lebenszyklus von Produktionssystemen}, booktitle={Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme, Nr. 343}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, author={Petersen, Marcus and Rehage, Gerald and Gausemeier, Jürgen and Bauer, Frank}, editor={Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}, year={2015}, pages={189–209} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 20902
@inproceedings{Meyer_Holtmann_Koch_Meyer_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Generierung von AUTOSAR-Modellen aus UML-Spezifikationen}, volume={343}, booktitle={10. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut}, author={Meyer, Jan and Holtmann, Jörg and Koch, Thorsten and Meyer, Matthias}, editor={Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}, year={2015}, pages={159–172}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 9945
@inproceedings{Kaul_Meyer_Sextro_2015, place={Paderborn}, series={HNI-Verlagsschriftenreihe}, title={Integrierte Modellierung der Dynamik und der Verlässlichkeit komplexer mechatronischer Systeme}, booktitle={10. Paderborner Workshop Entwurf mechatronischer Systeme}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Kaul, Thorben and Meyer, Tobias and Sextro, Walter}, editor={Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz and Schäfer, Wilhelm and Trächtler, AnsgarEditors}, year={2015}, pages={101–112}, collection={HNI-Verlagsschriftenreihe} }
LibreCat
2016 | Dissertation | LibreCat-ID: 140
@book{Jungmann_2016, title={Towards On-The-Fly Image Processing}, publisher={Universität Paderborn}, author={Jungmann, Alexander}, year={2016} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 27437
@inproceedings{Engels_Plass_Rammig_Drewel_2017, title={IT-Plattformen für die Smart Service Welt - Verständnis und Handlungsbedarfe}, author={Engels, Gregor and Plass, Christoph and Rammig, Franz-Josef and Drewel, Marvin}, year={2017} }
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
@book{Khaluf_2019, title={Organic Programming of Dynamic Real-Time Applications}, publisher={Universität Paderborn}, author={Khaluf, Lial}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 43070
@inproceedings{Khaluf_Rammig_2019, title={Organic Self-Adaptable Real-Time Applications}, author={Khaluf, Lial and Rammig, Franz-Josef}, year={2019} }
LibreCat
2020 | Journal Article | LibreCat-ID: 43072
@article{Khaluf_Rammig_2020, title={An Algorithmic Solution for Adaptable Real-Time Applications}, volume={v 13 n 1 & 2}, journal={the International Journal On Advances in Software}, author={Khaluf, Lial and Rammig, Franz-Josef}, year={2020} }
LibreCat