VECOS 2019: 13TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS
PROGRAM
Wednesday, October 9th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 2: Invited talk
09:00
Verifying Robusteness of Concurrent Systems (abstract)
10:00-10:30Coffee Break
10:30-12:00 Session 3: Modeling and Verification
10:30
Modeling Concurrent Behaviors as Words (abstract)
11:00
Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems (abstract)
11:30
Static Detection of Event-Driven Races in HTML5-Based Mobile Apps (abstract)
12:00-14:00Lunch Break
14:00-15:00 Session 4: Invited talk
14:00
1968 to 2019: Half a Century of Correctness Enhancement (abstract)
15:00-16:00 Session 5: Security Analysis
15:00
Analysing Security Protocols Using Scenario Based Simulation (abstract)
15:30
Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 6: Times systems
16:30
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules (abstract)
17:00
Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems (abstract)