| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.) |
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings  |
ABZ  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson |
ABZ Languages and Tools in Industrial-Scale Application. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon |
Clarification of Ambiguity for the Simple Authentication and Security Layer. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Pavel Jezek, Jan Kofron |
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron |
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Vistbakka, Mikhail Barash, Elena Troubitsyna |
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer |
Modelling Dynamic Data Structures with the B Method. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha, Nuno Macedo |
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Michael J. Butler, Klaus Reichl |
The Hybrid ERTMS/ETCS Level 3 Case Study. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
AsmetaA: Animator for Abstract State Machines. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang 0002 |
Distributed Adaptive Systems - Theory, Specification, Reasoning. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach |
Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Refinement of Timing Constraints for Concurrent Tasks with Scheduling. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
Solver-Based Sketching of Alloy Models Using Test Valuations. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau |
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel |
A Translation from Alloy to B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard |
An Automation-Friendly Set Theory for the B Method. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar |
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lilian Burdy, David Déharbe |
Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Raymond Abrial |
On B and Event-B: Principles, Success and Challenges. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G. |
A Super Industrial Application of PSGraph. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres |
Towards an ASM Thesis for Reflective Sequential Algorithms. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Atif Mashkoor |
The Hemodialysis Machine Case Study. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Marc Pantel |
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. Baugh Jr., Alper Altuntas |
Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow |
Semi-Automated Design Space Exploration for Formal Modelling. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Hansen, David Schneider 0001, Michael Leuschel |
Using B and ProB for Data Validation Projects. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yibo Liang, Yuhui Lin, Gudmund Grov |
'The Tinker' for Rodin. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Kossak, Atif Mashkoor |
How to Select the Suitable Formal Method for an Industrial Application: A Survey. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Murali, Andrew Ireland, Gudmund Grov |
UC-B: Use Case Modelling with Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier |
Unified Syntax for Abstract State Machines. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene |
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Egon Börger |
A Compact Encoding of Sequential ASMs in Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi |
A Graphical Tool for Event Refinement Structures in Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Edmunds, Colin F. Snook, Marina Waldén |
On Component-Based Reuse for Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz |
Proving Determinacy of the PharOS Real-Time Operating System. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky |
Rodin Platform Why3 Plug-In. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec |
Mechanized Refinement of Communication Models with TLA ^+ +. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel |
Generating Event-B Specifications from Algorithm Descriptions. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Oliveira Gomes, Andrew Butterfield |
Modelling the Haemodialysis Machine with Circus. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif |
A Relational Encoding for a Clash-Free Subset of ASMs. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy |
A Universal Control Construct for Abstract State Machines. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Paulweber, Uwe Zdun |
A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Mentré |
SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Noran Azmy, Stephan Merz, Christoph Weidenbach |
A Rigorous Correctness Proof for Pastry. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach |
Hemodialysis Machine in Hybrid Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Krings, Michael Leuschel |
Proof Assisted Symbolic Model Checking for B and Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivaylo Dobrikov, Michael Leuschel |
Enabling Analysis for Event-B. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau |
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Merz, Hernán Vanzetto |
Encoding TLA ^+ + into Many-Sorted First-Order Logic. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler |
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Schmidt, Sebastian Krings, Michael Leuschel |
Interactive Model Repair by Synthesis. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maha Boussabbeh, Mohamed Tounsi 0001, Mohamed Mosbah 0001, Ahmed Hadj Kacem |
Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró (eds.) |
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach |
Invariant Guided System Decomposition. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn |
Distributed Situation Analysis - A Formal Semantic Framework. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani |
WebASM: An Abstract State Machine Execution Environment for the Web. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Prinz 0001, Edel Sherratt |
Distributed ASM - Pitfalls and Solutions. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Voisin, Jean-Raymond Abrial |
The Rodin Platform Has Turned Ten. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Klaus-Dieter Schewe |
Specifying Transaction Control to Serialize Concurrent Program Executions. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Guéry, Olivier Rolland, Joris Rehm |
Fixed-Point Arithmetic Modeled in B Software Using Reals. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra |
Towards ASM-Based Formal Specification of Self-Adaptive Systems. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Gammaitoni, Pierre Kelsen |
Domain-Specific Visualization of Alloy Instances. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki |
Formal System Modelling Using Abstract Data Types in Event-B. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Dausend, Alexander Raschke |
Introducing Aspect-Oriented Specification for Abstract State Machines. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, David Schneider 0001 |
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Edmunds |
Templates for Event-B Code Generation. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Milicevic, Ido Efrati, Daniel Jackson 0001 |
αRby - An Embedding of Alloy in Ruby. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Newcombe |
Why Amazon Chose TLA +. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh 0001 |
Analysis of Self-⋆ and P2P Systems Using Refinement. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, Jeremy Jacob |
Sealed Containers in Z. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Klaus-Dieter Schewe (eds.) |
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith 0001, Qin Li 0002 |
MAZE: An Extension of Object-Z for Multi-Agent Systems. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede |
Quasi-Lexicographic Convergence. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna |
Formal Derivation of Distributed MapReduce. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vajih Montaghami, Derek Rayside |
Staged Evaluation of Partial Instances in a Relational Model Finder. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
Understanding and Planning Event-B Refinement through Primitive Rationales. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Hansen, Michael Leuschel |
Translating B to TLA + for Validation with TLC. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David Delahaye, Catherine Dubois, Claude Marché, David Mentré |
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki 0001 |
Optimizing Alloy for Multi-objective Software Product Line Configuration. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso |
Detecting Network Policy Conflicts Using Alloy. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais |
Validating the RBAC ANSI 2012 Standard Using B. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif |
Development of a Verified Flash File System. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alcino Cunha |
Bounded Model Checking of Temporal Formulas with Alloy. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, Mohamed Iguernelala |
Tuning the Alt-Ergo SMT Solver for B Proof Obligations. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif |
Modular Refinement for Submachines of ASMs. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru |
B Formal Validation of ERTMS/ETCS Railway Operating Rules. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Gervasi |
An ASM Model of Concurrency in a Web Browser. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook |
A Practical Event-B Refinement Method Based on a UML-Driven Development Process. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Francesco Bolis, Angelo Gargantini |
Test Generation for Sequential Nets of Abstract State Machines. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amirhossein Vakili, Nancy A. Day |
Temporal Logic Model Checking in Alloy. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Robert Colvin |
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Marriott, Frank Zeyda, Ana Cavalcanti 0001 |
A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Nelson 0001, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
Toward a More Complete Alloy. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry |
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vajih Montaghami, Derek Rayside |
Extending Alloy with Partial Instances. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license