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.

89 Publications


2015 | Conference Paper | LibreCat-ID: 10779
Over effective hard real-time hardware tasks scheduling and allocation
Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015.
LibreCat | DOI
 

2015 | Mastersthesis | LibreCat-ID: 33312
Early Prediction of Security Properties for Mechatronic Systems
B. Schwichtenberg, Early Prediction of Security Properties for Mechatronic Systems, 2015.
LibreCat | Files available
 

2015 | Journal Article | LibreCat-ID: 41866
Near-field measurement of stochastic electromagnetic fields
J.A. Russer, N. Uddin, A.S. Awny, A. Thiede, P. Russer, IEEE Electromagnetic Compatibility Magazine 4 (2015) 79–85.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 10674
A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms
N. Ho, P. Kaufmann, M. Platzner, in: 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 36918
Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266
A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs
B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers (2014) 1–1.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 22737
Model-driven Performance Engineering of Self-adaptive Systems: A Survey
M. Becker, M. Luckey, S. Becker, in: {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, ACM, New York, NY, USA, 2012, pp. 117–122.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 4706
Beyond process monitoring: A proof-of-concept of event-driven business activity management
C. Janiesch, M. Matzner, O. Müller, Business Process Management Journal (2012) 625--643.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 1120
SCM - A Simple, Modular and Flexible Customer Interaction Management System
J. Schuster, Y.S. Lee, D. Kobothanassi, M. Bargel, M. Geierhos, in: International Conference on Information Society (i-Society 2011), IEEE, Piscataway, NJ, USA, 2011, pp. 153–158.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37007
Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems
F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37011
Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
A Systematic Approach to Combined HW/SW System Test
A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37053
Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 11892 | OA
Online Diarization of Streaming Audio-Visual Data for Smart Environments
J. Schmalenstroeer, R. Haeb-Umbach, IEEE Journal of Selected Topics in Signal Processing 4 (2010) 845–856.
LibreCat | DOI | Download (ext.)
 

2009 | Conference Paper | LibreCat-ID: 5625 | OA
Open Source vs. Closed Source Software: Towards Measuring Security
G. Schryen, R. Kadura, in: 24th Annual ACM Symposium on Applied Computing, 2009.
LibreCat | Files available
 

2009 | Conference Paper | LibreCat-ID: 5647 | OA
Security of open source and closed source software: An empirical comparison of published vulnerabilities
G. Schryen, in: 15th Americas Conference on Information Systems, 2009.
LibreCat | Files available
 

2009 | Book Chapter | LibreCat-ID: 33814
Hardware-dependent Software - Introduction and Overview
W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 1–14.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37067
A UML Frontend for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37066
Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat | DOI
 

Filters and Search Terms

keyword="Software"

Search

Filter Publications

Display / Sort

Export / Embed