research
∙
09/08/2022
Bounded Satisfiability Checking of Metric First-order Temporal Logic
Legal properties involve reasoning about data values and time. Metric fi...
share
research
∙
03/18/2022
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
We present two behavioral models of an autonomous vehicle and its intera...
research
∙
02/08/2022
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Machine Vision Components (MVC) are becoming safety-critical. Assuring t...
research
∙
04/28/2020
Specifying a Cryptographical Protocol in Lustre and SCADE
We present SCADE and Lustre models of the Message Authenticator Algorith...
research
∙
03/27/2018
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm
The Message Authenticator Algorithm (MAA) is one of the first cryptograp...
research
∙
03/27/2018