![](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 2,083 matches
- 2023
- Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, Adwait Godbole
, Shankaranarayanan Krishna
, Mihir Vahanwala
:
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. CAV (1) 2023: 184-205 - S. Akshay
, Supratik Chakraborty
, Sahil Jain:
Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis. CAV (1) 2023: 367-389 - S. Akshay
, Krishnendu Chatterjee
, Tobias Meggendorfer
, Dorde Zikelic
:
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CAV (3) 2023: 86-112 - S. Akshay
, Paul Gastin
, R. Govind
, Aniruddha R. Joshi
, B. Srivathsan
:
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. CAV (1) 2023: 266-288 - Elvira Albert
, Samir Genaim
, Daniel Kirchner
, Enrique Martin-Martin
:
Formally Verified EVM Block-Optimizations. CAV (3) 2023: 176-189 - Rajeev Alur
, Osbert Bastani
, Kishor Jothimurugan
, Mateo Perez
, Fabio Somenzi
, Ashutosh Trivedi
:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) 2023: 415-435 - Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer:
Automatic Program Instrumentation for Automatic Verification. CAV (3) 2023: 281-304 - Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira:
Verifying Generalization in Deep Learning. CAV (2) 2023: 438-455 - Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck:
Synthesizing Permissive Winning Strategy Templates for Parity Games. CAV (1) 2023: 436-458 - Roman Andriushchenko
, Alexander Bork
, Milan Ceska
, Sebastian Junges
, Joost-Pieter Katoen
, Filip Macák
:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. CAV (3) 2023: 113-135 - Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma
, Michael W. Whalen
, Raveesh Yadav:
Automated Analyses of IOT Event Monitoring Systems. CAV (1) 2023: 27-39 - Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) 2023: 62-85 - Raven Beutner
, Bernd Finkbeiner
, Hadar Frenkel
, Niklas Metzger
:
Second-Order Hyperproperties. CAV (2) 2023: 309-332 - Benjamin Bisping
:
Process Equivalence Problems as Energy Games. CAV (1) 2023: 85-106 - Martin Blicha
, Konstantin Britikov
, Natasha Sharygina
:
The Golem Horn Solver. CAV (2) 2023: 209-223 - David Boetius, Stefan Leue:
Verifying Global Neural Network Specifications using Hyperproperties. FoMLAS@CAV 2023: 71-82 - Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya:
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. FoMLAS@CAV 2023: 59-70 - Yu-Fang Chen
, Kai-Min Chung
, Ondrej Lengál
, Jyun-Ao Lin
, Wei-Lun Tsai
:
AutoQ: An Automata-Based Quantum Circuit Verifier. CAV (3) 2023: 139-153 - Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi:
Learning Assumptions for Compositional Verification of Timed Automata. CAV (1) 2023: 40-61 - Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel:
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CAV (2) 2023: 383-396 - Eszter Couillard
, Philipp Czerner
, Javier Esparza
, Rupak Majumdar
:
Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CAV (3) 2023: 437-458 - Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee:
The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV 2023: 1-5 - Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella:
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV 2023: 47-58 - Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) 2023: 374-396 - Isabel Garcia-Contreras
, Hari Govind V. K.
, Sharon Shoham
, Arie Gurfinkel
:
Fast Approximations of Quantifier Elimination. CAV (2) 2023: 64-86 - Eugene Goldberg:
Partial Quantifier Elimination and Property Generation. CAV (2) 2023: 110-131 - Alberto Griggio
, Martin Jonás
:
Kratos2: An SMT-Based Model Checker for Imperative Programs. CAV (3) 2023: 423-436 - Simon Guilloud
, Mario Bucev, Dragana Milovancevic
, Viktor Kuncak
:
Formula Normalizations in Verification. CAV (3) 2023: 398-422 - Thomas A. Henzinger
, Mahyar Karimi
, Konstantin Kueffner
, Kaushik Mallik
:
Monitoring Algorithmic Fairness. CAV (2) 2023: 358-382 - Piotr Hofman
, Filip Mazowiecki
, Philip Offtermatt
:
Fast Termination and Workflow Nets. CAV (1) 2023: 132-155
skipping 2,053 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-06-29 23:10 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