Остановите войну!
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 34 matches
- 2019
- S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah:
Knowledge Compilation for Boolean Functional Synthesis. FMCAD 2019: 161-169 - Haniel Barbosa, Andrew Reynolds, Daniel Larraz, Cesare Tinelli:
Extending enumerative function synthesis via SMT-driven classification. FMCAD 2019: 212-220 - Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei:
Verifying Relational Properties using Trace Logic. FMCAD 2019: 170-178 - Freark I. van der Berg, Jaco van de Pol:
Concurrent Chaining Hash Maps for Software Model Checking. FMCAD 2019: 46-54 - Ryan Berryhill, Andreas G. Veneris:
Chasing Minimal Inductive Validity Cores in Hardware Model Checking. FMCAD 2019: 19-27 - Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman:
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD 2019: 147-151 - Martin Dixon:
An Increasing Need for Formality (Keynote). FMCAD 2019: 1 - Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier:
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. FMCAD 2019: 1-9 - Rafael Dutra, Jonathan Bachrach, Koushik Sen:
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. FMCAD 2019: 203-211 - Ali Ebnenasir:
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. FMCAD 2019: 78-86 - Grigory Fedyukovich:
The FMCAD 2019 Student Forum. FMCAD 2019: 1 - Florian Frohn, Jürgen Giesl:
Proving Non-Termination via Loop Acceleration. FMCAD 2019: 221-230 - Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh:
Input Elimination Transformations for Scalable Verification and Trace Reconstruction. FMCAD 2019: 10-18 - Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer:
Localizing Quantifiers for DQBF. FMCAD 2019: 184-192 - Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. FMCAD 2019: 138-146 - Mark R. Greenstreet:
Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial). FMCAD 2019: 1 - Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan:
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. FMCAD 2019: 96-104 - Daniela Kaufmann, Armin Biere, Manuel Kauers:
Verifying Large Multipliers by Combining SAT and Computer Algebra. FMCAD 2019: 28-36 - Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel:
Unification-based Pointer Analysis without Oversharing. FMCAD 2019: 37-45 - Oliver Kullmann, Ankit Shukla:
Autarkies for DQCNF. FMCAD 2019: 179-183 - Dmitry Mordvinov, Grigory Fedyukovich:
Property Directed Inference of Relational Invariants. FMCAD 2019: 152-160 - Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray:
Verification of Authenticated Firmware Loaders. FMCAD 2019: 110-119 - Alexander Nadel:
Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization. FMCAD 2019: 193-202 - Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc:
BDD-Based Algorithms for Packet Classification. FMCAD 2019: 64-68 - Daniel Neider, Oliver Markgraf:
Learning-Based Synthesis of Safety Controllers. FMCAD 2019: 120-128 - Benjamin Ogles, Peter Aldous, Eric Mercer:
Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. FMCAD 2019: 55-63 - Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni:
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. FMCAD 2019: 105-109 - Nadia Polikarpova:
SuSLik: Synthesis of Safe Pointer-Manipulating Programs (Invited Tutorial). FMCAD 2019: 1 - Dorsa Sadigh:
Safe and Interactive Autonomy: A Journey Starting from Formal Methods (Keynote). FMCAD 2019: 1 - Aellison Cassimiro T. dos Santos, Ben Schneider, Vivek Nigam:
TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. FMCAD 2019: 69-77
skipping 4 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-07-02 03:50 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