fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: formal verification

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), IEEE. Details URL DOI BIB

2020

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, 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, Details DOI BIB

2014

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, Details BIB