Zobrazeno 1 - 10
of 145
pro vyhledávání: '"Giannakopoulou, Dimitra"'
Structured natural languages provide a trade space between ambiguous natural languages that make up most written requirements and mathematical formal specifications such as Linear Temporal Logic. FRETish is a structured natural language for the elici
Externí odkaz:
http://arxiv.org/abs/2201.03641
Autor:
Dutle, Aaron, Muñoz, César, Conrad, Esther, Goodloe, Alwyn, Titolo, Laura, Perez, Ivan, Balachandran, Swee, Giannakopoulou, Dimitra, Mavridou, Anastasia, Pressburger, Thomas
Publikováno v:
EPTCS 329, 2020, pp. 23-30
The Independent Configurable Architecture for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous operations of unmanned aircraft applications. This paper provides an ove
Externí odkaz:
http://arxiv.org/abs/2012.03745
Publikováno v:
In Information and Software Technology September 2021 137
Autor:
Brat, Guillaume, Bushnell, David, Davies, Misty, Giannakopoulou, Dimitra, Howar, Falk, Kahsai, Temesghen
This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM), and invol
Externí odkaz:
http://arxiv.org/abs/1502.02605
Publikováno v:
EPTCS 149, 2014
This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event, on April 6, 2014, in Grenoble (France). High levels of safety, securit
Externí odkaz:
http://arxiv.org/abs/1404.5785
Publikováno v:
EPTCS 129, 2013, pp. 211-228
Despite many advances that enable the application of model checking techniques to the verification of large systems, the state-explosion problem remains the main challenge for scalability. Compositional verification addresses this challenge by decomp
Externí odkaz:
http://arxiv.org/abs/1309.5140
Autor:
Kontis, Dimitrios, Theochari, Eirini, Nikolakopoulou, Mary, Andreopoulou, Angeliki, Vassos, Dimitrios, Grigoriou, Vasileios, Vassilouli, Spyridoula, Giannakopoulou, Dimitra, Kouloumbi, Maria, Tsaltas, Eleftheria
Publikováno v:
In Comprehensive Psychiatry October 2016 70:32-40