Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarSearch 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
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 year
- no options
- temporarily not available
Publication search results
found 2,275 matches
- 2020
- Christoph Czepa
, Uwe Zdun:
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language. IEEE Trans. Software Eng. 46(1): 100-112 (2020) - Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus:
Formal Specification of Robotic Architectures for Experimental Robotics. Metrics of Sensory Motor Coordination and Integration in Robots and Animals 2020: 15-37 - Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov:
Formal specification of a security framework for smart contracts. CoRR abs/2001.04314 (2020) - 2019
- L. Thomas van Binsbergen:
Executable formal specification of programming languages with reusable components. Royal Holloway, University of London, Egham, UK, 2019 - Zhao Lv, Shuming Chen, Tingrong Zhang, Yaohua Wang:
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model. IEEE Access 7: 14947-14958 (2019) - Jimmy Abualdenien, André Borrmann:
A meta-model approach for formal specification and consistent management of multi-LOD building models. Adv. Eng. Informatics 40: 135-153 (2019) - Giordano Pola, Maria Domenica Di Benedetto:
Control of Cyber-Physical-Systems with logic specifications: A formal methods approach. Annu. Rev. Control. 47: 178-192 (2019) - Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52(5): 100:1-100:41 (2019) - Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck:
Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods in System Design 55(2): 103-135 (2019) - Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden:
Change Impact Analysis for Refinement-Based Formal Specification. IEICE Transactions 102-D(8): 1462-1477 (2019) - Kobamelo Moremedi, John Andrew van der Poll:
Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations. IJDMMM 11(3): 259-283 (2019) - Gervasio Pérez, Sergio Yovine:
Formal specification and implementation of an automated pattern-based parallel-code generation framework. STTT 21(2): 183-202 (2019) - Wattana Viriyasitavat, Li Da Xu, Zhuming Bi:
The Extension of Semantic Formalization of Service Workflow Specification Language. IEEE Trans. Industrial Informatics 15(2): 741-754 (2019) - Swetha Govindaiah, Mikel D. Petty:
Applying Reinforcement Learning to Plan Manufacturing Material Handling Part 1: Background and Formal Problem Specification. ACM Southeast Regional Conference 2019: 168-171 - Nikolay A. Skvortsov, Sergey A. Stupnikov:
Formalizing Requirement Specifications for Problem Solving in a Research Domain. ADBIS (Short Papers and Workshops) 2019: 266-279 - Hossein Rastgoftar, Jean-Baptiste Jeannin, Ella M. Atkins:
Formal Specification of Continuum Deformation Coordination. ACC 2019: 3358-3363 - Anas Al Bassit, Sabri Skhiri, Hejer Ammar:
LEAD: A Formal Specification For Event Processing. DEBS 2019: 91-102 - Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul:
Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. ER 2019: 338-351 - Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe:
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. FACS 2019: 170-190 - Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira:
GOSPEL - Providing OCaml with a Formal Specification Language. FM 2019: 484-501 - Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel:
Embedding High-Level Formal Specifications into Applications. FM 2019: 519-535 - Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge:
Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. FM 2019: 727-737 - Anh V. Vu, Mizuhito Ogawa:
Formal Semantics Extraction from Natural Language Specifications for ARM. FM 2019: 465-483 - Mateusz Slazynski, Salvador Abreu, Grzegorz J. Nalepa:
Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure. GECCO (Companion) 2019: 137-138 - Xie Lili, Zhai Zhigang:
Formal Specification of Concurrent Enforcement UCON Model with CTL Logic. ICAIS (2) 2019: 627-641 - Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali:
A Formal Methods Approach to Security Requirements Specification and Verification. ICECCS 2019: 236-241 - Jiao Jiao:
Formal Specification and Verification of Smart Contracts. ICFEM 2019: 512-516 - I. S. W. B. Prasetya, Craig Q. H. D. Leek, Orestis Melkonian, Joris ten Tusscher, Jan van Bergen, J. M. Everink, Thomas van der Klis, Rick Meijerink, Roan Oosenbrug, Jelle J. Oostveen, Tijmen van den Pol, Wink M. van Zon:
Having fun in learning formal specifications. ICSE (SEET) 2019: 192-196 - Daniel Ratiu, Marco Gario, Hannes Schoenhaar:
FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV. FormaliSE@ICSE 2019: 41-50 - Rezvan Joshaghani, Stacy Black, Elena Sherman, Hoda Mehrpouyan:
Formal specification and verification of user-centric privacy policies for ubiquitous systems. IDEAS 2019: 31:1-31:10
skipping 2,245 more matches
loading more results 
failed to load more results, please try again later
The full-text search results are provided via 
, courtesy of AI2.
Publication search results
found ?? matches
The Semantic Scholar full-text search requires JavaScript to operate properly. To proceed, please enable JavaScript in your browser settings.
- service temporarily not available
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
retrieved on 2020-02-26 11:54 CET 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
the dblp computer science bibliography is funded by:
