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

This page contains an index consisting of author-provided keywords.

A
abstract state machines	Analysing Security Protocols Using Scenario Based Simulation
attack scenarios	Analysing Security Protocols Using Scenario Based Simulation
C
Concurrency	Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
concurrent systems	Modeling Concurrent Behaviors as Words
D
Data Flow Analysis	Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
E
Ethereum	Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
Event-Driven Race	Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
F
Failure Tolerance	Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems
H
Happens-Before	Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
HTML5-Based Mobile App	Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
Hybrid systems	Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems
L
Latency	Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules
M
Mode Changing	Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems
Model verification and completeness	Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems
Modelling and simulation	Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems
models	Modeling Concurrent Behaviors as Words
Multicore Architecture	Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems
N
Non-standard analysis	Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems
P
Partial order	Modeling Concurrent Behaviors as Words
Periodic Schedules	Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules
Pfair Scheduling	Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems
PhoneGap	Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
Pomset	Modeling Concurrent Behaviors as Words
protocol simulation	Analysing Security Protocols Using Scenario Based Simulation
R
Resource analysis	Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
S
security protocols	Analysing Security Protocols Using Scenario Based Simulation
Simulation tools	Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems
Smart contracts	Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
specification	Modeling Concurrent Behaviors as Words
Synchronous Dataflow	Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules
T
Task Importance	Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems
U
Upper bounds	Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
Z
Zeno behaviour	Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems

Disclaimer | Powered by EasyChair Smart Program