| 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 |
| Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
|
2020 |
Bischopink, Christopher |
| Call Me Back, I Have a Type Invariant
|
2020 |
Aiello, M. Anthony |
| Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts
|
2020 |
Bernardo, Bruno |
| Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude
|
2020 |
Cerone, Antonio |
| Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets
|
2020 |
Navarre, David |
| 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 |
| Compiling C and C++ Programs for Dynamic White-Box Analysis
|
2020 |
Baranová, Zuzana |
| Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
|
2020 |
Broccia, Giovanna |
| “Know Thyself” How Personal Music Tastes Shape the Last.Fm Online Social Network
|
2020 |
Guidotti, Riccardo |
| Anomaly Detection from Log Files Using Unsupervised Deep Learning
|
2020 |
Bursic, Sathya |
| Smart Contracts: Application Scenarios for Deductive Program Verification
|
2020 |
Beckert, Bernhard |
| Deductive Proof of Industrial Smart Contracts Using Why3
|
2020 |
Nehaï, Zeinab |
Tag hinzufügen