More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

ABZ 2014: Toulouse, France

> Home > Conferences and Workshops > ABZ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/asm/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/2014
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
- view
  authority control:
- export record
  dblp key:
  - conf/asm/VoisinA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/VoisinA14
Laurent Voisin, Jean-Raymond Abrial:
The Rodin Platform Has Turned Ten. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/asm/SchellhornEPHR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/SchellhornEPHR14
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif:
Development of a Verified Flash File System. 9-24
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Newcombe14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Newcombe14
Chris Newcombe:
Why Amazon Chose TLA +. 25-39
- view
  authority control:
- export record
  dblp key:
  - conf/asm/HansenL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/HansenL14
Dominik Hansen, Michael Leuschel:
Translating B to TLA + for Validation with TLC. 40-55
- view
  authority control:
- export record
  dblp key:
  - conf/asm/MilicevicEJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/MilicevicEJ14
Aleksandar Milicevic, Ido Efrati, Daniel Jackson:
αRby - An Embedding of Alloy in Ruby. 56-71
- view
  authority control:
- export record
  dblp key:
  - conf/asm/SmithL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/SmithL14
Graeme Smith, Qin Li:
MAZE: An Extension of Object-Z for Multi-Agent Systems. 72-85
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Hallerstede14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Hallerstede14
Stefan Hallerstede:
Quasi-Lexicographic Convergence. 86-100
- view
  authority control:
- export record
  dblp key:
  - conf/asm/LeuschelS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/LeuschelS14
Michael Leuschel, David Schneider:
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. 101-116
- view
  authority control:
- export record
  dblp key:
  - conf/asm/AndriamiarinaMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/AndriamiarinaMS14
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Analysis of Self-⋆ and P2P Systems Using Refinement. 117-123
- view
  authority control:
- export record
  dblp key:
  - conf/asm/AyedDBIL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/AyedDBIL14
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru:
B Formal Validation of ERTMS/ETCS Railway Operating Rules. 124-129
- view
  authority control:
- export record
  dblp key:
  - conf/asm/IsasaJNH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/IsasaJNH14
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
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BoitenJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BoitenJ14
Eerke A. Boiten, Jeremy Jacob:
Sealed Containers in Z. 136-141
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BorgerS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BorgerS14
Egon Börger, Klaus-Dieter Schewe:
Specifying Transaction Control to Serialize Concurrent Program Executions. 142-157
- view
  authority control:
- export record
  dblp key:
  - conf/asm/NalbandyanGSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/NalbandyanGSW14
Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn:
Distributed Situation Analysis - A Formal Semantic Framework. 158-173
- view
  authority control:
- export record
  dblp key:
  - conf/asm/DausendR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DausendR14
Marcel Dausend, Alexander Raschke:
Introducing Aspect-Oriented Specification for Abstract State Machines. 174-187
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ErnstPSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ErnstPSR14
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Modular Refinement for Submachines of ASMs. 188-203
- view
  authority control:
- export record
  dblp key:
  - conf/asm/RiccobeneS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/RiccobeneS14
Elvinia Riccobene, Patrizia Scandurra:
Towards ASM-Based Formal Specification of Self-Adaptive Systems. 204-209
- view
  authority control:
- export record
  dblp key:
  - conf/asm/PrinzS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/PrinzS14
Andreas Prinz, Edel Sherratt:
Distributed ASM - Pitfalls and Solutions. 210-215
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ZenzaroGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ZenzaroGS14
Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani:
WebASM: An Abstract State Machine Execution Environment for the Web. 216-221
- view
  authority control:
- export record
  dblp key:
  - conf/asm/FurstHBSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/FurstHBSM14
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
- view
  authority control:
- export record
  dblp key:
  - conf/asm/PereverzevaBFLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/PereverzevaBFLT14
Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna:
Formal Derivation of Distributed MapReduce. 238-254
- view
  authority control:
- export record
  dblp key:
  - conf/asm/HuynhFMLD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/HuynhFMLD14
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais:
Validating the RBAC ANSI 2012 Standard Using B. 255-270
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Banach14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Banach14
Richard Banach:
Invariant Guided System Decomposition. 271-276
- view
  authority control:
- export record
  dblp key:
  - conf/asm/KobayashiIH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/KobayashiIH14
Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Understanding and Planning Event-B Refinement through Primitive Rationales. 277-283
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Edmunds14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Edmunds14
Andrew Edmunds:
Templates for Event-B Code Generation. 284-289
- view
  authority control:
- export record
  dblp key:
  - conf/asm/DelahayeDMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DelahayeDMM14
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
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ConchonI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ConchonI14
Sylvain Conchon, Mohamed Iguernelala:
Tuning the Alt-Ergo SMT Solver for B Proof Obligations. 294-297
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GueryRR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GueryRR14
Jérôme Guéry, Olivier Rolland, Joris Rehm:
Fixed-Point Arithmetic Modeled in B Software Using Reals. 298-302
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Cunha14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Cunha14
Alcino Cunha:
Bounded Model Checking of Temporal Formulas with Alloy. 303-308
- view
  authority control:
- export record
  dblp key:
  - conf/asm/DevyaninKKPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DevyaninKKPS14
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
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Maldonado-LopezCD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Maldonado-LopezCD14
Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso:
Detecting Network Policy Conflicts Using Alloy. 314-317
- view
  authority control:
- export record
  dblp key:
  - conf/asm/MontaghamiR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/MontaghamiR14
Vajih Montaghami, Derek Rayside:
Staged Evaluation of Partial Instances in a Relational Model Finder. 318-323
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GammaitoniK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GammaitoniK14
Loïc Gammaitoni, Pierre Kelsen:
Domain-Specific Visualization of Alloy Instances. 324-327
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ZulkoskiKYRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ZulkoskiKYRC14
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.