default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 685 matches
- 2024
- Fahad Alotaibi
, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler:
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. ABZ 2024: 43-60 - Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills:
Property Ownership Formal Modelling Using Event-B and iUML-B. ABZ 2024: 191-200 - Julius Armbrüster, Philipp Körner:
Meta-programming Event-B - Advancing Tool Support and Language Extensions. ABZ 2024: 233-240 - Benoît Ballenghien, Burkhart Wolff:
Event-B as DSL in Isabelle and HOL Experiences from a Prototype. ABZ 2024: 241-247 - Maurice H. ter Beek:
Formal Methods and Tools Applied in the Railway Domain. ABZ 2024: 3-21 - Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang:
Verifying HyperLTL Properties in Event-B. ABZ 2024: 255-261 - Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ 2024: 160-178 - Silvia Bonfanti, Angelo Gargantini:
The Mechanical Lung Ventilator Case Study. ABZ 2024: 281-288 - Egon Börger, Vincenzo Gervasi:
A Lean Reflective Abstract State Machine Definition. ABZ 2024: 99-104 - Giuseppe Del Castillo:
Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines. ABZ 2024: 215-222 - César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis:
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. ABZ 2024: 141-159 - Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse:
Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. ABZ 2024: 341-359 - Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan:
FRETting and Formal Modelling: A Mechanical Lung Ventilator. ABZ 2024: 360-383 - Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone:
Designing Exception Handling Using Event-B. ABZ 2024: 270-277 - Flavio Ferrarotti, Klaus-Dieter Schewe:
Modal Extensions of the Logic of Abstract State Machines. ABZ 2024: 123-140 - Anne Grieu:
From Event-B to Lambdapi. ABZ 2024: 387-391 - Stefan Hallerstede:
Loose Observation in Event-B. ABZ 2024: 105-122 - Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler:
Semantics Formalisation - From Event-B Contexts to Theories. ABZ 2024: 208-214 - Akram Idani:
Transpilation of Petri-nets into B - Shallow and Deep Embeddings. ABZ 2024: 80-98 - Bodo Igler, Andreas Mayer:
ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq. ABZ 2024: 248-254 - Jean-Pierre Jacquot:
Multi-model Animation with JeB. ABZ 2024: 223-232 - Amel Mammar:
An Event-B Model of a Mechanical Lung Ventilator. ABZ 2024: 307-323 - Alex Rodrigue Ndouna, Marc Frappier:
Modelling a Mechanical Lung Ventilation System Using TASTD. ABZ 2024: 324-340 - Edward Sabinus:
Proof Construction and Checking on Evolving Abstract State Machines. ABZ 2024: 392-396 - Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Alloy Goes Fuzzy. ABZ 2024: 61-79 - Saloni Sinha, Eunsuk Kang:
Formal Modeling and Analysis of Apache Kafka in Alloy 6. ABZ 2024: 25-42 - Pavlo Tokariev, Frédéric Mallet:
Real-Time CCSL: Application to the Mechanical Lung Ventilator. ABZ 2024: 289-306 - Simone Valentini, Chiara Braghin, Elvinia Riccobene:
A Modeling and Verification Framework for Ethereum Smart Contracts. ABZ 2024: 201-207 - Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh, Michael J. Butler:
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. ABZ 2024: 181-190 - Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach:
Small Step Incremental Verification of Compilers. ABZ 2024: 262-269
skipping 655 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-12-20 07:31 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
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
