Остановите войну!
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 35 matches
- 2011
- Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell:
Litmus: Running Tests against Hardware. TACAS 2011: 41-44 - Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan:
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. TACAS 2011: 254-257 - Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS 2011: 128-142 - Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka:
Model Repair for Probabilistic Systems. TACAS 2011: 326-340 - Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen:
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS 2011: 96-111 - Jacob Burnim, Koushik Sen, Christos Stergiou:
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. TACAS 2011: 11-25 - Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon:
The ACL2 Sedan Theorem Proving System. TACAS 2011: 291-295 - Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
QUASY: Quantitative Synthesis Tool. TACAS 2011: 267-271 - Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl:
GAVS+: An Open Platform for the Research of Algorithmic Game Solving. TACAS 2011: 258-261 - Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. TACAS 2011: 341-356 - Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp:
Optimal Base Encodings for Pseudo-Boolean Constraints. TACAS 2011: 189-204 - Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala:
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. TACAS 2011: 45-59 - Rüdiger Ehlers:
Unbeast: Symbolic Bounded Synthesis. TACAS 2011: 272-275 - Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127 - Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS 2011: 372-387 - Diego Garbervetsky, Daniel Gorín, Ariel Neisen:
Enforcing Structural Invariants Using Dynamic Frames. TACAS 2011: 65-80 - Pranav Garg, P. Madhusudan:
Compositionality Entails Sequentializability. TACAS 2011: 26-40 - Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid:
Specification-Based Program Repair Using SAT. TACAS 2011: 173-188 - Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. TACAS 2011: 143-157 - Krystof Hoder, Laura Kovács, Andrei Voronkov:
Invariant Generation in Vampire. TACAS 2011: 60-64 - Gerard J. Holzmann:
Reliable Software Development: Analysis-Aware Design. TACAS 2011: 1-2 - Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS 2011: 205-219 - Stefan Kiefer, Dominik Wojtczak:
On Probabilistic Parallel Programs with Process Creation and Synchronisation. TACAS 2011: 296-310 - Sebastian Kupferschmid, Martin Wehrle:
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. TACAS 2011: 276-290 - Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria:
Next Generation LearnLib. TACAS 2011: 220-223 - Andreas Podelski, Andrey Rybalchenko:
Transition Invariants and Transition Predicate Abstraction for Program Termination. TACAS 2011: 3-10 - Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio:
Modelling and Verification of Web Services Business Activity Protocol. TACAS 2011: 357-371 - Sanjit A. Seshia, Jonathan Kotker:
GameTime: A Toolkit for Timing Analysis of Software. TACAS 2011: 388-392 - Muralidhar Talupur, Hyojung Han:
Biased Model Checking Using Flows. TACAS 2011: 239-253 - Tino Teige, Martin Fränzle:
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. TACAS 2011: 158-172
skipping 5 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-04-25 16:04 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