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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![Springer, 978-3-319-91270-7 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson |
ABZ Languages and Tools in Industrial-Scale Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 3-15, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon |
Clarification of Ambiguity for the Simple Authentication and Security Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 189-203, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Pavel Jezek, Jan Kofron |
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 277-291, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 292-306, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 386-391, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 420-424, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alcino Cunha, Nuno Macedo |
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 307-321, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thai Son Hoang, Michael J. Butler, Klaus Reichl |
The Hybrid ERTMS/ETCS Level 3 Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 251-261, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
AsmetaA: Animator for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 369-373, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang 0002 |
Distributed Adaptive Systems - Theory, Specification, Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 16-30, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 155-170, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 171-186, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Refinement of Timing Constraints for Concurrent Tasks with Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 219-233, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
Solver-Based Sketching of Alloy Models Using Test Valuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 121-136, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 353-366, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel |
A Translation from Alloy to B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 71-86, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard |
An Automation-Friendly Set Theory for the B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 409-414, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 262-276, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 415-419, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial |
On B and Event-B: Principles, Success and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 31-35, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G. |
A Super Industrial Application of PSGraph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 319-325, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres |
Towards an ASM Thesis for Reflective Sequential Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 244-249, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Atif Mashkoor |
The Hemodialysis Machine Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 329-343, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 290-296, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John W. Baugh Jr., Alper Altuntas |
Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 256-261, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 282-289, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Hansen, David Schneider 0001, Michael Leuschel |
Using B and ProB for Data Validation Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 167-182, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yibo Liang, Yuhui Lin, Gudmund Grov |
'The Tinker' for Rodin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 262-268, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger |
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 3-34, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Felix Kossak, Atif Mashkoor |
How to Select the Suitable Formal Method for an Industrial Application: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 213-228, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Murali, Andrew Ireland, Gudmund Grov |
UC-B: Use Case Modelling with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 297-302, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 231-236, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 344-359, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Egon Börger |
A Compact Encoding of Sequential ASMs in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 119-134, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 269-274, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Edmunds, Colin F. Snook, Marina Waldén |
On Component-Based Reuse for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 151-166, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 70-85, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky |
Rodin Platform Why3 Plug-In. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 275-281, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec |
Mechanized Refinement of Communication Models with TLA ^+ +. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 312-318, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel |
Generating Event-B Specifications from Algorithm Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 183-197, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Artur Oliveira Gomes, Andrew Butterfield |
Modelling the Haemodialysis Machine with Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 409-424, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 237-243, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy |
A Universal Control Construct for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 37-53, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Paulweber, Uwe Zdun |
A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 250-255, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Mentré |
SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 308-311, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Noran Azmy, Stephan Merz, Christoph Weidenbach |
A Rigorous Correctness Proof for Pastry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 86-101, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Hemodialysis Machine in Hybrid Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 376-393, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Krings, Michael Leuschel |
Proof Assisted Symbolic Model Checking for B and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 135-150, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ivaylo Dobrikov, Michael Leuschel |
Enabling Analysis for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 102-118, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 394-408, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Merz, Hernán Vanzetto |
Encoding TLA ^+ + into Many-Sorted First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 54-69, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 360-375, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Schmidt, Sebastian Krings, Michael Leuschel |
Interactive Model Repair by Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 303-307, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 198-212, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![Springer, 978-3-319-33599-5 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Invariant Guided System Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 271-276, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn |
Distributed Situation Analysis - A Formal Semantic Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 158-173, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani |
WebASM: An Abstract State Machine Execution Environment for the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 216-221, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Prinz 0001, Edel Sherratt |
Distributed ASM - Pitfalls and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 210-215, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Voisin, Jean-Raymond Abrial |
The Rodin Platform Has Turned Ten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 1-8, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Klaus-Dieter Schewe |
Specifying Transaction Control to Serialize Concurrent Program Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 142-157, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Guéry, Olivier Rolland, Joris Rehm |
Fixed-Point Arithmetic Modeled in B Software Using Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 298-302, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvinia Riccobene, Patrizia Scandurra |
Towards ASM-Based Formal Specification of Self-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 204-209, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 130-135, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Gammaitoni, Pierre Kelsen |
Domain-Specific Visualization of Alloy Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 324-327, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 222-237, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Dausend, Alexander Raschke |
Introducing Aspect-Oriented Specification for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 174-187, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 309-313, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 101-116, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Edmunds |
Templates for Event-B Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 284-289, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Milicevic, Ido Efrati, Daniel Jackson 0001 |
αRby - An Embedding of Alloy in Ruby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 56-71, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chris Newcombe |
Why Amazon Chose TLA +. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 25-39, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh 0001 |
Analysis of Self-⋆ and P2P Systems Using Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 117-123, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten, Jeremy Jacob |
Sealed Containers in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 136-141, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![Springer, 978-3-662-43651-6 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Qin Li 0002 |
MAZE: An Extension of Object-Z for Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 72-85, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hallerstede |
Quasi-Lexicographic Convergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 86-100, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna |
Formal Derivation of Distributed MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 238-254, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vajih Montaghami, Derek Rayside |
Staged Evaluation of Partial Instances in a Relational Model Finder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 318-323, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
Understanding and Planning Event-B Refinement through Primitive Rationales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 277-283, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Hansen, Michael Leuschel |
Translating B to TLA + for Validation with TLC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 40-55, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 290-293, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 328-333, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso |
Detecting Network Policy Conflicts Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 314-317, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 255-270, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 9-24, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alcino Cunha |
Bounded Model Checking of Temporal Formulas with Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 303-308, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Mohamed Iguernelala |
Tuning the Alt-Ergo SMT Solver for B Proof Obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 294-297, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif |
Modular Refinement for Submachines of ASMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 188-203, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 124-129, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Gervasi |
An ASM Model of Concurrency in a Web Browser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 79-93, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 357-360, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Francesco Bolis, Angelo Gargantini |
Test Generation for Sequential Nets of Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 36-50, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amirhossein Vakili, Nancy A. Day |
Temporal Logic Model Checking in Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 150-163, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes, Robert Colvin |
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 21-35, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 294-307, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Nelson 0001, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
Toward a More Complete Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 136-149, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 369-372, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vajih Montaghami, Derek Rayside |
Extending Alloy with Partial Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 122-135, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|