Abstract is missing.
- RoboWorld: Where Can My Robot Work?Ana Cavalcanti, James Baxter, Gustavo Carvalho. 3-22 [doi]
- Validating Safety Arguments with LeanLogan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik. 23-43 [doi]
- Runtime Enforcement with Reordering, Healing, and SuppressionYliès Falcone, Gwen Salaün. 47-65 [doi]
- Monitoring First-Order Interval LogicKlaus Havelund, Moran Omer, Doron Peled. 66-83 [doi]
- Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State MachinesNiklas Krafczyk, Jan Peleska 0001. 84-102 [doi]
- nfer - A Tool for Event Stream AbstractionSean Kauffman. 103-109 [doi]
- Mining Shape Expressions with ShapeItEzio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin. 110-117 [doi]
- Refining Privacy-Aware Data Flow DiagramsHanaa Alshareef, Sandro Stucki, Gerardo Schneider. 121-140 [doi]
- Hybrid Information Flow Control for Low-Level CodeEduardo Geraldo, José Fragoso Santos, João Costa Seco. 141-159 [doi]
- Upper Bound Computation of Information Leakages for Unbounded RecursionJohannes Bechberger, Alexander Weigl. 160-177 [doi]
- On the Security and Safety of AbU SystemsMichele Pasqua, Marino Miculan. 178-198 [doi]
- Parallelized Sequential Composition and Hardware Weak Memory ModelsRobert J. Colvin. 201-221 [doi]
- Checking Opacity and Durable Opacity with FDRBrijesh Dongol, Jay Le-Papin. 222-242 [doi]
- Translation of CCS into CSP, Correct up to Strong BisimulationGerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield. 243-261 [doi]
- Probabilistic BDI Agents: Actions, Plans, and IntentionsBlair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu. 262-281 [doi]
- A Debugger for Probabilistic ProgramsAlexander Hoppen, Thomas Noll 0001. 282-289 [doi]
- Verification of Programs with Exceptions Through Operator Precedence AutomataFrancesco Pontiggia, Michele Chiari, Matteo Pradella. 293-311 [doi]
- Counterexample ClassificationCole Vick, Eunsuk Kang, Stavros Tripakis. 312-331 [doi]
- Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State MachinesClemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker. 332-350 [doi]
- Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P SynthesisAlessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta. 351-371 [doi]
- TACoS: A Tool for MTL Controller SynthesisTill Hofmann, Stefan Schupp. 372-379 [doi]
- Lightweight Nontermination Inference with CHCsBishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. 383-402 [doi]
- A Denotational Semantics of Solidity in Isabelle/HOLDiego Marmsoler, Achim D. Brucker. 403-422 [doi]
- Configuration Space Exploration for Digital Printing SystemsJasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser. 423-442 [doi]
- Bit-Precise Verification of Discontinuity Errors Under Fixed-Point ArithmeticStella Simic, Omar Inverso, Mirco Tribastone. 443-460 [doi]
- OSIP: Tightened Bound Propagation for the Verification of ReLU Neural NetworksVahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio. 463-480 [doi]
- Active Model Learning of Stochastic Reactive SystemsMartin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill. 481-500 [doi]
- Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian PredictionSebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle. 501-520 [doi]