VECOS 2019: 13TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS

A
Al-Shareefi, Farah	Analysing Security Protocols Using Scenario Based Simulation
Albert, Elvira	Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
Aljarbouh, Ayman	Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems
Azaiez, Selma	Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules
C
Choquet-Geniet, Annie	Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems
Couvreur, Jean-Michel	Modeling Concurrent Behaviors as Words
D
Dixon, Clare	Analysing Security Protocols Using Scenario Based Simulation
F
Ferry, Xavier	Modeling Concurrent Behaviors as Words
G
Glanon, Philippe	Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules
Gordillo, Pablo	Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
L
Largeteau-Skapin, Gaëlle	Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems
Lau, Tuong	Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
Lisitsa, Alexei	Analysing Security Protocols Using Scenario Based Simulation
M
Mili, Ali	1968 to 2019: Half a Century of Correctness Enhancement
Morales, Jose F.	Top-down Horn Clause-based Program Analysis in the Ciao Language
Mouafo Tchinda, Yves	Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems
Mraidha, Chokri	Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules
R
Rubio, Albert	Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
S
Sakho, Mouhamadou	Modeling Concurrent Behaviors as Words
Sergey, Ilya	Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis

Disclaimer | Powered by EasyChair Smart Program