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
Location: main building
09:00
Top-down Horn Clause-based Program Analysis in the Ciao Language (abstract)
10:00-10:30Coffee Break
10:30-12:00 Session 3: Modeling and Verification
Location: main building
10:30
Modeling Concurrent Behaviors as Words (abstract)
11:00
Static Detection of Event-Driven Races in HTML5-Based Mobile Apps (abstract)
11:30
Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems (abstract)
12:30-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-15:30Coffee Break
15:30-16:30 Session 5: Security Analysis
15:30
Analysing Security Protocols Using Scenario Based Simulation (abstract)
16:00
Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis (abstract)
16:30-17:30 Session 6: Timed systems
16:30
Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems (abstract)
17:00
Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules (abstract)