default search action
20th 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
A Unifying Approach for Control-Flow-Based Loop Abstraction. 3-19 - Junaid Rasheed
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers. 20-36 - Jan Haltermann
Information Exchange Between Over- and Underapproximating Software Analyses. 37-54
Program Analysis
- Matteo Cimini
A Query Language for Language Analysis. 57-73 - Carlos Galindo
Field-Sensitive Program Slicing. 74-90 - Malte Mues
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. 91-107
Verifier Technology
- Dirk Beyer
Cooperation Between Automatic and Interactive Software Verifiers. 111-128 - Lukas Miedema
Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications. 129-145 - Carlos Galindo
A Program Slicer for Java (Tool Paper). 146-151
Formal Methods for Intelligent and Learning Systems
- Bernhard K. Aichernig
Constrained Training of Recurrent Neural Networks for Automata Learning. 155-172 - Yizhak Yisrael Elboher
Neural Network Verification Using Residual Reasoning. 173-189 - Nathaniel Hamilton
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. 190-206
Specification and Contracts
- Tobias Runge
Information Flow Control-by-Construction for an Object-Oriented Language. 209-226 - Pedro Antonino
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. 227-243 - Namrata Jain
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper). 244-250
Program Synthesis
- Paul Kobialka
Weighted Games for User Journeys. 253-270 - Ioannis Stefanakos
Safety Controller Synthesis for a Mobile Manufacturing Cobot. 271-287 - Jorge Cerqueira
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
Runtime Verification with Imperfect Information Through Indistinguishability Relations. 335-351 - Yliès Falcone, Irman Faqrizal
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-07-11 22:24 CEST 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: