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.
185 Publications
2018 | Book Chapter | LibreCat-ID: 20782
@inbook{Koch_Holtmann_Lindemann_2018, series={Communications in Computer and Information Science}, title={Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information}, volume={880}, DOI={10.1007/978-3-319-94764-8_8}, booktitle={Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Koch, Thorsten and Holtmann, Jörg and Lindemann, Timo}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, BranEditors}, year={2018}, pages={173–197}, collection={Communications in Computer and Information Science} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20783
@inproceedings{Koch_2018, title={Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems}, booktitle={International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018)}, author={Koch, Thorsten}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 20785
@inproceedings{Geismann_Höttger_Krawczyk_Pohlmann_Schmelter_2018, place={Cham}, title={Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems}, volume={1}, DOI={10.1007/978-3-319-94764-8_4}, booktitle={Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Geismann, Johannes and Höttger, Robert and Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, Bran}, year={2018}, pages={72–93} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20786
@inproceedings{Fockel_Holtmann_Koch_Schmelter_2018, title={Formal, Model- and Scenario-based Requirement Patterns}, booktitle={6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)}, author={Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2018} }
LibreCat
2018 | Journal Article | LibreCat-ID: 20787
@article{Wohlers_Dziwok_Schmelter_Lorenz_2018, title={Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control}, journal={Advances in Manufacturing, Production Management and Process Control - AHFE 2018}, author={Wohlers, Benedict and Dziwok, Stefan and Schmelter, David and Lorenz, Wadim}, year={2018}, pages={398–410} }
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 20788
@article{Pohlmann_Hüwe_2018, title={Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems}, DOI={10.1007/s10515-018-0248-3}, journal={Automated Software Engineering}, author={Pohlmann, Uwe and Hüwe, Marcus}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 22987
@inproceedings{Drüke_Bicker_Schullter_Henke_Trächtler_2018, title={Rotordynamic instabilities in washing machines}, booktitle={Proceedings of the 10th International Conference on Rotor Dynamics - IFToMM. Vol. 2. International Conference on Rotor Dynamics - IFToMM}, publisher={Springer Nature Switzerland AG}, author={Drüke, Simon and Bicker, Rainer and Schullter, Bernd and Henke, Christian and Trächtler, Ansgar}, year={2018}, pages={383–397} }
LibreCat
2018 | Journal Article | LibreCat-ID: 22988
@article{Gräler_Springer_Henke_Trächtler_Homberg_2018, title={Assisted setup of forming processes: compensation of initial stochastic disturbances}, volume={25}, journal={Swedish Production Symposium}, author={Gräler, Manuel and Springer, Robert and Henke, Christian and Trächtler, Ansgar and Homberg, Werner}, year={2018}, pages={358–364} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 22989
@inproceedings{Rüting_Henke_Trächtler_2018, title={Umsetzung einer echtzeitfähigen Mehrgrößenoptimierung auf einer Industriesteuerung}, booktitle={EKA 2018 Entwurf komplexer Automatisierungssysteme - Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen}, publisher={IFAK - Institut für Automation und Kommunikation e.V.}, author={Rüting, Arne Thorsten and Henke, Christian and Trächtler, Ansgar}, year={2018} }
LibreCat
2018 | Journal Article | LibreCat-ID: 22990
@article{Springer_Graeler_Homberg_Henke_Trächtler_2018, title={Model based Setup Assistant for Progressive Tools}, volume={160025}, number={2018}, journal={AIP Conference Proceedings}, author={Springer, Robert and Graeler, Manuel and Homberg, Werner and Henke, Christian and Trächtler, Ansgar}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 22991
@inproceedings{Millitzer_Mayer_Jersch_Henke_Michael_Tamm_Ranisch_2018, title={Recent Developments in Hardware-in-the-Loop Testing}, volume={XXXVI}, booktitle={IMAC-XXXVI Conference and Exposition on Structural Dynamics}, publisher={Society for Experimental Mechanics, Inc.}, author={Millitzer, Jonathan and Mayer, Dirk and Jersch, Torben and Henke, Christian and Michael, Jan and Tamm, Christoph and Ranisch, Christopher}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 22994
@inproceedings{Lankeit_Michael_Henke_Trächtler_2018, title={Holistic Requirements for Interdisciplinary Development Processes}, booktitle={Proceedings 1st International Workshop on Learning from other Disciplines for Requirements Engineering}, publisher={IEEE}, author={Lankeit, Christopher and Michael, Jan and Henke, Christian and Trächtler, Ansgar}, year={2018}, pages={4–7} }
LibreCat
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