![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search 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 153 matches
- 2024
- Raniah A Alghamdi
, Richard J. Trefler
:
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems. FormaliSE@ICSE 2024: 77-87 - Achim D. Brucker
, Teddy Cameron-Burke
, Amy Stell
:
Formally Verified Interval Arithmetic and Its Application to Program Verification. FormaliSE@ICSE 2024: 111-121 - David Cortés
, James Ortiz
, Davide Basile
, Jesús Aranda
, Gilles Perrouin
, Pierre-Yves Schobbens
:
Time for Networks: Mutation Testing for Timed Automata Networks. FormaliSE@ICSE 2024: 44-54 - Irman Faqrizal
, Quentin Nivon
, Gwen Salaün
:
Automated Repair of Violated Eventually Properties in Concurrent Programs. FormaliSE@ICSE 2024: 66-76 - Louis Gauthier
, Virgile Prevosto
, Julien Signoles
:
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification. FormaliSE@ICSE 2024: 100-110 - Julian Klein
, Paul Kogel
, Sabine Glesner
:
Verifying Opacity of Discrete-Timed Automata. FormaliSE@ICSE 2024: 55-65 - Robert Lorch
, Baoluo Meng
, Kit Siu
, Abha Moitra
, Michael Durling
, Saswata Paul
, Sarat Chandra Varanasi
, Craig McMillan
:
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE 2024: 88-99 - Erwan Mahe
, Boutheina Bannour
, Christophe Gaston
, Arnault Lapitre
, Pascale Le Gall
:
Finite Automata synthesis from Interactions. FormaliSE@ICSE 2024: 12-22 - Preston K. Robinette
, Diego Manzanas Lopez
, Serena Serbinowska
, Kevin Leach
, Taylor T. Johnson
:
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. FormaliSE@ICSE 2024: 127-137 - Álvaro F. Silva
, Alexandra Mendes
, João F. Ferreira
:
Leveraging Large Language Models to Boost Dafny's Developers Productivity. FormaliSE@ICSE 2024: 138-142 - Cristina Stratan
, Joshua Heneage Dawes
, Domenico Bianculli
:
Diagnosing Violations of Time-based Properties Captured in iCFTL. FormaliSE@ICSE 2024: 33-43 - Alberto Tagliaferro
, Livia Lestingi
, Matteo Rossi
:
Towards Verifiable Multi-Agent Interaction Pattern Specification. FormaliSE@ICSE 2024: 122-126 - Alexander Weigl
, Joshua Bachmeier
, Bernhard Beckert
, Mattias Ulbrich
:
Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE 2024: 1-11 - Olivier Zeyen
, Maxime Cordy
, Gilles Perrouin
, Mathieu Acher
:
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling. FormaliSE@ICSE 2024: 23-32 - Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes:
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. ACM 2024 [contents] - 2023
- Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau:
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE 2023: 55-65 - Marcello M. Bersani, Matteo Camilli
, Livia Lestingi
, Raffaela Mirandola
, Matteo G. Rossi:
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE 2023: 18-28 - Cristian Cadar, Daniel Schemmel, Arindam Sharma
:
Patch Specifications via Product Programs. FormaliSE 2023: 39-43 - Radu Calinescu, Genaína Nunes Rodrigues
:
Goal Controller Synthesis for Self-Adaptive Systems. FormaliSE 2023: 1-6 - Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat:
Transparent Actor Model. FormaliSE 2023: 97-107 - Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran:
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. FormaliSE 2023: 7-17 - Piergiuseppe Mallozzi, Inigo Incer
, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE 2023: 29-38 - Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif
:
An Empirical Study Assessing Software Modeling in Alloy. FormaliSE 2023: 44-54 - Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi:
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids. FormaliSE 2023: 120-129 - Larissa A. Meinicke
, Ian J. Hayes:
Using scylindric algebra to support local variables in rely/guarantee concurrency. FormaliSE 2023: 108-119 - Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
A Verified UAV Flight Plan Generator. FormaliSE 2023: 130-140 - Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang:
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. FormaliSE 2023: 76-85 - Graeme Smith
:
A Dafny-based approach to thread-local information flow analysis. FormaliSE 2023: 86-96 - Mark Utting
, Brae J. Webb
, Ian J. Hayes:
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). FormaliSE 2023: 66-75 - 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023. IEEE 2023, ISBN 979-8-3503-1263-8 [contents]
skipping 123 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-08-07 18:06 CEST 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