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.
183 Publications
2018 | Journal Article | LibreCat-ID: 22995
@article{Pai_Riepold_Trächtler_2018, title={Model-based precision position and force control of SMA actuators with a clamping application}, volume={50}, journal={Mechatronics}, author={Pai, Arathi and Riepold, Markus and Trächtler, Ansgar}, year={2018}, pages={303–320} }
LibreCat
2018 | Journal Article | LibreCat-ID: 22998
@article{Holtkötter_Michael_Henke_Trächtler_Bockholt_Möhlenkamp_Katter_2018, title={Rapid-Control-Prototyping as part of Model-Based Development of Heat Pump Dryers}, volume={24}, journal={Procedia Manufacturing}, author={Holtkötter, Jens and Michael, Jan and Henke, Christian and Trächtler, Ansgar and Bockholt, Marcos and Möhlenkamp, Andreas and Katter, Michael}, year={2018}, pages={235–242} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 20791
@inproceedings{Schmitz_Fockel_2017, title={Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien}, booktitle={ Tag des Systems Engineering 2017}, publisher={Gesellschaft f{\"u}r Systems Engineering e.V.}, author={Schmitz, Joachim and Fockel, Markus}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 20792
@inproceedings{Schivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017, place={Changsha}, series={Lecture Notes in Computer Science}, title={How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach}, DOI={10.1007/978-3-319-69483-2_19}, number={10606}, booktitle={Dependable Software Engineering, 3rd International Symposium (SETTA 2017)}, publisher={Springer}, author={Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle}, editor={Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji}, year={2017}, pages={319–336}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2017 | Report | LibreCat-ID: 20793
@book{Fockel_Holtmann_Koch_Schmelter_2017, place={Paderborn, Germany}, title={Model-based Requirement Pattern Catalog}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2017} }
LibreCat
2017 | Dissertation | LibreCat-ID: 20794
@book{Dziwok_2017, title={Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems}, publisher={Paderborn University}, author={Dziwok, Stefan}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 20795
@inproceedings{Schmelter_Greenyer_Holtmann_2017, place={Lisbon, Portugal}, title={Toward Learning Realizable Scenario-based, Formal Requirements Specifications}, DOI={10.1109/REW.2017.14}, booktitle={4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)}, publisher={IEEE}, author={Schmelter, David and Greenyer, Joel and Holtmann, Jörg}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20796
@inproceedings{Wohlers_Dziwok_Bremer_Schmelter_Lorenz_2017, title={Improving the Product Control of Mechatronic Systems Using Key Performance Indicators}, booktitle={Proceedings of the 24th International Conference on Production Research (ICPR)}, publisher={DEStech Publications, Inc.}, author={Wohlers, Benedict and Dziwok, Stefan and Bremer, Christian and Schmelter, David and Lorenz, Wadim}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 20797
@inproceedings{Gerking_Schubert_Budde_2017, place={Marburg}, series={Lecture Notes in Computer Science}, title={Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities}, number={10374}, booktitle={Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)}, publisher={Springer}, author={Gerking, Christopher and Schubert, David and Budde, Ingo}, editor={Guerra, Esther and van den Brand, Mark}, year={2017}, pages={19–34}, collection={Lecture Notes in Computer Science} }
LibreCat
| Download (ext.)
2017 | Preprint | LibreCat-ID: 20798
@article{Ghassemi_Meyer_Pohlmann_Priesterjahn_2017, title={Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme}, author={Ghassemi, Faezeh and Meyer, Matthias and Pohlmann, Uwe and Priesterjahn, Claudia}, year={2017} }
LibreCat
2017 | Report | LibreCat-ID: 20799
@book{Hüwe_Pohlmann_2017, place={Zukunftsmeile 1, 33102 Paderborn, Germany}, title={Formal Definition and Proofs for the MechatronicUML Allocation Specification Language}, author={Hüwe, Marcus and Pohlmann, Uwe}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 20801
@inproceedings{Koch_Holtmann_Lindemann_2017, title={Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities}, DOI={10.5220/0006137400530064}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}, author={Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 20802
@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2017, series={Lecture Notes in Informatics (LNI)}, title={Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)}, volume={P-267}, booktitle={Proceedings of the Software Engineering 2017}, publisher={Gesellschaft fuer Informatik}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, editor={Jürjens, Jan and Schneider, KurtEditors}, year={2017}, pages={109–110}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 20803
@inproceedings{Pohlmann_Hüwe_2017, title={Model-Driven Allocation Engineering – Abridged Version}, booktitle={GI-Edition, Lecture Notes in Informatics, Software Engineering 2017, Proceedings}, author={Pohlmann, Uwe and Hüwe, Marcus}, editor={Jürjens, Jan and Schneider, KurtEditors}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 20804
@inproceedings{Geismann_Pohlmann_Schmelter_2017, title={Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development}, author={Geismann, Johannes and Pohlmann, Uwe and Schmelter, David}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 23001
@inproceedings{Henke_Michael_Lankeit_Trächtler_2017, title={Virtuelle Inbetriebnahme eines Fertigungszentrums}, booktitle={Tag des System Engineering}, publisher={Gesellschaft für Systems Engineering e.V.}, author={Henke, Christian and Michael, Jan and Lankeit, Christopher and Trächtler, Ansgar}, year={2017}, pages={45–54} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 23002
@inproceedings{Holtkötter_Michael_Henke_2017, title={Systematische Inbetriebnahme einer Prüfeinrichtung für Zugversuche}, volume={22}, booktitle={Virtuelle Instrumente in der Praxis 2017}, publisher={VDE VERLAG}, author={Holtkötter, Jens and Michael, Jan and Henke, Christian}, year={2017}, pages={62–65} }
LibreCat
2017 | Book Chapter | LibreCat-ID: 23008
@inbook{Krüger_Borsig_Damerow_Gräler_Trächtler_2017, series={Mathematics in Industry}, title={Model-Based Design of Self-Correcting Forming Processes}, booktitle={Math for the Digital Factory}, publisher={Springer International Publishing}, author={Krüger, Martin and Borsig, Michael and Damerow, Ulf-Hendrik and Gräler, Manuel and Trächtler, Ansgar}, year={2017}, pages={273–288}, collection={Mathematics in Industry} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 23011
@inproceedings{Henke_Michael_Lankeit_Trächtler_2017, title={A Holistic Approach for Virtual Commissioning of Intelligent Systems}, booktitle={Systems Conference 2017}, publisher={IEEE}, author={Henke, Christian and Michael, Jan and Lankeit, Christopher and Trächtler, Ansgar}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 23012
@inproceedings{Michael_Hellweg_Henke_Trächtler_2017, title={Dynamische Prozessplanung im Smart Home auf Basis von Mutliagentensystemen}, volume={12}, booktitle={Fachtagung Mechatronik 2017}, publisher={VDI Mechatronik}, author={Michael, Jan and Hellweg, Alina and Henke, Christian and Trächtler, Ansgar}, year={2017}, pages={18–23} }
LibreCat