Accepted papers

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)