default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd SEFM 2024: Aveiro, Portugal
- Alexandre Madeira
, Alexander Knapp:
Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Lecture Notes in Computer Science 15280, Springer 2025, ISBN 978-3-031-77381-5
Invited Talks
- Paula Herber, Julius Adelt, Philip Tasche:
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. 3-21 - Luís Soares Barbosa:
Paraconsistency for the Working Software Engineer (Extended Abstract). 22-30
Contributed Papers
- Kangfeng Ye, Roberto Metere, Poonam Yadav:
User-Guided Verification of Security Protocols via Sound Animation. 33-51 - Margherita Renieri, Letterio Galletta:
A Policy Framework for Regulating External Calls in Smart Contracts. 52-69 - Alessandro Cimatti, Thomas Møller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann:
Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. 70-88 - Adele Veschetti, Richard Bubel, Reiner Hähnle:
A Formal Modeling Language for Smart Contracts. 89-106 - Jonas Becker-Kupczok, Paula Herber:
Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. 107-125 - Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz:
Validating Traces of Distributed Programs Against TLA+ Specifications. 126-143 - Narges Khakpour, David Parker:
Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. 144-161 - Diego Marmsoler, Asad Ahmed, Achim D. Brucker:
Secure Smart Contracts with Isabelle/Solidity. 162-181 - Ellen Wittingen, Marieke Huisman, Ömer Sakar:
Deductive Verification of SYCL in VerCors. 182-199 - Jan Tusil, Jan Obdrzálek:
Minuska: Towards a Formally Verified Programming Language Framework. 200-214 - Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler:
Hierarchical Learning of Generative Automaton Models from Sequential Data. 215-233 - Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko:
Composing Run-Time Variability Models. 234-252 - Raúl Pardo, Daniel Le Métayer:
Model-Checking the Implementation of Consent. 253-271 - Hannes Sochor, Flavio Ferrarotti, Robert Wille:
GrammarForge: Learning Program Input Grammars for Fuzz Testing. 272-289 - Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander:
Verified Configuration and Deployment of Layered Attestation Managers. 290-308 - Ana Jovanovic, Allison Sullivan:
Right or Wrong - Understanding How Users Write Software Models in Alloy. 309-327 - Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos:
An Operational Semantics for Yul. 328-346 - Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux:
Execution-Time Opacity Control for Timed Automata. 347-365 - Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel:
Unlocking the Power of Environment Assumptions for Unit Proofs. 366-384 - Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury:
Towards Quantum Multiparty Session Types. 385-403 - Philip Tasche, Paula Herber, Marieke Huisman:
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. 404-422 - Matteo Paier, Roberto van Eeden, Marino Miculan:
Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. 423-440 - Srajan Goyal, Alberto Griggio, Stefano Tonetta:
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. 441-460
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-08-16 20:34 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:
