Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2017
- A web-based system architecture for ontology-based data integration in the domain of IT benchmarking Enterprise Information Systems, ():1-23, Mai 2017. Details URL DOI BIB
- Just Formal Enough? Automated Analysis of EARS Requirements In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Seiten 427–434, Mai 2017. Details URL DOI BIB
- Seamless Model-based Requirements Engineering: Models, Guidelines, Tools Dissertation, Technische Universität München, Mai 2017. Details URL BIB
- An Exact Solver for Geometric Constraints with Inequalities IEEE Robotics and Automation Letters, 2(2):1148–1155, April 2017. Details DOI BIB
- Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Frontiers in Neurorobotics, 11():, Januar 2017. Details URL PDF DOI BIB
- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles In Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, Seiten 406–422, 2017. Details URL DOI BIB
- A rewriting framework and logic for activities subject to regulations Mathematical Structures in Computer Science, 27(3):332–375, 2017. Details URL DOI BIB
- Analysis of design strategies for unmanned aerial vehicles using co-simulation Design Autom. for Emb. Sys., 21(3-4):157–172, 2017. Details URL DOI BIB
- Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), Seiten 53–60, 2017. IEEE. Details DOI BIB
- Arguing on Software-Level Verification Techniques Appropriateness In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 10488 von LNCS, Seiten 39–54, Cham, 2017. Springer International Publishing. Details DOI BIB
- autoCode4: Structural Controller Synthesis In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, Seiten 398–404, 2017. Details DOI BIB
- Erstellung einer Referenzarchitektur anhand von individuellen Unternehmensanforderungen , ():23-42, 2017. Details BIB
- Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details URL PDF BIB
- Increasing Control Application Reusability through Generic Device Configuration Model In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details BIB
- Living Safety Arguments for Open Systems In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017. IEEE. Details DOI BIB
- Maximum Resilience of Artificial Neural Networks In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, 2017. Details BIB
- Minimizing Test Suites with Unfoldings of Multithreaded Programs ACM Trans. Embedded Comput. Syst., 16(2):45:1–45:24, 2017. Details DOI BIB
- Modeling and verifying behavioral constraints for automation systems In Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on, Seiten 345–350, 2017. IEEE, Details BIB
- Modular Transformation from AF3 to nuXmv In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, Seiten 300–306, 2017. Details URL BIB
- Multi vehicle trajectory coordination for automated parking In IEEE Intelligent Vehicles Symposium (IV), Seiten 661 - 666, 2017. Details URL BIB