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