Export list as BibTeX file

2023

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

2020

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

2019

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

2018

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

2017

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

2014

• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow , Jean Quilbeuf , Georgeta Igna and Harald Rueß In Smart Grid Security, pages 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 and Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, pages 77-86, August 2014. Details DOI BIB

2012

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

2011

• 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli , Florian Hölzl and 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 and David Trachtenherz TUM-I1021, November 2010. Details URL BIB