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.
11 Publications
2022 | Book Chapter | LibreCat-ID: 34212
Köhler, Daniel, Robert Kupfer, Juliane Troschitz, and Maik Gude. “Clinching in In Situ CT—A Novel Validation Method for Mechanical Joining Processes.” In The Minerals, Metals & Materials Series. Cham: Springer International Publishing, 2022. https://doi.org/10.1007/978-3-031-06212-4_75.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric Bodden. “Debugging Static Analysis.” IEEE Transactions on Software Engineering, 2018, 1–1. https://doi.org/10.1109/TSE.2018.2868349.
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
Bruns, Julia, Lars Eichen, and Hedwig Gasteiger. “Mathematics-Related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study.” Mathematics Teacher Education and Development (MTED) 19, no. 3 (2017): 76–93.
LibreCat
2014 | Conference Paper | LibreCat-ID: 9889
Sprock, Christian, and Walter Sextro. “Time-Efficient Dynamic Analysis of Structures Exhibiting Nonlinear Peak Bending.” In Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 320–24, 2014. https://doi.org/10.1109/I2MTC.2014.6860760.
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
2009 | Report | LibreCat-ID: 2353
Woehrle, Matthias, Christian Plessl, and Lothar Thiele. Rupeas: Ruby Powered Event Analysis DSL. Computer Engineering and Networks Lab, ETH Zurich, 2009.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2370
Woehrle, Matthias, Christian Plessl, Roman Lim, Jan Beutel, and Lothar Thiele. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.” In IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 201–8. Los Alamitos, CA, USA: IEEE Computer Society, 2008. https://doi.org/10.1109/SUTC.2008.24.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2392
Woehrle, Matthias, Christian Plessl, Jan Beutel, and Lothar Thiele. “Increasing the Reliability of Wireless Sensor Networks with a Distributed Testing Framework.” In Proc. Workshop on Embedded Networked Sensors (EmNets), 93–97. New York, NY, USA: ACM, 2007. https://doi.org/10.1145/1278972.1278996.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2393
Beutel, Jan, Matthias Dyer, Roman Lim, Christian Plessl, Matthias Woehrle, Mustafa Yuecel, and Lothar Thiele. “Automated Wireless Sensor Network Testing.” In Proc. Int. Conf. Networked Sensing Systems (INSS), 303–303. Piscataway, NJ, USA: IEEE, 2007. https://doi.org/10.1109/INSS.2007.4297445.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In Proceedings of the Design Automation & Test in Europe Conference. Munich, Germany: IEEE, 2006. https://doi.org/10.1109/DATE.2006.243902.
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