| The Bourgeois Gentleman, Engineering and Formal Methods
|
2020 |
Lecomte, Thierry |
| Addressing Usability in a Formal Development Environment
|
2020 |
Arcaini, Paolo |
| An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning
|
2020 |
Aibassova, Aigerim |
| Analysis and Visualization of Performance Indicators in University Admission Tests
|
2020 |
Natilli, Michela |
| CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles
|
2020 |
Nonnengart, Andreas |
| Formal Specification of a Security Framework for Smart Contracts
|
2020 |
Mandrykin, Mikhail |
| Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
|
2020 |
Canny, Alexandre |
| Experiences with Streamlining Formal Methods Tools
|
2020 |
Masci, Paolo |
| Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
|
2020 |
Ročkai, Petr |
| SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
|
2020 |
Dalvandi, Mohammadsadegh |
| How to Look Next? A Data-Driven Approach for Scanpath Prediction
|
2020 |
Boccignone, Giuseppe |
| An Ontology-Based Approach to Support Formal Verification of Concurrent Systems
|
2020 |
Garanina, Natalia |
| Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach
|
2020 |
D’Amelio, Alessandro |
| Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
|
2020 |
Clark, Keith |
| Verifying Smart Contracts with Cubicle
|
2020 |
Conchon, Sylvain |
| A Mission Definition, Verification and Validation Architecture
|
2020 |
Viard, Louis |
| A Distributed Blockchain Model of Selfish Mining
|
2020 |
Eijkel, Dennis |
| Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets
|
2020 |
Jaidka, Sapna |
| Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
|
2020 |
Banach, Richard |
| Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent
|
2020 |
Alves, Gleifer Vaz |
Tag hinzufügen