Search results for "ABZ"

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

Publications at "ABZ"( http://dblp.L3S.de/Venues/ABZ )