| Brijesh Dongol and Jay Le-Papin |
Checking Opacity and Durable Opacity with FDR |
| Sebastian Vom Dorff, Chih-Hong Cheng, Hasan Esen and Martin Fränzle |
Mixed-Neighborhood, Multi-Speed Cellular Automata for Safety-Aware Pedestrian Prediction |
| Gerard Ekembe Ngondi, Vasileios Koutavas and Andrew Butterfield |
Translation of CCS into CSP, Correct up toStrong Bisimulation |
| Robert Colvin |
Parallelized sequential composition and hardware weak memory models |
| Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta |
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL synthesis |
| Yliès Falcone and Gwen Salaün |
Runtime Enforcement with Reordering, Healing, and Suppression |
| Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu |
Probabilistic BDI Agents: Actions, Plans, and Intentions |
| Diego Marmsoler and Achim D. Brucker |
A Denotational Semantics of Solidity in Isabelle/HOL |
| Vahid Hashemi, Panagiotis Kouvaros and Alessio Lomuscio |
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks |
| Martin Tappler, Edi Muškardin, Bernhard K. Aichernig and Ingo Pill |
Active Model Learning of Stochastic Reactive Systems |
| Klaus Havelund, Moran Omer and Doron Peled |
Monitoring First-Order Interval Logic |
| Alexander Hoppen and Thomas Noll |
A Debugger for Probabilistic Programs (tool paper) |
| Jasper Denkers, Marvin Brunner, Louis van Gool and Eelco Visser |
Configuration Space Exploration for Digital Printing Systems |
| Stella Simic, Omar Inverso and Mirco Tribastone |
Analysis of Discontinuity Errors Under Fixed-Point Arithmetic |
| Hanaa Alshareef, Sandro Stucki and Gerardo Schneider |
Refining Privacy-Aware Data Flow Diagrams |
| Francesco Pontiggia, Michele Chiari and Matteo Pradella |
Verification of Programs with Exceptions through Operator-Precedence Automata |
| Cole Vick, Eunsuk Kang and Stavros Tripakis |
Counterexample Classification |
| Johannes Bechberger and Alexander Weigl |
Upper Bound Computation of InformationLeakages for Unbounded Recursion |
| Till Hofmann and Stefan Schupp |
TACoS: A Tool for the MTL Controller Synthesis Problem (tool paper) |
| Sean Kauffman |
nfer - A Tool for Event Stream Abstraction (tool paper) |
| Michele Pasqua and Marino Miculan |
On the Security and Safety of AbU Systems |
| Niklas Krafczyk and Jan Peleska |
Exhaustive Property Oriented Model-based Testing With Symbolic Finite State Machines |
| Eduardo Geraldo, Jose Fragoso Santos and João Costa Seco |
Hybrid Value-Dependent Information Flow Control for Low-level Code |
| Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey |
Lightweight Nontermination Inference with CHCs |
| Clemens Dubslaff, Patrick Wienhöft and Ansgar Fehnker |
Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines |
| Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic and Xin Qin |
Mining Shape Expressions with ShapeIt (tool paper) |
