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 |
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 |