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.

327 Publications


2016 | Conference Paper | LibreCat-ID: 25070
Automatic Composition of Service-based Image Processing Applications
A. Jungmann, B. Kleinjohann, in: Proceedings of the 13th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2016, pp. 106–113.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25073
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25074
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25075
Evaluation of Autonomous Approaches using Virtual Environments
K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25076
On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25080
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25082
Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25083
Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25107
An approach towards adaptive service composition in markets of composed services
A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1) (2015) 1–18.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25108
Online behavior classification for anomaly detection in self-x real-time systems
F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25109
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25110
A hybrid methodology to detect memory leaks in soft real time embedded systems software
M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25111
Analysis of long-term swarm performance based on short-term experiments
Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing (2015).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25112
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp. 755–758.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25114
Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal on Advances in Intelligent Systems 7(3&4) (2014) 572–594.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25115
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer Society, 2014, pp. 105–112.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25116
Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation
M. Becker, C. Kuznik, Forum on Specification & Design Languages (FDL 2014) (2014).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25119
Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces
C. Stern, L. Kleinjohann, in: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, Institute of Industrial Applications Engineers, 2014, pp. 209–215.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25122
A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors
S. Grösbrink, L. Almeida, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014.
LibreCat
 

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: 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 | 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
 

2014 | Conference Paper | LibreCat-ID: 25155
Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems
M. Becker, C. Kuznik, W. Müller, in: ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25159 LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25160
Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization
S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25161
Portierung der TriCore-Architektur auf QEMU
B. Koppelmann, M. Becker, W. Müller, in: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25165
Hypervisor-based Consolidation for Automated Teller Machines
S. Grösbrink, S. Korrapati, A. Schmitz, A. Schreckenberg, in: Embedded World Conference, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
Evaluation of Color Spaces for Robust Image Segmentation
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2014.
LibreCat
 

2014 | Book | LibreCat-ID: 25168
Dependability of Self-Optimizing Mechatronic Systems
J. Gausemeier, F.-J. Rammig, W. Schäfer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25170
Self-optimization by Reconfiguration
S. Grösbrink, S. Korf, M. Porrmann, C. Priesterjahn, K. Stahl, in: Design Methodology for Intelligent Technical Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 19–22.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25171
Virtualization
S. Grösbrink, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 152–157.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25172
Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation
F.-J. Rammig, S. Grösbrink, K. Stahl, Y. Zhao, in: Brazilian Symposium on Computing Systems Engineering (SBESC), SBC, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25173
Self-optimizing Mechatronic Systems
M. Dellnitz, K. Flaßkamp, P. Hartmann, M. Krüger, T. Meyer, C. Priesterjahn, S. Ober-Blöbaum, C. Rasche, W. Sextro, K. Stahl, A. Trächtler, in: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, Springer-Verlag, Heidelberg, Germany, 2014, pp. 3–12.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
System Software
S. Grösbrink, S. Oberthür, K. Stahl, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, Springer-Verlag, Heidelberg, Germany, 2014, pp. 298–317.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25176
Development of Self-Optimizing Systems
J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, M. Vaßholz, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, Springer-Verlag , Heidelberg, Germany, 2014, pp. 65–117.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25177
Development of the RailCab Vehicle
K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, B. Kleinjohann, L. Kleinjohann, M. Krüger, S. Ober-Blöbaum, C. Priesterjahn, C. Rasche, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, S. Ziegert, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 184–190.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25179
Online Model Checking
F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 147–152.
LibreCat
 

2014 | Book | LibreCat-ID: 25180
Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future
J. Gausemeier, F.-J. Rammig, W. Schäfer, Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25164
HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC
M. Becker, W. Müller, J. Stroop, U. Kiffmeier, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25269
Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences
Y. Khaluf, M. Birattari, F.-J. Rammig, in: Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Springer, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25270
Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society, Linköping University Electronic Press, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25271
AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS
D. He, W. Müller, in: Proceedings of International Conference on Applied Computing (AC), 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25273
Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems
M.A. Wehrmeister, C.E. Pereira, F.-J. Rammig, in: IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2013, pp. 2373–2386.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25274
Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms
Y. Khaluf, F.-J. Rammig, in: ECAL 2013, 12th European Conference on Artificial Life, 2013.
LibreCat
 

Filters and Search Terms

department=672

Search

Filter Publications

Display / Sort

Export / Embed