| 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 |
| Statistical Model Checking of RANDAO’s Resilience to Pre-computed Reveal Strategies
|
2020 |
Alturki, Musab A. |
| Towards a Verified Model of the Algorand Consensus Protocol in Coq
|
2020 |
Alturki, Musab A. |
| Smart Contract Interactions in Coq
|
2020 |
Nielsen, Jakob Botsch |
| Examples of the Application of Formal Methods to Interactive Systems
|
2020 |
Harrison, Michael D. |
| A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops
|
2020 |
Béger, Pascal |
| 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