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.

10103 Publications


2013 | Conference Paper | LibreCat-ID: 25292
F.-J. Rammig, K. Stahl, and G. F. Vaz, “A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems,” 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25296
C. Rasche and S. Ziegert, “Multilevel Planning for Self-Optimizing Mechatronic Systems,” in Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, 2013, p. 6.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25298
K. Stahl, “AIS-based Anomaly Detection for Self-X Systems,” in Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), 2013, pp. 24–26.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 25299
S. Grösbrink and F.-J. Rammig, “Safe Self-Evolving Embedded Software via System Virtualization,” 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25548
S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the 8. - 11. Apr. 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25557
M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25573
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25574
C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches Planen in einem realen Roboterszenario,” in Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 2013, vol. 310, pp. 133–146.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25575
S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25606
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25612
F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25614
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC Library for OVM-based Verification,” 2013.
LibreCat
 

2013 | Newspaper Article | LibreCat-ID: 25615
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “ Informationstechnik spart Ressourcen,” ForschungsForum Paderborn , 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 25616
S. Grösbrink, “Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues,” Production Engineering Research & Development 7(1), pp. 69–79, 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 25618
A. Jungmann, B. Kleinjohann, and L. Kleinjohann, “Learning Service Recommendations,” International Journal of Business Process Integration and Management 6(4), pp. 284–297, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25620
C. Kuznik, M. F. Oliveira, B. Defo, and W. Müller, “Systematic Application of UCIS to Improve the Automation on Verification Closure,” 2013.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 25625
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights,” in Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, vol. 480, G. Sen Gupta, D. Bailey, S. Demidenko, and D. Carnegie, Eds. Berlin Heidelberg: Springer , 2013, pp. 103–113.
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 25632
K. Klobedanz, J. Jatzkowski, A. Rettberg, and W. Müller, “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks,” 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 19981
B. Mertsching, M. Divband Soorati, and T. Kotthauser, “Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds,” IEEE International Conference on Robotics and Biomimetics (ROBIO), pp. 661–667, 2013.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 20148
H. Hamann, I. Karsai, and T. Schmickl, “Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning,” Bulletin of Mathematical Biology, vol. 75, no. 7, pp. 1181–1206, 2013.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed