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
Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software
M. Becker, C. Kuznik, W. Müller, in: 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
LibreCat
 

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

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

2014 | Conference Paper | LibreCat-ID: 25148
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25149
Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems
F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.
LibreCat
 

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

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

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

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

2014 | Journal Article | LibreCat-ID: 25154 LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed