Liste als BibTeX-Datei exportieren

2023

• Juni 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir , Michell Guzman Cancimance , Cook Alasdair , Johannes Haindl und Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 2023. IEEE. Details URL DOI BIB

2020

• Dezember 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas , Vivek Nigam und Carolyn Talcott In IEEE Vehicular Networking Conference (VNC), Seiten 1-8, Dezember 2020. IEEE. Details DOI BIB

2019

• Januar 2019 Structure and behavior preserving statecharts refinements Eugene Syriani , Vasco Sousa und Levi Lúcio Science of Computer Programming, 170():49–79, Januar 2019. Details DOI BIB

2018

• 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes , Javier Troya , Levi Lúcio und Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB

2017

• 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav und Vincent Aravantinos 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
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB

2014

• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow , Jean Quilbeuf , Georgeta Igna und Harald Rueß In Smart Grid Security, Seiten 16–29, August 2014. Springer International Publishing. Details DOI BIB
• August 2014 Understanding and closing the gap between requirements on system and subsystem level Sabine Teufl , Wolfgang Böhm und Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, Seiten 77-86, August 2014. Details DOI BIB

2012

• September 2012 Binding requirements and component architecture by using model-based test-driven development Dongyue Mou und Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), Seiten 27–30, September 2012. Details DOI BIB

2011

• 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli , Florian Hölzl und Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011. Details BIB

2010

• November 2010 AutoFocus Tool Chain Florian Hölzl , Maria Spichkova und David Trachtenherz TUM-I1021, November 2010. Details URL BIB