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.

97 Publications


2015 | Journal Article | LibreCat-ID: 41866
J. A. Russer, N. Uddin, A. S. Awny, A. Thiede, and P. Russer, “Near-field measurement of stochastic electromagnetic fields,” IEEE Electromagnetic Compatibility Magazine, vol. 4, no. 3, pp. 79–85, 2015, doi: 10.1109/memc.2015.7336761.
LibreCat | DOI
 

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

2014 | Conference Paper | LibreCat-ID: 36918
M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: 10.1109/ICCPS.2014.6843726.
LibreCat | DOI
 

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

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

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

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

2010 | Journal Article | LibreCat-ID: 11892 | OA
J. Schmalenstroeer and R. Haeb-Umbach, “Online Diarization of Streaming Audio-Visual Data for Smart Environments,” IEEE Journal of Selected Topics in Signal Processing, vol. 4, no. 5, pp. 845–856, 2010, doi: 10.1109/JSTSP.2010.2050519.
LibreCat | DOI | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 37007
F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456990.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37011
K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457125.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37053
W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
LibreCat
 

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

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

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

2009 | Conference Paper | LibreCat-ID: 37067
T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090664.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37066
H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090925.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 17272
A.-L. Vollmer et al., “People modify their tutoring behavior in robot-directed interaction for action learning,” in Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 2009, pp. 1–6, doi: 10.1109/DEVLRN.2009.5175516.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 38107
J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.
LibreCat | DOI
 

Filters and Search Terms

keyword="software-tools"

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed