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
R. P. Prager and H. Trautmann, “Exploratory Landscape Analysis for Mixed-Variable Problems,” IEEE Transactions on Evolutionary Computation, pp. 1–1, 2024, doi: 10.1109/TEVC.2024.3399560.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 56221
A. E. Rodriguez-Fernandez, L. Schäpermeier, C. Hernández, P. Kerschke, H. Trautmann, and O. Schütze, “Finding ϵ-Locally Optimal Solutions for Multi-Objective Multimodal Optimization,” IEEE Transactions on Evolutionary Computation, pp. 1–1, 2024, doi: 10.1109/TEVC.2024.3458855.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 57300 | 
I. Gräßler, M. Ebel, and J. Pottebaum, “Model-based planning of test cases and test scenarios to support engineering of Cyber-Physical Systems,” presented at the IEEE International Symposium on Systems Engineering 2024, Perugia, 2024, doi: 10.1109/isse63315.2024.10741135.
LibreCat
| DOI
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 58348 |
G. Reschke, D. Köhler, R. Kupfer, J. Troschitz, M. Gude, and A. Brosius, “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, 2024, doi: 10.1177/09544089241251646.
LibreCat
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20543
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging Static Analysis,” IEEE Transactions on Software Engineering, pp. 1–1, 2018, doi: 10.1109/TSE.2018.2868349.
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
J. Bruns, L. Eichen, and H. Gasteiger, “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, pp. 76–93, 2017.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37002
T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011, doi: 10.1109/DSD.2011.83.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.
LibreCat
| DOI
2009 | Report | LibreCat-ID: 2353
M. Woehrle, C. Plessl, and L. Thiele, Rupeas: Ruby Powered Event Analysis DSL. Computer Engineering and Networks Lab, ETH Zurich, 2009.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2370
M. Woehrle, C. Plessl, R. Lim, J. Beutel, and L. Thiele, “EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks,” in IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC), 2008, pp. 201–208, doi: 10.1109/SUTC.2008.24.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2392
M. Woehrle, C. Plessl, J. Beutel, and L. Thiele, “Increasing the Reliability of Wireless Sensor Networks with a Distributed Testing Framework,” in Proc. Workshop on Embedded Networked Sensors (EmNets), 2007, pp. 93–97, doi: 10.1145/1278972.1278996.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2393
J. Beutel et al., “Automated Wireless Sensor Network Testing,” in Proc. Int. Conf. Networked Sensing Systems (INSS), 2007, pp. 303–303, doi: 10.1109/INSS.2007.4297445.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
A. Krupp and W. Müller, “Classification Trees for Functional Coverage and Random Test Generation,” 2006, doi: 10.1109/DATE.2006.243902.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.
LibreCat
| DOI