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.

1369 Publications


2014 | Conference Paper | LibreCat-ID: 25145
Becker M, Kuznik C, Müller W. Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. In: 17th Euromicro Conference on Digital Systems Design (DSD). ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25146
Joy M tech. MM, Müller W, Rammig F-J. Source code annotated memory leak detection for soft real time embedded systems with resource constraints. In: 12th IEEE International Conference on Embedded Computing. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25147
Jatzkowski J, Kleinjohann B. Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. In: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt). ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25148
Sudhakar K, Zhao Y, Rammig F-J. 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). IEEE Xplore; 2014:374-383.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25149
Rammig F-J, Stahl K. 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. ; 2014:334-341.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25150
Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In: Proceedings of the 10th World Congress on Services (SERVICES). IEEE; 2014:346-353.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25151
Kuznik C, Defo BG, Müller W. An Assisted Single Source Verification Metric Model Code Generation Methodology. Electronic System Level Synthesis Conference (ESLSyn). Published online 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25152
Grösbrink S. Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. In: 8th IEEE International Conference on Software Security and Reliability. ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25153
Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25154
Brink C, Jatzkowski J. EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. SafeTRANS News (1). Published online 2014:12-13.
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed