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
- 2022
- Marco Eilers:
Modular Specification and Verification of Security Properties for Mainstream Languages. ETH Zurich, Zürich, Switzerland, 2022 - 2021
- Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal:
Distributed causal memory: modular specification and verification in higher-order distributed separation logic. Proc. ACM Program. Lang. 5(POPL): 1-29 (2021) - Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers:
Modular specification and verification of closures in Rust. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller:
Gobra: Modular Specification and Verification of Go Programs. CAV (1) 2021: 367-379 - Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller:
Gobra: Modular Specification and Verification of Go Programs (extended version). CoRR abs/2105.13840 (2021) - 2020
- Eduard Kamburjan:
Modular Verification of a Modular Specification: Behavioral Types as Program Logics. Darmstadt University of Technology, Germany, 2020 - 2019
- Vytautas Astrauskas, Peter Müller, Federico Poli, Alexander J. Summers:
Leveraging rust types for modular specification and verification. Proc. ACM Program. Lang. 3(OOPSLA): 147:1-147:30 (2019) - 2017
- Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind:
Kami: a platform for high-level parametric hardware specification and its modular verification. Proc. ACM Program. Lang. 1(ICFP): 24:1-24:30 (2017) - 2016
- Kenneth L. McMillan:
Modular specification and verification of a cache-coherent interface. FMCAD 2016: 109-116 - Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman:
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. VSTTE 2016: 119-128 - Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß:
Modular Specification and Verification. Deductive Software Verification 2016: 289-351 - 2015
- Siavash Soleimanifard, Dilian Gurov, Marieke Huisman:
Procedure-modular specification and verification of temporal safety properties. Softw. Syst. Model. 14(1): 83-100 (2015) - Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen:
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets. ACIT-CSI 2015: 509-516 - 2014
- Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014) - 2012
- Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman:
Specification engineering and modular verification using a web-integrated verifying compiler. ICSE 2012: 1379-1382 - 2011
- Hejiao Huang, Hélène Kirchner:
Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets. IEEE Trans. Dependable Secur. Comput. 8(6): 852-865 (2011) - Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney:
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. AOSD 2011: 141-152 - Yijing Liu, Ali Hong, Zongyan Qiu:
Inheritance and Modularity in Specification and Verification of OO Programs. TASE 2011: 19-26 - 2010
- Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev:
Modular specification and verification of interprocess communication. FMCAD 2010: 167-174 - 2008
- Mana Taghdiri:
Automating modular program verification by refining specifications. Massachusetts Institute of Technology, Cambridge, MA, USA, 2008 - Kohei Sakurai, Péter Bokor, Neeraj Suri:
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. HASE 2008: 261-270 - 2007
- Gary T. Leavens, Joseph R. Kiniry, Erik Poll:
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37 - 2005
- Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby:
Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576 - 2002
- Peter Müller:
Modular Specification and Verification of Object-Oriented Programs. University of Hagen, Germany, Lecture Notes in Computer Science 2262, Springer 2002, ISBN 3-540-43167-5, pp. 1-261 - 2001
- Pierre-Alain Masson:
Vérification par Model-Checking Modulaire de Propriétés Dynamiques PLTL exprimées dans le cadre de Spécifications B événementielles. (Verification by Modular Model-Checking of PLTL Dynamic Properties Expressed in the Context of B Event Systems). University of Franche-Comté, Besançon, France, 2001 - Purnendu Sinha, Neeraj Suri:
On Simplifying Modular Specification and Verification of Distributed Protocols. HASE 2001: 173-181 - Purnendu Sinha, Neeraj Suri:
Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification. ICDCS 2001: 255-263 - 1998
- Peter Herrmann, Heiko Krumm:
Modular specification and verification of XTP. Telecommun. Syst. 9(2): 207-221 (1998) - Chang-shin Chung, Moon-kun Lee, Myung-sun Jeong:
A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification. APSEC 1998: 278- - Georg Rock, Werner Stephan, Andreas Wolpers:
Modular reasoning about structured TLA specifications. Tool Support for System Specification, Development and Verification 1998: 217-229
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-09-20 18:19 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