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, et al. “Clinching in In Situ CT—A Novel Validation Method for Mechanical Joining Processes.” The Minerals, Metals & Materials Series, Springer International Publishing, 2022, doi:10.1007/978-3-031-06212-4_75.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” IEEE Transactions on Software Engineering, 2018, pp. 1–1, doi:10.1109/TSE.2018.2868349.
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
Bruns, Julia, et al. “Mathematics-Related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study.” Mathematics Teacher Education and Development (MTED), vol. 19, no. 3, 2017, pp. 76–93.
LibreCat
2014 | Conference Paper | LibreCat-ID: 9889
Sprock, Christian, and Walter Sextro. “Time-Efficient Dynamic Analysis of Structures Exhibiting Nonlinear Peak Bending.” Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–24, doi: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.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
LibreCat
| DOI
2009 | Report | LibreCat-ID: 2353
Woehrle, Matthias, et al. Rupeas: Ruby Powered Event Analysis DSL. 2009.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2370
Woehrle, Matthias, et al. “EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks.” IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), IEEE Computer Society, 2008, pp. 201–08, doi:10.1109/SUTC.2008.24.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2392
Woehrle, Matthias, et al. “Increasing the Reliability of Wireless Sensor Networks with a Distributed Testing Framework.” Proc. Workshop on Embedded Networked Sensors (EmNets), ACM, 2007, pp. 93–97, doi:10.1145/1278972.1278996.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2393
Beutel, Jan, et al. “Automated Wireless Sensor Network Testing.” Proc. Int. Conf. Networked Sensing Systems (INSS), IEEE, 2007, pp. 303–303, doi: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.” Proceedings of the Design Automation & Test in Europe Conference, IEEE, 2006, doi: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.” Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
LibreCat
| DOI