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
Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” In 25th International Conference on Field Programmable Logic and Applications (FPL). Imperial College, 2015. https://doi.org/10.1109/FPL.2015.7293994.
LibreCat | DOI
 

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

2015 | Journal Article | LibreCat-ID: 41866
Russer, Johannes A., Nasir Uddin, Ahmed Sanaa Awny, Andreas Thiede, and Peter Russer. “Near-Field Measurement of Stochastic Electromagnetic Fields.” IEEE Electromagnetic Compatibility Magazine 4, no. 3 (2015): 79–85. https://doi.org/10.1109/memc.2015.7336761.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 10674
Ho, Nam, Paul Kaufmann, and Marco Platzner. “A Hardware/Software Infrastructure for Performance Monitoring on LEON3 Multicore Platforms.” In 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 1–4, 2014. https://doi.org/10.1109/FPL.2014.6927437.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 36918
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. https://doi.org/10.1109/ICCPS.2014.6843726.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, Bijan, Payman Behnam, and Somayeh 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, 2014, 1–1. https://doi.org/10.1109/tc.2014.2329687.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 22737
Becker, Matthias, Markus Luckey, and Steffen 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)}, 117–22. New York, NY, USA: ACM, 2012. https://doi.org/10.1145/2304696.2304716.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 4706
Janiesch, Christian, Martin Matzner, and Oliver Müller. “Beyond Process Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.” Business Process Management Journal, no. 4 (2012): 625--643. https://doi.org/10.1108/14637151211253765.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 1120
Schuster, Jörg, Yeong Su Lee, Despina Kobothanassi, Matthias Bargel, and Michaela Geierhos. “SCM - A Simple, Modular and Flexible Customer Interaction Management System.” In International Conference on Information Society (i-Society 2011), 153–58. Piscataway, NJ, USA: IEEE, 2011.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457130.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLDVT2010. IEEE, 2010.
LibreCat
 

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

2009 | Conference Paper | LibreCat-ID: 5625 | OA
Schryen, Guido, and Rouven 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
Schryen, Guido. “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
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent Software - Introduction and Overview.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 1–14. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_1.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice, France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
LibreCat | DOI
 

Filters and Search Terms

keyword="Software"

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed