default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th SEFM 2022: Berlin, Germany
- Bernd-Holger Schlingloff
, Ming Chai:
Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings. Lecture Notes in Computer Science 13550, Springer 2022, ISBN 978-3-031-17107-9
Software Verification
- Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
A Unifying Approach for Control-Flow-Based Loop Abstraction. 3-19 - Junaid Rasheed, Michal Konecný:
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers. 20-36 - Jan Haltermann, Heike Wehrheim:
Information Exchange Between Over- and Underapproximating Software Analyses. 37-54
Program Analysis
- Matteo Cimini:
A Query Language for Language Analysis. 57-73 - Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva:
Field-Sensitive Program Slicing. 74-90 - Malte Mues, Falk Howar, Simon Dierl:
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. 91-107
Verifier Technology
- Dirk Beyer, Martin Spiessl, Sven Umbricht:
Cooperation Between Automatic and Interactive Software Verifiers. 111-128 - Lukas Miedema, Clemens Grelck:
Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications. 129-145 - Carlos Galindo, Sergio Pérez, Josep Silva:
A Program Slicer for Java (Tool Paper). 146-151
Formal Methods for Intelligent and Learning Systems
- Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler:
Constrained Training of Recurrent Neural Networks for Automata Learning. 155-172 - Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz:
Neural Network Verification Using Residual Reasoning. 173-189 - Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson:
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. 190-206
Specification and Contracts
- Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language. 209-226 - Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe:
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. 227-243 - Namrata Jain, Kosuke Kaneko, Subodh Sharma:
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper). 244-250
Program Synthesis
- Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen:
Weighted Games for User Journeys. 253-270 - Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law:
Safety Controller Synthesis for a Mobile Manufacturing Cobot. 271-287 - Jorge Cerqueira, Alcino Cunha, Nuno Macedo:
Timely Specification Repair for Alloy 6. 288-303
Temporal Logic
- Bernard Serbinowski, Taylor T. Johnson:
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. 307-323 - Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang:
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). 324-331
Runtime Methods
- Angelo Ferrando, Vadim Malvone:
Runtime Verification with Imperfect Information Through Indistinguishability Relations. 335-351 - Yliès Falcone, Irman Faqrizal, Gwen Salaün:
Runtime Enforcement for IEC 61499 Applications. 352-368
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-11-18 22:31 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:
