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, D., Kupfer, R., Troschitz, J., & Gude, M. (2022). Clinching in In Situ CT—A Novel Validation Method for Mechanical Joining Processes. In The Minerals, Metals & Materials Series. Springer International Publishing. https://doi.org/10.1007/978-3-031-06212-4_75
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018). Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2018.2868349
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
Bruns, J., Eichen, L., & Gasteiger, H. (2017). Mathematics-related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study. Mathematics Teacher Education and Development (MTED), 19(3), 76–93.
LibreCat
2014 | Conference Paper | LibreCat-ID: 9889
Sprock, C., & Sextro, W. (2014). Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending. In Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International (pp. 320–324). https://doi.org/10.1109/I2MTC.2014.6860760
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat
| DOI
2009 | Report | LibreCat-ID: 2353
Woehrle, M., Plessl, C., & Thiele, L. (2009). Rupeas: Ruby Powered Event Analysis DSL. Computer Engineering and Networks Lab, ETH Zurich.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2370
Woehrle, M., Plessl, C., Lim, R., Beutel, J., & Thiele, L. (2008). EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks. IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 201–208. https://doi.org/10.1109/SUTC.2008.24
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2392
Woehrle, M., Plessl, C., Beutel, J., & Thiele, L. (2007). Increasing the Reliability of Wireless Sensor Networks with a Distributed Testing Framework. Proc. Workshop on Embedded Networked Sensors (EmNets), 93–97. https://doi.org/10.1145/1278972.1278996
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2393
Beutel, J., Dyer, M., Lim, R., Plessl, C., Woehrle, M., Yuecel, M., & Thiele, L. (2007). Automated Wireless Sensor Network Testing. Proc. Int. Conf. Networked Sensing Systems (INSS), 303–303. https://doi.org/10.1109/INSS.2007.4297445
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, A., & Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. Proceedings of the Design Automation & Test in Europe Conference. https://doi.org/10.1109/DATE.2006.243902
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
LibreCat
| DOI