Остановите войну!
for scientists:
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 46 matches
- 2013
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg:
Analysis of Message Passing Programs Using SMT-Solvers. ATVA 2013: 272-286 - Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar:
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. ATVA 2013: 224-239 - Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma:
Verification of a Dynamic Management Protocol for Cloud Applications. ATVA 2013: 178-192 - Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
Termination and Cost Analysis of Loops with Concurrent Interleavings. ATVA 2013: 349-364 - Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim:
Precise Cost Analysis via Local Reasoning. ATVA 2013: 319-333 - Étienne André, Laurent Fribourg, Romain Soulat:
Merge and Conquer: State Merging in Parametric Timed Automata. ATVA 2013: 381-396 - Stephan Arlt, Philipp Rümmer, Martin Schäf:
A Theory for Control-Flow Graph Exploration. ATVA 2013: 506-515 - Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek:
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. ATVA 2013: 24-39 - Shoham Ben-David, Orna Kupferman:
A Framework for Ranking Vacuity Results. ATVA 2013: 148-162 - Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr:
SmacC: A Retargetable Symbolic Execution Engine. ATVA 2013: 482-486 - Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell:
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points. ATVA 2013: 55-70 - Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at Mean-Payoff and Total-Payoff through Windows. ATVA 2013: 118-132 - Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu:
Control Flow Refinement and Symbolic Computation of Average Case Bound. ATVA 2013: 334-348 - Alessandro Cimatti:
SMT-Based Software Model Checking - Explicit Scheduler, Symbolic Threads. ATVA 2013: 23 - Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre:
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. ATVA 2013: 163-177 - Alexandre Duret-Lutz:
Manipulating LTL Formulas Using Spot 1.0. ATVA 2013: 442-445 - Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. ATVA 2013: 102-117 - Sami Evangelista, Lars Michael Kristensen, Laure Petrucci:
Multi-threaded Explicit State Space Exploration with State Reconstruction. ATVA 2013: 208-223 - Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho:
An Automatic Technique for Checking the Simulation of Timed Systems. ATVA 2013: 71-86 - Lukasz Fronc, Alexandre Duret-Lutz:
LTL Model Checking with Neco. ATVA 2013: 451-454 - Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang:
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. ATVA 2013: 464-468 - Orna Grumberg, Orna Kupferman, Sarai Sheinvald:
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. ATVA 2013: 397-411 - Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina:
Interpolation Properties and SAT-Based Model Checking. ATVA 2013: 255-271 - Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng:
VCS: A Verifier for Component-Based Systems. ATVA 2013: 478-481 - Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski:
Linear Ranking for Linear Lasso Programs. ATVA 2013: 365-380 - Philipp Hoffmann, Michael Luttenberger:
Solving Parity Games on the GPU. ATVA 2013: 455-459 - Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen:
CELL: A Compositional Verification Framework. ATVA 2013: 474-477 - Aleksandra Jovanovic, Didier Lime, Olivier H. Roux:
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. ATVA 2013: 87-101 - Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty:
Improved Upper and Lower Bounds for Büchi Disambiguation. ATVA 2013: 40-54 - Jan Kretínský, Ruslán Ledesma-Garza:
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. ATVA 2013: 446-450
skipping 16 more matches
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-05-19 17:25 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