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.
9691 Publications
2013 | Conference Paper | LibreCat-ID: 25548
Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope
S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013), 2013.
LibreCat
S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013), 2013.
2013 | Conference Paper | LibreCat-ID: 25557
Accelerating Online Model Checking
M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
LibreCat
M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
2013 | Conference Paper | LibreCat-ID: 25573
Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311, 2013.
LibreCat
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311, 2013.
2013 | Conference Paper | LibreCat-ID: 25574
Statistisches Planen in einem realen Roboterszenario
C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, B. Kleinjohann, in: Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 133–146.
LibreCat
C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, B. Kleinjohann, in: Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 133–146.
2013 | Conference Paper | LibreCat-ID: 25575
Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems
S. Grösbrink, D. Baldin, S. Oberthür, in: ACM SIGBED Review, Band 10, ACM, 2013.
LibreCat
S. Grösbrink, D. Baldin, S. Oberthür, in: ACM SIGBED Review, Band 10, ACM, 2013.
2013 | Conference Paper | LibreCat-ID: 25606
SystemC Verification Components - An enhanced OVM/UVM for SystemC
C. Kuznik, M. F. S. Oliveira, W. Müller, in: EdaWorkshop 13, 2013.
LibreCat
C. Kuznik, M. F. S. Oliveira, W. Müller, in: EdaWorkshop 13, 2013.
2013 | Conference Paper | LibreCat-ID: 25612
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen
F. Mischkalla, W. Müller, in: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
LibreCat
F. Mischkalla, W. Müller, in: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.
2013 | Conference Paper | LibreCat-ID: 25614
SC OVM: An Advanced SystemC Library for OVM-based Verification
C. Kuznik, M. F. S. Oliveira, W. Müller, in: Open SANITAS SystemC Verification Workshop, 2013.
LibreCat
C. Kuznik, M. F. S. Oliveira, W. Müller, in: Open SANITAS SystemC Verification Workshop, 2013.
2013 | Newspaper Article | LibreCat-ID: 25615
Informationstechnik spart Ressourcen
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, W. Müller, ForschungsForum Paderborn (2013).
LibreCat
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, W. Müller, ForschungsForum Paderborn (2013).
2013 | Journal Article | LibreCat-ID: 25616
Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues
S. Grösbrink, Production Engineering Research & Development 7(1) (2013) 69–79.
LibreCat
S. Grösbrink, Production Engineering Research & Development 7(1) (2013) 69–79.
2013 | Journal Article | LibreCat-ID: 25618
Learning Service Recommendations
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
LibreCat
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
2013 | Conference Paper | LibreCat-ID: 25620
Systematic Application of UCIS to Improve the Automation on Verification Closure
C. Kuznik, M.F. Oliveira, B. Defo, W. Müller, in: Proceedings of DVCON, 2013.
LibreCat
C. Kuznik, M.F. Oliveira, B. Defo, W. Müller, in: Proceedings of DVCON, 2013.
2013 | Book Chapter | LibreCat-ID: 25625
A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: G. Sen Gupta, D. Bailey, S. Demidenko, D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, Springer , Berlin Heidelberg, 2013, pp. 103–113.
LibreCat
| Download (ext.)
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: G. Sen Gupta, D. Bailey, S. Demidenko, D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, Springer , Berlin Heidelberg, 2013, pp. 103–113.
2013 | Conference Paper | LibreCat-ID: 25632
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks
K. Klobedanz, J. Jatzkowski, A. Rettberg, W. Müller, in: International Embedded Systems Symposium (IESS) 2013, Springer, 2013.
LibreCat
K. Klobedanz, J. Jatzkowski, A. Rettberg, W. Müller, in: International Embedded Systems Symposium (IESS) 2013, Springer, 2013.
2013 | Journal Article | LibreCat-ID: 19981
Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds
B. Mertsching, M. Divband Soorati, T. Kotthauser, IEEE International Conference on Robotics and Biomimetics (ROBIO) (2013) 661–667.
LibreCat
B. Mertsching, M. Divband Soorati, T. Kotthauser, IEEE International Conference on Robotics and Biomimetics (ROBIO) (2013) 661–667.
2013 | Journal Article | LibreCat-ID: 20148
Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning
H. Hamann, I. Karsai, T. Schmickl, Bulletin of Mathematical Biology 75 (2013) 1181–1206.
LibreCat
| DOI
H. Hamann, I. Karsai, T. Schmickl, Bulletin of Mathematical Biology 75 (2013) 1181–1206.
2013 | Journal Article | LibreCat-ID: 20150
Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, R. Thenius, P. Zahadat, Chaos, Solitons & Fractals 50 (2013) 100–114.
LibreCat
| DOI
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, R. Thenius, P. Zahadat, Chaos, Solitons & Fractals 50 (2013) 100–114.
2013 | Conference Paper | LibreCat-ID: 20151
Virtual Spatiality in Agent Controllers: Encoding Compartmentalization
H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N.K. Michiels, A.I. Esparcia-Alcazar, in: Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), 2013, pp. 579–588.
LibreCat
| DOI
H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N.K. Michiels, A.I. Esparcia-Alcazar, in: Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), 2013, pp. 579–588.
2013 | Conference Paper | LibreCat-ID: 20160
A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems
H. Hamann, in: 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013), IEEE Press, 2013, pp. 227–236.
LibreCat
| DOI
H. Hamann, in: 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013), IEEE Press, 2013, pp. 227–236.
2013 | Conference Paper | LibreCat-ID: 20161
Speciation Dynamics: Generating Selective Pressure Towards Diversity
H. Hamann, P. Lio, O. Miglino, G. Nicosia, S. Nolfi, M. Pavone, in: 12th European Conference on Artificial Life (ECAL 2013), MIT Press, 2013.
LibreCat
H. Hamann, P. Lio, O. Miglino, G. Nicosia, S. Nolfi, M. Pavone, in: 12th European Conference on Artificial Life (ECAL 2013), MIT Press, 2013.