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