@articleSudhakar_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: /record/25109

@articleJoy_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: /record/25110

@articleKhaluf_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: /record/25111

@inproceedingsJungmann_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: /record/25112

@articleJungmann_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: /record/25114

@inproceedingsJungmann_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: /record/25115

@articleBecker_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: /record/25116

@inproceedingsStern_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: /record/25119

@inproceedingsGrö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: /record/25122

@inproceedingsBecker_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: /record/25145

@inproceedingsJatzkowski_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: /record/25147

@inproceedingsSudhakar_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: /record/25148

@inproceedingsRammig_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: /record/25149

@inproceedingsJungmann_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: /record/25150

@inproceedingsGrö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: /record/25152

@inproceedingsJungmann_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: /record/25153

@articleBrink_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: /record/25154

@inproceedingsBecker_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: /record/25155

@inproceedingsPetrlic_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: /record/25156

@inproceedingsGrö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: /record/25159