default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID75th Birthday: Egon Börger , 2021
- Alexander Raschke
, Elvinia Riccobene, Klaus-Dieter Schewe:
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 12750, Springer 2021, ISBN 978-3-030-76019-9 - Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh:
Towards Leveraging Domain Knowledge in State-Based Formal Methods. 1-13 - Klaus Ambos-Spies:
Some Observations on Mitotic Sets. 14-28 - Richard Banach, Huibiao Zhu:
Moded and Continuous Abstract State Machines. 29-62 - Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides:
Product Optimization in Stepwise Design. 63-81 - Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner:
Semantic Splitting of Conditional Belief Bases. 82-95 - Jonathan P. Bowen:
Communities and Ancestors Associated with Egon Börger and ASM. 96-120 - Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Language and Communication Problems in Formalization: A Natural Language Approach. 121-134 - Flavio Ferrarotti, Senén González:
ASM Specification and Refinement of a Quantum Algorithm. 135-146 - Michael Leuschel:
Spot the Difference: A Detailed Comparison Between B and Event-B. 147-172 - Johann A. Makowsky:
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond. 173-186 - Emanuele Covino, Giovanni Pani:
Analysis of Mobile Networks' Protocols Based on Abstract State Machine. 187-198 - Andreas Prinz:
What is the Natural Abstraction Level of an Algorithm? 199-214 - Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
The ASMETA Approach to Safety Assurance of Software Systems. 215-238 - Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif:
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. 239-265 - Klaus-Dieter Schewe:
Computation on Structures - Behavioural Theory, Logic, Complexity. 266-282 - Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, Stephan Borgert:
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. 283-300 - Bernhard Thalheim:
Models and Modelling in Computer Science. 301-325 - Wolf Zimmermann, Mandy Weißbach:
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. 326-352
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.
last updated on 2024-11-07 20:40 CET 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:
