default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDABZ 2012: Pisa, Italy
- John Derrick
, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene:
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0
Invited Talks
- Egon Börger, Antonio Cisternino, Vincenzo Gervasi:
Contribution to a Rigorous Analysis of Web Application Frameworks. 1-20 - Ian J. Hayes, Robert Colvin:
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. 21-35
ASM Papers
- Paolo Arcaini, Francesco Bolis, Angelo Gargantini:
Test Generation for Sequential Nets of Abstract State Machines. 36-50 - Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
ASM and Controller Synthesis. 51-64 - Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
Continuous ASM, and a Pacemaker Sensing Fragment. 65-78 - Vincenzo Gervasi:
An ASM Model of Concurrency in a Web Browser. 79-93
Alloy Papers
- Benoît Fraikin, Marc Frappier, Richard St-Denis:
Modeling the Supervisory Control Theory with Alloy. 94-107 - Aleksandar Milicevic, Daniel Jackson:
Preventing Arithmetic Overflows in Alloy. 108-121 - Vajih Montaghami, Derek Rayside:
Extending Alloy with Partial Instances. 122-135 - Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Toward a More Complete Alloy. 136-149 - Amirhossein Vakili, Nancy A. Day:
Temporal Logic Model Checking in Alloy. 150-163 - Ting Wang, Dongyao Ji:
Active Attacking Multicast Key Management Protocol Using Alloy. 164-177
B Papers
- Jean-Raymond Abrial, Wen Su, Huibiao Zhu:
Formalizing Hybrid Systems with Event-B. 178-193 - David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin:
SMT Solvers for Rodin. 194-207 - Gudmund Grov, Andrew Ireland, Maria Teresa Llano:
Refinement Plans for Informed Formal Design. 208-222 - Stefan Hallerstede, Thai Son Hoang:
Refinement by Interface Instantiation. 223-237 - David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka:
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers. 238-251
VDM Papers
- Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles:
A Semantic Analysis of Logics That Cope with Partial Terms. 252-265 - Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen:
Combining VDM with Executable Code. 266-279
Z Papers
- Maximiliano Cristiá, Claudia S. Frydman:
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. 280-293 - Chris Marriott, Frank Zeyda, Ana Cavalcanti:
A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. 294-307 - Ramsay Taylor:
Verification of Hardware Interaction Properties of Software. 308-322
ASM Short Papers
- Matthes Elstermann, Detlef Seese, Albert Fleischmann:
Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System. 323-326 - Roland Lezuo, Andreas Krall:
A Unified Processor Model for Compiler Verification and Simulation Using ASM. 327-330 - Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra:
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. 331-335 - Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra:
A Reliability Prediction Method for Abstract State Machines. 336-340 - Klaus-Dieter Schewe, Qing Wang:
A Simplified Parallel ASM Thesis. 341-344 - Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer:
Refactoring Abstract State Machine Models. 345-348
B Short Papers
- Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
Continuous Behaviour in Event-B: A Sketch. 349-352 - Haniel Barbosa, David Déharbe:
Formal Verification of PLC Programs Using the B Method. 353-356 - 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. 357-360 - Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu:
Learn and Test for Event-B - A Rodin Plugin. 361-364 - Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell:
Event-B Code Generation: Type Extension with Theories. 365-368 - Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry:
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. 369-372 - Gintautas Sulskus, Michael Poppleton:
A Pattern for Modelling Fault Tolerant Systems in Event-B. 373-376
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-12-01 23:21 CET 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:
