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.
327 Publications
2016 | Conference Paper | LibreCat-ID: 25070
@inproceedings{Jungmann_Kleinjohann_2016, title={Automatic Composition of Service-based Image Processing Applications}, booktitle={Proceedings of the 13th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2016}, pages={106–113} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25073
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25074
@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25075
@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015}, publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie}, year={2015}, pages={499–512}, collection={LNCS} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25076
@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander}, year={2015}, pages={329–332} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25080
@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25082
@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25083
@inproceedings{Jatzkowski_Kleinjohann_2015, title={Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}, booktitle={Mechatronics}, publisher={Elsevier}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }
LibreCat
2015 | Journal Article | LibreCat-ID: 25107
@article{Jungmann_Mohr_2015, title={An approach towards adaptive service composition in markets of composed services}, journal={Journal of Internet Services and Applications 6(1)}, author={Jungmann, Alexander and Mohr, Felix}, year={2015}, pages={1–18} }
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
2014 | Conference Paper | LibreCat-ID: 25112
@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive Service Composition for Service-Oriented Image Processing}, booktitle={Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2014}, pages={755–758} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25114
@article{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services}, journal={International Journal on Advances in Intelligent Systems 7(3&4)}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={572–594} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25115
@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Applying Reinforcement Learning for Resolving Ambiguity in Service Composition}, booktitle={Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={105–112} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25116
@article{Becker_Kuznik_2014, title={Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation}, journal={Forum on Specification & Design Languages (FDL 2014)}, author={Becker, Markus and Kuznik, Christoph}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25119
@inproceedings{Stern_Kleinjohann_2014, title={Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces}, booktitle={Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014}, publisher={ Institute of Industrial Applications Engineers}, author={Stern, Claudius and Kleinjohann, Lisa}, year={2014}, pages={209–215} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25122
@inproceedings{Grösbrink_Almeida_2014, title={A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors}, booktitle={19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Grösbrink, Stefan and Almeida, Luis}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
@inproceedings{Becker_Kuznik_Müller_2014, title={Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software}, booktitle={17th Euromicro Conference on Digital Systems Design (DSD)}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25147
@inproceedings{Jatzkowski_Kleinjohann_2014, title={Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}, booktitle={2nd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt)}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2014} }
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 | Conference Paper | LibreCat-ID: 25150
@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}, booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, publisher={IEEE}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25152
@inproceedings{Grösbrink_2014, title={Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems}, booktitle={8th IEEE International Conference on Software Security and Reliability}, author={Grösbrink, Stefan}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25153
@inproceedings{Jungmann_Brangewitz_Petrlic_Platenius_2014, title={Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}, booktitle={Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25154
@article{Brink_Jatzkowski_2014, title={EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community}, journal={SafeTRANS News (1)}, author={Brink, Christopher and Jatzkowski, Jan}, year={2014}, pages={12–13} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25155
@inproceedings{Becker_Kuznik_Müller_2014, title={Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}, booktitle={ACM/IEEE 5th International Conference on Cyber-Physical Systems}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25156
@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security and Privacy Challenges in On-The-Fly Computing}, booktitle={Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25159
@inproceedings{Grösbrink_2014, title={Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization}, booktitle={GI Design For Future Workshop}, author={Grösbrink, Stefan}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25160
@inproceedings{Grösbrink_Almeida_de Sousa_Petters_2014, title={Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization}, booktitle={20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}, author={Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25161
@inproceedings{Koppelmann_Becker_Müller_2014, title={Portierung der TriCore-Architektur auf QEMU}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25165
@inproceedings{Grösbrink_Korrapati_Schmitz_Schreckenberg_2014, title={Hypervisor-based Consolidation for Automated Teller Machines}, booktitle={Embedded World Conference}, author={Grösbrink, Stefan and Korrapati, Sandeep and Schmitz, André and Schreckenberg, Andreas}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25167
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2014, title={Evaluation of Color Spaces for Robust Image Segmentation}, booktitle={ Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)}, publisher={ INSTICC PRESS}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2014} }
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 | Book Chapter | LibreCat-ID: 25170
@inbook{Grösbrink_Korf_Porrmann_Priesterjahn_Stahl_2014, place={Heidelberg, Germany}, title={Self-optimization by Reconfiguration}, booktitle={Design Methodology for Intelligent Technical Systems}, publisher={Springer-Verlag}, author={Grösbrink, Stefan and Korf, Sebastian and Porrmann, Mario and Priesterjahn, Claudia and Stahl, Katharina}, year={2014}, pages={19–22} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25171
@inbook{Grösbrink_2014, place={Heidelberg, Germany}, title={Virtualization}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag }, author={Grösbrink, Stefan}, year={2014}, pages={152–157} }
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: 25173
@inbook{Dellnitz_Flaßkamp_Hartmann_Krüger_Meyer_Priesterjahn_Ober-Blöbaum_Rasche_Sextro_Stahl_et al._2014, place={Heidelberg, Germany}, title={Self-optimizing Mechatronic Systems}, booktitle={Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1}, publisher={Springer-Verlag}, author={Dellnitz, Michael and Flaßkamp, Kathrin and Hartmann, Philip and Krüger, Martin and Meyer, Tobias and Priesterjahn, Claudia and Ober-Blöbaum, Sina and Rasche, Christoph and Sextro, Walter and Stahl, Katharina and et al.}, year={2014}, pages={3–12} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25175
@inbook{Grösbrink_Oberthür_Stahl_2014, place={Heidelberg, Germany}, title={System Software}, booktitle={Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development}, publisher={Springer-Verlag}, author={Grösbrink, Stefan and Oberthür, Simon and Stahl, Katharina}, year={2014}, pages={298–317} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25176
@inbook{Gausemeier_Korf_Porrmann_Stahl_Sudmann_Vaßholz_2014, place={Heidelberg, Germany}, title={Development of Self-Optimizing Systems}, booktitle={Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3}, publisher={Springer-Verlag }, author={Gausemeier, Jürgen and Korf, Sebastian and Porrmann, Mario and Stahl, Katharina and Sudmann, Oliver and Vaßholz, Mareen}, year={2014}, pages={65–117} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 25177
@inbook{Flaßkamp_Grösbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_Krüger_Ober-Blöbaum_Priesterjahn_Rasche_et al._2014, place={Heidelberg, Germany}, title={Development of the RailCab Vehicle}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag }, author={Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Ober-Blöbaum, Sina and Priesterjahn, Claudia and Rasche, Christoph and et al.}, year={2014}, pages={184–190} }
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 | Journal Article | LibreCat-ID: 25164
@article{Becker_Müller_Stroop_Kiffmeier_2014, title={HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden}, author={Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich}, year={2014} }
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: 25271
@inproceedings{He_Müller_2013, title={AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS}, booktitle={Proceedings of International Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, 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