Abstract is missing.
- An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite DataHadar Frenkel, Orna Grumberg, Sarai Sheinvald. 1-18 [doi]
- Learning from Faults: Mutation Testing in Active Automata Learning - Mutation Testing in Active Automata LearningBernhard K. Aichernig, Martin Tappler. 19-34 [doi]
- Parametric Model Checking Timed Automata Under Non-Zenoness AssumptionÉtienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun 0001. 35-51 [doi]
- Multi-timed Bisimulation for Distributed Timed AutomataJames Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens. 52-67 [doi]
- Auto-Active Proof of Red-Black Trees in SPARKClaire Dross, Yannick Moy. 68-83 [doi]
- Analysing Security Protocols Using Refinement in iUML-BColin F. Snook, Thai Son Hoang, Michael J. Butler. 84-98 [doi]
- On Learning Sparse Boolean Formulae for Explaining AI DecisionsSusmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis. 99-114 [doi]
- Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri NetsMatteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini. 115-130 [doi]
- Model-Counting Approaches for Nonlinear Numerical ConstraintsMateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu. 131-138 [doi]
- Input Space Partitioning to Enable Massively Parallel ProofAshlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Arechiga. 139-145 [doi]
- Compositional Model Checking of Interlocking Systems for Lines with Multiple StationsHugo Daniel Macedo, Alessandro Fantechi, Anne Elisabeth Haxthausen. 146-162 [doi]
- Modular Model-Checking of a Byzantine Fault-Tolerant ProtocolBenjamin F. Jones, Lee Pike. 163-177 [doi]
- Improved Learning for Stochastic Timed Models by State-Merging AlgorithmsBraham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem. 178-193 [doi]
- Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous InvariantsAndrew Sogokon, Paul B. Jackson, Taylor T. Johnson. 194-211 [doi]
- A Relational Shape Abstract DomainHugo Illous, Matthieu Lemerre, Xavier Rival. 212-229 [doi]
- Floating-Point Format Inference in Mixed-PrecisionMatthieu Martel. 230-246 [doi]
- A Verification Technique for Deterministic Parallel ProgramsSaeed Darabi, Stefan C. C. Blom, Marieke Huisman. 247-264 [doi]
- Systematic Predicate Abstraction Using Variable RolesYulia Demyanova, Philipp Rümmer, Florian Zuleger. 265-281 [doi]
- specgen: A Tool for Modeling Statecharts in CSPBrandon Shapiro, Chris Casinghino. 282-287 [doi]
- HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability AnalysisStefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski. 288-294 [doi]
- Asm2C++: A Tool for Code Generation from Abstract State Machines to ArduinoSilvia Bonfanti, Marco Carissoni, Angelo Gargantini, Atif Mashkoor. 295-301 [doi]
- SPEN: A Solver for Separation LogicConstantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar. 302-309 [doi]
- From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving CaseMario Gleirscher, Stefan Kugele. 310-326 [doi]
- Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision FunctionArnaud Dieumegard, Ning Ge, Eric Jenn. 327-341 [doi]
- Reasoning About Safety-Critical Information Flow Between Pilot and ComputerSeth Ahrenbach. 342-356 [doi]
- Compositional Falsification of Cyber-Physical Systems with Machine Learning ComponentsTommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia. 357-372 [doi]
- Verifying a Class of Certifying Distributed ProgramsKim Völlinger, Samira Akili. 373-388 [doi]
- Compact Proof WitnessesMarie-Christine Jakobs, Heike Wehrheim. 389-403 [doi]
- Qualification of a Model Checker for Avionics Software VerificationLucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind. 404-419 [doi]
- SpeAR v2.0: Formalized Past LTL Specification and Analysis of RequirementsAaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis. 420-426 [doi]
- Just Formal Enough? Automated Analysis of EARS RequirementsLevi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin. 427-434 [doi]