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.
16 Publications
2024 | Journal Article | LibreCat-ID: 54548
Prager, R. P., & Trautmann, H. (2024). Exploratory Landscape Analysis for Mixed-Variable Problems. IEEE Transactions on Evolutionary Computation, 1–1. https://doi.org/10.1109/TEVC.2024.3399560
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 56221
Rodriguez-Fernandez, A. E., Schäpermeier, L., Hernández, C., Kerschke, P., Trautmann, H., & Schütze, O. (2024). Finding ϵ-Locally Optimal Solutions for Multi-Objective Multimodal Optimization. IEEE Transactions on Evolutionary Computation, 1–1. https://doi.org/10.1109/TEVC.2024.3458855
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 57300 | 
Gräßler, I., Ebel, M., & Pottebaum, J. (2024). Model-based planning of test cases and test scenarios to support engineering of Cyber-Physical Systems. 2024 IEEE International Symposium on Systems Engineering (ISSE). IEEE International Symposium on Systems Engineering 2024, Perugia. https://doi.org/10.1109/isse63315.2024.10741135
LibreCat
| DOI
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 58348 |
Reschke, G., Köhler, D., Kupfer, R., Troschitz, J., Gude, M., & Brosius, A. (2024). In-situ computed tomography and transient dynamic analysis – failure analysis of a single-lap tensile-shear test with clinch points. Proceedings of the Institution of Mechanical Engineers, Part E: Journal of Process Mechanical Engineering. https://doi.org/10.1177/09544089241251646
LibreCat
| DOI
| Download (ext.)
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
2011 | Conference Paper | LibreCat-ID: 37002
Xie, T., Müller, W., & Letombe, F. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of Euromicro DSD 2011. https://doi.org/10.1109/DSD.2011.83
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