Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gudmund Grov, Andrew Ireland, Maria Teresa Llano |
Refinement Plans for Informed Formal Design. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra |
A Reliability Prediction Method for Abstract State Machines. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer |
Refactoring Abstract State Machine Models. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen |
Combining VDM with Executable Code. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu |
Learn and Test for Event-B - A Rodin Plugin. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles |
A Semantic Analysis of Logics That Cope with Partial Terms. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra |
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ting Wang, Dongyao Ji |
Active Attacking Multicast Key Management Protocol Using Alloy. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin |
SMT Solvers for Rodin. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthes Elstermann, Detlef Seese, Albert Fleischmann |
Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Roland Lezuo, Andreas Krall |
A Unified Processor Model for Compiler Verification and Simulation Using ASM. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Milicevic, Daniel Jackson 0001 |
Preventing Arithmetic Overflows in Alloy. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell |
Event-B Code Generation: Type Extension with Theories. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu |
ASM and Controller Synthesis. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Dieter Schewe, Qing Wang 0002 |
A Simplified Parallel ASM Thesis. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Fraikin, Marc Frappier, Richard St-Denis |
Modeling the Supervisory Control Theory with Alloy. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gintautas Sulskus, Michael Poppleton |
A Pattern for Modelling Fault Tolerant Systems in Event-B. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.) |
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Antonio Cisternino, Vincenzo Gervasi |
Contribution to a Rigorous Analysis of Web Application Frameworks. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka |
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Cristiá, Claudia S. Frydman |
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hallerstede, Thai Son Hoang |
Refinement by Interface Instantiation. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ramsay Taylor |
Verification of Hardware Interaction Properties of Software. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial, Wen Su, Huibiao Zhu |
Formalizing Hybrid Systems with Event-B. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu |
Continuous Behaviour in Event-B: A Sketch. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Haniel Barbosa, David Déharbe |
Formal Verification of PLC Programs Using the B Method. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu |
Continuous ASM, and a Pacemaker Sensing Fragment. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.) |
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings |
ABZ |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Amálio, Fiona Polack, Jing Zhang |
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
object-orientation, complex systems, statecharts, Z |
1 | Gerhard Schellhorn, Richard Banach |
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
A Roadmap for the Rodin Toolset. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Wright |
Using EventB to Create a Virtual Machine Instruction Set Architecture. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Poppleton |
The Composition of Event-B Models. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mark Utting, Petra Malik |
Unit Testing of Z Specifications. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Cavarra |
Data Flow Analysis and Testing of Abstract State Machines. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans |
Object Modelling in the SystemB Industrial Project. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Beierle, Gabriele Kern-Isberner |
A Verified AsmL Implementation of Belief Revision. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Schellhorn |
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract). |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Requet |
BART: A Tool for Automatic Refinement. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Chaudemar, Charles Castel, Christel Seguin |
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Idir Aït-Sadoune, Yamine Aït Ameur |
Verification and Validation of Web Service Composition Using Event B Method. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joëlle Cohen, Anatol Slissenko |
Stability of Real-Time Abstract State Machines under Desynchronization. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ramsay Taylor |
Separation of Z Operations. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001, Paul Boca |
ABZ2008 VSR-Net Workshop. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Abderrahman Matoussi, Frédéric Gervais, Régine Laleau |
A First Attempt to Express KAOS Refinement Patterns with Event B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eunsuk Kang, Daniel Jackson 0001 |
Formal Modeling and Analysis of a Flash Filesystem in Alloy. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ileana Ober, Ali Abou Dib |
Using ASM to Achieve Executability within a Family of DSL. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Dadeau, Adrien De Kermadec, Régis Tissot |
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
B machine, symbolic animation, POSIX challenge, scenarios, Model-Based Testing |
1 | Stefan Hallerstede |
On the Purpose of Event-B Proof Obligations. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Colin F. Snook, Michael J. Butler |
UML-B: A Plug-in for the Event-B Tool Set. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich |
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca (eds.) |
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones, Ken G. Pierce |
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A Scenario-Based Validation Language for ASMs. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nazim Benaïssa |
Modelling Attacker's Knowledge for Cascade Cryptographic Protocols. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
model for attacker, formal methods, cryptography |
1 | Roozbeh Farahbod, Uwe Glässer |
Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM Method for Validation & Verification of Embedded Systems. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paulo J. Matos, João Marques-Silva 0001 |
Model Checking Event-B by Encoding into Alloy. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eerke A. Boiten |
From ABZ to Cryptography. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
Model Based Refinement and the Tools of Tomorrow. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
Configurable Proof Obligations, Verification Grand Challenge, Refinement, Tools, Model Based Development |
1 | Anthony Hall |
Integrating Z into Large Projects Tools and Techniques. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
UseCase-Wise Development: Retrenchment for Event-B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
UseCase-wise Development, Tower Pattern, Refinement, Incremental Development, Event-B, Retrenchment |
1 | Egon Börger, Bernhard Thalheim |
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Métayer, Mathieu Clabaut |
DIR 41 Case Study. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ken Robinson |
Reconciling Axiomatic and Model-Based Specifications Reprised. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
classical B, formal specification, refinement, axiomatic, model-based, Event B |
1 | Qing Wang 0002, Klaus-Dieter Schewe, Bernhard Thalheim |
XML Database Transformations with Tree Updates. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Margus Veanes, Ando Saabas |
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steve Dunne, Stacey Conroy |
A Practical Single Refinement Method for B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hocine El-Habib Daho, Djilali Benhamamouch |
Formal Verification of ASM Models Using TLA+. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira |
Tool Support for the CircusRefinement Calculus. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet |
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard |
Towards Modelling Obligations in Event-B. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
BSmart: A Tool for the Development of Java Card Applications with the B Method. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL - Building a Model Checker for Z. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
1 | Wolfram Büttner |
Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
Formal Verification, Design Process, Abstract State Machine |
1 | Michael Leuschel |
The High Road to Formal Validation: . |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Tool Support, Spin, B-Method, Symmetry Reduction |
1 | Jacques Julliand, Pierre-Alain Masson, Régis Tissot |
Generating Tests from B Specifications and Test Purposes. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
IAS Case Study, Model-Based Testing, Test Purpose |