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.
4 Publications
2022 | Conference Paper | LibreCat-ID: 34532
@inproceedings{Abate_Blom_Delicaris_Haesaert_Hartmanns_van Huijgevoort_Lavaei_Ma_Niehage_Remke_et al._2022, title={ARCH-COMP22 Category Report: Stochastic Models}, DOI={10.29007/lsvc}, booktitle={EPiC Series in Computing}, publisher={EasyChair}, author={Abate, Alessandro and Blom, Henk and Delicaris, Joanna and Haesaert, Sofie and Hartmanns, Arnd and van Huijgevoort, Birgit and Lavaei, Abolfazl and Ma, Hao and Niehage, Mathis and Remke, Anne and et al.}, year={2022} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 26973
@inproceedings{Meyer_Kessler_Sextro_Trächtler_2013, title={Increasing Intelligent Systems’ Reliability by using Reconfiguration}, booktitle={The Annual Reliability and Maintainability Symposium (RAMS)}, author={Meyer, Tobias and Kessler, Jan Henning and Sextro, Walter and Trächtler, Ansgar}, year={2013} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26981
@inproceedings{Sondermann-Wölke_Sextro_Reinold_Trächtler_2011, title={Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs}, booktitle={Technische Zuverlässigkeit TTZ}, author={Sondermann-Wölke, Christoph and Sextro, Walter and Reinold, Peter and Trächtler, Ansgar}, year={2011} }
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
@book{Krol_2011, title={Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)}, volume={Band 293}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293}, author={Krol, Rafal}, year={2011} }
LibreCat