
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
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,347 matches
- 2021
- Marko Vjestica, Vladimir Dimitrieski, Milan Pisaric, Slavica Kordic, Sonja Ristic, Ivan Lukovic:
Towards a Formal Specification of Production Processes Suitable for Automatic Execution. Open Comput. Sci. 11(1): 161-179 (2021) - Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. CoRR abs/2102.06037 (2021) - Jayaraj Poroor:
Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications. CoRR abs/2103.05779 (2021) - Zhe Xu, Xiaoming Duan:
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. CoRR abs/2103.14262 (2021) - 2020
- Kerianne Hobbs:
Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. Georgia Institute of Technology, Atlanta, GA, USA, 2020 - Vinicius Fulber Garcia, Elias Procópio Duarte Jr., Alexandre Huff, Carlos R. P. dos Santos:
Network service topology: Formalization, taxonomy and the CUSTOM specification model. Comput. Networks 178: 107337 (2020) - Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione
, Matteo Rossi:
PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects Comput. 32(2-3): 187-227 (2020) - Quentin Rouland
, Brahim Hamid
, Jason Jaskolka:
Formal specification and verification of reusable communication models for distributed systems architecture. Future Gener. Comput. Syst. 108: 178-197 (2020) - Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari:
A Valid and Correct-by-Construction Formal Specification of RBAC. Int. J. Inf. Secur. Priv. 14(2): 41-61 (2020) - Weiqing Wan, Yongqing Yu, Qingyan Zeng, Zhicheng Wen:
Checking the consistency of Object-Z formal specification based on theorem proof. J. Comput. Methods Sci. Eng. 20(1): 217-226 (2020) - Razvan Diaconescu:
Introducing H, an Institution-Based Formal Specification and Verification Language. Logica Universalis 14(2): 259-277 (2020) - Sejin Jung, Junbeom Yoo, Young-Jun Lee:
A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems. Reliab. Eng. Syst. Saf. 203: 107064 (2020) - Dana Dghaym
, Mohammadsadegh Dalvandi
, Michael Poppleton, Colin F. Snook
:
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. Int. J. Softw. Tools Technol. Transf. 22(3): 297-313 (2020) - Zhiyu Liu
, Bo Wu
, Jin Dai
, Hai Lin
:
Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications. IEEE Trans. Control. Netw. Syst. 7(4): 1801-1811 (2020) - Pedro Cabalar
, Jorge Fandinno
, Yuliya Lierler
:
Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. 20(5): 767-782 (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) - Rafika Thabet, Elyes Lamine, Amine Boufaied, Dominik Bork, Ouajdi Korbaa, Hervé Pingaud:
Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach. AMCIS 2020 - Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC 2020: 375-380 - Sean Braithwaite, Ethan Buchman, Igor Konnov
, Zarko Milosevic
, Ilina Stoilkovska, Josef Widder
, Anca Zamfir:
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). FMBC@CAV 2020: 10:1-10:8 - Ákos Hajdu
, Dejan Jovanovic
, Gabriela F. Ciocarlie
:
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). FMBC@CAV 2020: 2:1-2:9 - Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer:
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. ECAI 2020: 2497-2504 - Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
Formal Verification of OIL Component Specifications using mCRL2. FMICS 2020: 231-251 - Thomas Helmuth, Lee Spector, Edward R. Pantridge:
Counterexample-driven genetic programming without formal specifications. GECCO Companion 2020: 239-240 - Emanuel S. Grant, Smruti Priyambada Nanda:
A Review of Applications of Formal Specification in Safety-Critical System Development. ICCDA 2020: 208-215 - Davide G. Cavezza, Dalal Alrajeh, András György:
Minimal Assumptions Refinement for Realizable Specifications. FormaliSE@ICSE 2020: 66-76 - Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser:
Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE 2020: 77-86 - Misbah Mehboob Awan, Farooque Azam, Muhammad Waseem Anwar, Yawar Rasheed:
Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation. ICSIE 2020: 61-66 - Quentin Rouland
, Brahim Hamid
, Jason Jaskolka
:
Reusable Formal Models for Threat Specification, Detection, and Treatment. ICSR 2020: 52-68 - I. S. W. B. Prasetya, Craig Q. H. D. Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries:
Can Learning Formal Specification Be Fun? - Experience and Perspective. ICST Workshops 2020: 437-440 - Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
:
ContracT - from Legal Contracts to Formal Specifications: Preliminary Results. PoEM 2020: 124-137
skipping 2,317 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).
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, 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.
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 account. At the same time, Twitter will persistently 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 2021-04-12 08: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