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.
96 Publications
- 1
- 2
- 3
- 4 (current)
- 5
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 | Journal Article | LibreCat-ID: 11892 | 
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.)
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
2009 | Conference Paper | LibreCat-ID: 5625 |
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 |
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
2009 | Conference Paper | LibreCat-ID: 17272
Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai, Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “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, 1–6. IEEE, 2009. https://doi.org/10.1109/DEVLRN.2009.5175516.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.
LibreCat
| DOI
- 1
- 2
- 3
- 4 (current)
- 5