| 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 |
| 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 |
Tag hinzufügen