Остановите войну!
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 40 matches
- 2012
- Étienne André, Laurent Fribourg, Romain Soulat:
Enhancing the Inverse Method with State Merging. NASA Formal Methods 2012: 100-105 - Andrew W. Appel:
Verified Software Toolchain. NASA Formal Methods 2012: 2 - Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky:
A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods 2012: 141-146 - Michael Backes, Alex Busenius, Catalin Hritcu:
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. NASA Formal Methods 2012: 371-387 - Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen:
Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272 - Jiri Barnat, Lubos Brim, Petr Rockai:
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. NASA Formal Methods 2012: 252-266 - Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
Runtime Verification Meets Android Security. NASA Formal Methods 2012: 174-180 - Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng:
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods 2012: 295-309 - Jörg Brauer, Axel Simon:
Inferring Definite Counterexamples through Under-Approximation. NASA Formal Methods 2012: 54-69 - Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry:
Rigorous Polynomial Approximation Using Taylor Models in Coq. NASA Formal Methods 2012: 85-99 - Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms. NASA Formal Methods 2012: 279-294 - Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Checking and Distributing Statistical Model Checking. NASA Formal Methods 2012: 449-463 - George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros:
Abstract Model Repair. NASA Formal Methods 2012: 341-355 - Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen:
Learning Markov Models for Stationary System Behaviors. NASA Formal Methods 2012: 216-230 - Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha:
Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140 - Patrick Cousot:
Formal Verification by Abstract Interpretation. NASA Formal Methods 2012: 3-7 - Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang:
Testing Static Analyzers with Randomly Generated Programs. NASA Formal Methods 2012: 120-125 - Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi:
Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods 2012: 24-38 - Ross Gore, Paul F. Reynolds Jr.:
Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging. NASA Formal Methods 2012: 70-84 - Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer:
Quantitative Timed Analysis of Interactive Markov Chains. NASA Formal Methods 2012: 8-23 - Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz:
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods 2012: 147-161 - Alexander Herz, Kalmer Apinis:
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages. NASA Formal Methods 2012: 106-119 - David N. Jansen, Flemming Nielson, Lijun Zhang:
Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. NASA Formal Methods 2012: 326-340 - Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen:
Incremental Verification with Mode Variable Invariants in State Machines. NASA Formal Methods 2012: 388-402 - Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Generating Verifiable Java Code from Verified PVS Specifications. NASA Formal Methods 2012: 310-325 - Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski:
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results). NASA Formal Methods 2012: 162-167 - Yuhui Lin, Alan Bundy, Gudmund Grov:
The Use of Rippling to Automate Event-B Invariant Preservation Proofs. NASA Formal Methods 2012: 231-236 - Xinxin Liu, Bingtian Xue:
Specification in PDL with Recursion. NASA Formal Methods 2012: 181-194 - Damiano Macedonio, Massimo Merro:
A Semantic Analysis of Wireless Network Security Protocols. NASA Formal Methods 2012: 403-417 - Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang:
CLSE: Closed-Loop Symbolic Execution. NASA Formal Methods 2012: 356-370
skipping 10 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-06-05 22:49 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