Abstract is missing.
- Modeling Concurrent Behaviors as WordsYohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho. 1-15 [doi]
- Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical SystemsAyman Aljarbouh. 16-31 [doi]
- Static Detection of Event-Driven Races in HTML5-Based Mobile AppsPhi Tuong Lau. 32-46 [doi]
- Analysing Security Protocols Using Scenario Based SimulationFarah Al-Shareefi, Alexei Lisitsa, Clare Dixon. 47-62 [doi]
- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource AnalysisElvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey. 63-78 [doi]
- Estimating Latency for Synchronous Dataflow Graphs Using Periodic SchedulesPhilippe Glanon, Selma Azaiez, Chokri Mraidha. 79-94 [doi]
- Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time SystemsYves Mouafo Tchinda, Annie Choquet-Geniet, Gaëlle Largeteau-Skapin. 95-109 [doi]