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