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
@article{Prager_Trautmann_2024, title={Exploratory Landscape Analysis for Mixed-Variable Problems}, DOI={10.1109/TEVC.2024.3399560}, journal={IEEE Transactions on Evolutionary Computation}, author={Prager, Raphael Patrick and Trautmann, Heike}, year={2024}, pages={1–1} }
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 56221
@article{Rodriguez-Fernandez_Schäpermeier_Hernández_Kerschke_Trautmann_Schütze_2024, title={Finding ϵ-Locally Optimal Solutions for Multi-Objective Multimodal Optimization}, DOI={10.1109/TEVC.2024.3458855}, journal={IEEE Transactions on Evolutionary Computation}, author={Rodriguez-Fernandez, Angel E. and Schäpermeier, Lennart and Hernández, Carlos and Kerschke, Pascal and Trautmann, Heike and Schütze, Oliver}, year={2024}, pages={1–1} }
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 57300 | 
@inproceedings{Gräßler_Ebel_Pottebaum_2024, title={Model-based planning of test cases and test scenarios to support engineering of Cyber-Physical Systems}, DOI={10.1109/isse63315.2024.10741135}, booktitle={2024 IEEE International Symposium on Systems Engineering (ISSE)}, publisher={IEEE}, author={Gräßler, Iris and Ebel, Marcel and Pottebaum, Jens}, year={2024} }
LibreCat
| DOI
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 58348 |
@article{Reschke_Köhler_Kupfer_Troschitz_Gude_Brosius_2024, title={In-situ computed tomography and transient dynamic analysis – failure analysis of a single-lap tensile-shear test with clinch points}, DOI={10.1177/09544089241251646}, journal={Proceedings of the Institution of Mechanical Engineers, Part E: Journal of Process Mechanical Engineering}, publisher={SAGE Publications}, author={Reschke, Gregor and Köhler, Daniel and Kupfer, Robert and Troschitz, Juliane and Gude, Maik and Brosius, Alexander}, year={2024} }
LibreCat
| DOI
| Download (ext.)
2022 | Book Chapter | LibreCat-ID: 34212
@inbook{Köhler_Kupfer_Troschitz_Gude_2022, place={Cham}, title={Clinching in In Situ CT—A Novel Validation Method for Mechanical Joining Processes}, DOI={10.1007/978-3-031-06212-4_75}, booktitle={The Minerals, Metals & Materials Series}, publisher={Springer International Publishing}, author={Köhler, Daniel and Kupfer, Robert and Troschitz, Juliane and Gude, Maik}, year={2022} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 20543
@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging Static Analysis}, DOI={10.1109/TSE.2018.2868349}, journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 36481
@article{Bruns_Eichen_Gasteiger_2017, title={Mathematics-related Competence of Early Childhood Teachers Visiting a Continuous Professional Development Course: An Intervention Study}, volume={19}, number={3}, journal={Mathematics Teacher Education and Development (MTED)}, author={Bruns, Julia and Eichen, Lars and Gasteiger, Hedwig}, year={2017}, pages={76–93} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 9889
@inproceedings{Sprock_Sextro_2014, title={Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending}, DOI={10.1109/I2MTC.2014.6860760}, booktitle={Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International}, author={Sprock, Christian and Sextro, Walter}, year={2014}, pages={320–324} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37002
@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, DOI={10.1109/DSD.2011.83}, booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2009 | Report | LibreCat-ID: 2353
@book{Woehrle_Plessl_Thiele_2009, place={Computer Engineering and Networks Lab, ETH Zurich}, title={Rupeas: Ruby Powered Event Analysis DSL}, author={Woehrle, Matthias and Plessl, Christian and Thiele, Lothar}, year={2009} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 2370
@inproceedings{Woehrle_Plessl_Lim_Beutel_Thiele_2008, place={Los Alamitos, CA, USA}, title={EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks}, DOI={10.1109/SUTC.2008.24}, booktitle={IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC)}, publisher={IEEE Computer Society}, author={Woehrle, Matthias and Plessl, Christian and Lim, Roman and Beutel, Jan and Thiele, Lothar}, year={2008}, pages={201–208} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2392
@inproceedings{Woehrle_Plessl_Beutel_Thiele_2007, place={New York, NY, USA}, title={Increasing the Reliability of Wireless Sensor Networks with a Distributed Testing Framework}, DOI={10.1145/1278972.1278996}, booktitle={Proc. Workshop on Embedded Networked Sensors (EmNets)}, publisher={ACM}, author={Woehrle, Matthias and Plessl, Christian and Beutel, Jan and Thiele, Lothar}, year={2007}, pages={93–97} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 2393
@inproceedings{Beutel_Dyer_Lim_Plessl_Woehrle_Yuecel_Thiele_2007, place={Piscataway, NJ, USA}, title={Automated Wireless Sensor Network Testing}, DOI={10.1109/INSS.2007.4297445}, booktitle={Proc. Int. Conf. Networked Sensing Systems (INSS)}, publisher={IEEE}, author={Beutel, Jan and Dyer, Matthias and Lim, Roman and Plessl, Christian and Woehrle, Matthias and Yuecel, Mustafa and Thiele, Lothar}, year={2007}, pages={303–303} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification Trees for Functional Coverage and Random Test Generation}, DOI={10.1109/DATE.2006.243902}, booktitle={Proceedings of the Design Automation & Test in Europe Conference}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={10.1109/ISoLA.2006.37}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI