default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 26 matches
- 2025
- 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 [contents] - 2024
- Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux:
Execution-Time Opacity Control for Timed Automata. SEFM 2024: 347-365 - Luís Soares Barbosa:
Paraconsistency for the Working Software Engineer (Extended Abstract). SEFM 2024: 22-30 - Jonas Becker-Kupczok, Paula Herber:
Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. SEFM 2024: 107-125 - Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler:
Hierarchical Learning of Generative Automaton Models from Sequential Data. SEFM 2024: 215-233 - 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. SEFM 2024: 70-88 - Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz:
Validating Traces of Distributed Programs Against TLA+ Specifications. SEFM 2024: 126-143 - Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko:
Composing Run-Time Variability Models. SEFM 2024: 234-252 - Srajan Goyal, Alberto Griggio, Stefano Tonetta:
Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. SEFM 2024: 441-460 - Paula Herber, Julius Adelt, Philip Tasche:
Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. SEFM 2024: 3-21 - Ana Jovanovic, Allison Sullivan:
Right or Wrong - Understanding How Users Write Software Models in Alloy. SEFM 2024: 309-327 - Narges Khakpour, David Parker:
Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. SEFM 2024: 144-161 - Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos:
An Operational Semantics for Yul. SEFM 2024: 328-346 - Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury:
Towards Quantum Multiparty Session Types. SEFM 2024: 385-403 - Diego Marmsoler, Asad Ahmed, Achim D. Brucker:
Secure Smart Contracts with Isabelle/Solidity. SEFM 2024: 162-181 - Matteo Paier, Roberto van Eeden, Marino Miculan:
Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. SEFM 2024: 423-440 - Raúl Pardo, Daniel Le Métayer:
Model-Checking the Implementation of Consent. SEFM 2024: 253-271 - Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander:
Verified Configuration and Deployment of Layered Attestation Managers. SEFM 2024: 290-308 - Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel:
Unlocking the Power of Environment Assumptions for Unit Proofs. SEFM 2024: 366-384 - Margherita Renieri, Letterio Galletta:
A Policy Framework for Regulating External Calls in Smart Contracts. SEFM 2024: 52-69 - Hannes Sochor, Flavio Ferrarotti, Robert Wille:
GrammarForge: Learning Program Input Grammars for Fuzz Testing. SEFM 2024: 272-289 - Philip Tasche, Paula Herber, Marieke Huisman:
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. SEFM 2024: 404-422 - Jan Tusil, Jan Obdrzálek:
Minuska: Towards a Formally Verified Programming Language Framework. SEFM 2024: 200-214 - Adele Veschetti, Richard Bubel, Reiner Hähnle:
A Formal Modeling Language for Smart Contracts. SEFM 2024: 89-106 - Ellen Wittingen, Marieke Huisman, Ömer Sakar:
Deductive Verification of SYCL in VerCors. SEFM 2024: 182-199 - Kangfeng Ye, Roberto Metere, Poonam Yadav:
User-Guided Verification of Security Protocols via Sound Animation. SEFM 2024: 33-51
loading more results 
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-12-20 07:11 CET from data curated 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:
