Остановите войну!
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 31 matches
- 2020
- Jan Peleska:
New Distribution Paradigms for Railway Interlocking. ISoLA (3) 2020: 434-448 - Wolfgang Ahrendt, Richard Bubel:
Functional Verification of Smart Contracts via Strong Data Integrity. ISoLA (3) 2020: 9-24 - Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi:
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) 2020: 240-254 - Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Bitcoin Covenants Unchained. ISoLA (3) 2020: 25-42 - Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini:
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) 2020: 467-485 - Bernhard Beckert, Jonas Schiffl:
Specifying Framing Conditions for Smart Contracts. ISoLA (3) 2020: 43-59 - Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson:
Making Tezos Smart Contracts More Reliable with Coq. ISoLA (3) 2020: 60-72 - Lars Brünjes, Murdoch James Gabbay:
UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms. ISoLA (3) 2020: 73-88 - Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler:
Native Custom Tokens in the Extended UTXO Model. ISoLA (3) 2020: 89-111 - Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner:
UTXOsf ma: UTXO with Multi-asset Support. ISoLA (3) 2020: 112-130 - Simon Collart Dutilleul, Philippe Bon:
A Modular Design Framework to Assess Intelligent Trains. ISoLA (3) 2020: 404-414 - Joshua Ellul:
Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level. ISoLA (3) 2020: 131-145 - Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) 2020: 389-392 - Martin Fränzle, Paul Kröger:
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. ISoLA (3) 2020: 255-272 - Signe Geisler, Anne E. Haxthausen:
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester. ISoLA (3) 2020: 449-466 - Christopher Goes:
Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix. ISoLA (3) 2020: 146-160 - Dilian Gurov, Paula Herber, Ina Schaefer:
Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) 2020: 235-239 - Marieke Huisman, Raúl E. Monti:
On the Industrial Application of Critical Software Verification with VerCors. ISoLA (3) 2020: 273-292 - Hardi Hungar:
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. ISoLA (3) 2020: 293-306 - Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen:
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. ISoLA (3) 2020: 415-433 - Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier:
Ensuring Safety with System Level Formal Modelling. ISoLA (3) 2020: 393-403 - Timm Liebrenz, Paula Herber, Sabine Glesner:
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. ISoLA (3) 2020: 307-325 - Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina:
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) 2020: 178-194 - Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler:
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling. ISoLA (3) 2020: 326-347 - Mattias Nyberg, Jonas Westman, Dilian Gurov:
Formally Proving Compositionality in Industrial Systems with Informal Specifications. ISoLA (3) 2020: 348-365 - Gordon J. Pace, César Sánchez, Gerardo Schneider:
Reliable Smart Contracts. ISoLA (3) 2020: 3-8 - Alfonso D. D. M. Rius, Eamonn Gashier:
Smart Derivatives: On-Chain Forwards for Digital Assets. ISoLA (3) 2020: 195-211 - Bernd-Holger Schlingloff:
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems. ISoLA (3) 2020: 366-385 - Clara Schneidewind, Markus Scherer, Matteo Maffei:
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. ISoLA (3) 2020: 212-231 - Pablo Lamela Seijas, David Smith, Simon J. Thompson:
Efficient Static Analysis of Marlowe Contracts. ISoLA (3) 2020: 161-177
skipping 1 more match
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-15 05:47 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