default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDABZ 2014: Toulouse, France
- Yamine Aït Ameur, Klaus-Dieter Schewe:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. Lecture Notes in Computer Science 8477, Springer 2014, ISBN 978-3-662-43651-6 - Laurent Voisin
, Jean-Raymond Abrial:
The Rodin Platform Has Turned Ten. 1-8 - Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif:
Development of a Verified Flash File System. 9-24 - Chris Newcombe:
Why Amazon Chose TLA +. 25-39 - Dominik Hansen, Michael Leuschel:
Translating B to TLA + for Validation with TLC. 40-55 - Aleksandar Milicevic, Ido Efrati, Daniel Jackson:
αRby - An Embedding of Alloy in Ruby. 56-71 - Graeme Smith, Qin Li:
MAZE: An Extension of Object-Z for Multi-Agent Systems. 72-85 - Stefan Hallerstede:
Quasi-Lexicographic Convergence. 86-100 - Michael Leuschel, David Schneider:
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. 101-116 - Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Analysis of Self-⋆ and P2P Systems Using Refinement. 117-123 - Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru:
B Formal Validation of ERTMS/ETCS Railway Operating Rules. 124-129 - José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede:
Modelling Energy Consumption in Embedded Systems with VDM-RT. 130-135 - Eerke A. Boiten, Jeremy Jacob:
Sealed Containers in Z. 136-141 - Egon Börger, Klaus-Dieter Schewe:
Specifying Transaction Control to Serialize Concurrent Program Executions. 142-157 - Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn:
Distributed Situation Analysis - A Formal Semantic Framework. 158-173 - Marcel Dausend, Alexander Raschke:
Introducing Aspect-Oriented Specification for Abstract State Machines. 174-187 - Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Modular Refinement for Submachines of ASMs. 188-203 - Elvinia Riccobene, Patrizia Scandurra:
Towards ASM-Based Formal Specification of Self-Adaptive Systems. 204-209 - Andreas Prinz, Edel Sherratt:
Distributed ASM - Pitfalls and Solutions. 210-215 - Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani:
WebASM: An Abstract State Machine Execution Environment for the Web. 216-221 - Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki:
Formal System Modelling Using Abstract Data Types in Event-B. 222-237 - Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna:
Formal Derivation of Distributed MapReduce. 238-254 - Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais:
Validating the RBAC ANSI 2012 Standard Using B. 255-270 - Richard Banach:
Invariant Guided System Decomposition. 271-276 - Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Understanding and Planning Event-B Refinement through Primitive Rationales. 277-283 - Andrew Edmunds:
Templates for Event-B Code Generation. 284-289 - David Delahaye, Catherine Dubois, Claude Marché, David Mentré:
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. 290-293 - Sylvain Conchon, Mohamed Iguernelala:
Tuning the Alt-Ergo SMT Solver for B Proof Obligations. 294-297 - Jérôme Guéry, Olivier Rolland, Joris Rehm:
Fixed-Point Arithmetic Modeled in B Software Using Reals. 298-302 - Alcino Cunha:
Bounded Model Checking of Temporal Formulas with Alloy. 303-308 - Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov:
Formal Verification of OS Security Model with Alloy and Event-B. 309-313 - Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso:
Detecting Network Policy Conflicts Using Alloy. 314-317 - Vajih Montaghami, Derek Rayside:
Staged Evaluation of Partial Instances in a Relational Model Finder. 318-323 - Loïc Gammaitoni, Pierre Kelsen:
Domain-Specific Visualization of Alloy Instances. 324-327 - Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki:
Optimizing Alloy for Multi-objective Software Product Line Configuration. 328-333
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 2025-10-22 02:20 CEST 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:
