default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th SEFM 2021: Virtual Event
- Radu Calinescu
, Corina S. Pasareanu:
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13085, Springer 2021, ISBN 978-3-030-92123-1
Invited Papers
- Ana Cavalcanti, James Baxter, Gustavo Carvalho:
RoboWorld: Where Can My Robot Work? 3-22 - Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik:
Validating Safety Arguments with Lean. 23-43
Run-time Analysis and Testing
- Yliès Falcone, Gwen Salaün:
Runtime Enforcement with Reordering, Healing, and Suppression. 47-65 - Klaus Havelund, Moran Omer, Doron Peled:
Monitoring First-Order Interval Logic. 66-83 - Niklas Krafczyk, Jan Peleska:
Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. 84-102 - Sean Kauffman:
nfer - A Tool for Event Stream Abstraction. 103-109 - Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin:
Mining Shape Expressions with ShapeIt. 110-117
Security and Privacy
- Hanaa Alshareef, Sandro Stucki, Gerardo Schneider:
Refining Privacy-Aware Data Flow Diagrams. 121-140 - Eduardo Geraldo, José Fragoso Santos, João Costa Seco:
Hybrid Information Flow Control for Low-Level Code. 141-159 - Johannes Bechberger, Alexander Weigl:
Upper Bound Computation of Information Leakages for Unbounded Recursion. 160-177 - Michele Pasqua, Marino Miculan:
On the Security and Safety of AbU Systems. 178-198
Parallel Composition/CSP and Probabilistic Reasoning
- Robert J. Colvin:
Parallelized Sequential Composition and Hardware Weak Memory Models. 201-221 - Brijesh Dongol, Jay Le-Papin:
Checking Opacity and Durable Opacity with FDR. 222-242 - Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield:
Translation of CCS into CSP, Correct up to Strong Bisimulation. 243-261 - Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Probabilistic BDI Agents: Actions, Plans, and Intentions. 262-281 - Alexander Hoppen, Thomas Noll:
A Debugger for Probabilistic Programs. 282-289
Verification and Synthesis
- Francesco Pontiggia, Michele Chiari, Matteo Pradella:
Verification of Programs with Exceptions Through Operator Precedence Automata. 293-311 - Cole Vick, Eunsuk Kang, Stavros Tripakis:
Counterexample Classification. 312-331 - Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker:
Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. 332-350 - Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. 351-371 - Till Hofmann, Stefan Schupp:
TACoS: A Tool for MTL Controller Synthesis. 372-379
Emerging Domains
- Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Lightweight Nontermination Inference with CHCs. 383-402 - Diego Marmsoler, Achim D. Brucker:
A Denotational Semantics of Solidity in Isabelle/HOL. 403-422 - Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser:
Configuration Space Exploration for Digital Printing Systems. 423-442 - Stella Simic, Omar Inverso, Mirco Tribastone:
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. 443-460
Machine Learning and Cyber-Physical Systems
- Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio:
OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. 463-480 - Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill:
Active Model Learning of Stochastic Reactive Systems. 481-500 - Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle:
Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. 501-520
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-10 21:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
