ASM

Keyphrases

Publications

2010

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. ASM (2010)
Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo
Secrecy UML Method for Model Transformations. ASM (2010)
David J. Power, Mark Slaymaker, Andrew Simpson
On the Modelling and Analysis of Amazon Web Services Access Policies. ASM (2010)
Thai Son Hoang, Jean-Raymond Abrial
Event-B Decomposition for Parallel Programs. ASM (2010)
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
Alloy+HotCore: A Fast Approximation to Unsat Core. ASM (2010)
Joseph P. Near, Daniel Jackson
An Imperative Extension to Alloy. ASM (2010)
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
Introducing Specification-Based Data Structure Repair Using Alloy. ASM (2010)
David Michel, Frédéric Gervais, Pierre Valarcher
B-ASM: Specification of ASM à la B. ASM (2010)
Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinícius Medeiros Oliveira, David Boris Paul Déharbe
Integrating SMT-Solvers in Z and B Tools. ASM (2010)
Thiago C. de Sousa, Aryldo G. Russo
Starting B Specifications from Use Cases. ASM (2010)
Andrew Ireland, Gudmund Grov, Michael J. Butler
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ASM (2010)
Nicolas Wu, Andrew Simpson
Towards Formally Templated Relational Database Representations in Z. ASM (2010)
Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes
Applying the B Method for the Rigorous Development of Smart Card Applications. ASM (2010)
Atif Mashkoor, Abderrahman Matoussi
Towards Validation of Requirements Models. ASM (2010)
Idir Aït-Sadoune, Yamine Aït Ameur
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ASM (2010)
Stefan Hallerstede, Michael Leuschel, Daniel Plagge
Refinement-Animation for Event-B - Towards a Method of Validation. ASM (2010)
Stefan Hallerstede
Structured Event-B Models and Proofs. ASM (2010)
Abderrahman Matoussi, Dorian Petit
Improving Traceability between KAOS Requirements Models and B Specifications. ASM (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Supporting Reuse in Event B Development: Modularisation Approach. ASM (2010)
Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh
On an Extensible Rule-Based Prover for Event-B. ASM (2010)
Mamoun Filali-Amine, Julia Lawall
Development of a Synchronous Subset of AADL. ASM (2010)
Jameleddine Hassine
AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps. ASM (2010)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM (2010)
Daniel Jackson, Eunsuk Kang
A Structure for Dependability Arguments. ASM (2010)
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
B Model Abstraction Combining Syntactic and Semantic Methods. ASM (2010)
Edd Turner, Michael J. Butler, Michael Leuschel
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. ASM (2010)
Osman Hasan, Sofiène Tahar
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. ASM (2010)
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
Code Synthesis for Timed Automata: A Comparison Using Case Study. ASM (2010)
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM (2010)
James R. Williams, Fiona A. C. Polack, Richard F. Paige
Formal Analysis in Model Management: Exploiting the Power of CZT. ASM (2010)
Alban Tiberghien, Philippe Merle, Lionel Seinturier
Specifying Self-configurable Component-Based Systems with FracToy. ASM (2010)
Néstor Cataño, Camilo Rueda
Matelas: A Predicate Calculus Common Formal Definition for Social Networking. ASM (2010)
Steve Dunne, Frank Zeyda
Reactivising Classical B. ASM (2010)
Michael Altenhofen, Roozbeh Farahbod
Bârun: A Scripting Language for CoreASM. ASM (2010)
Elvinia Riccobene, Patrizia Scandurra
An Executable Semantics of the SystemC UML Profile. ASM (2010)
David Déharbe
Automatic Verification for a Class of Proof Obligations with SMT-Solvers. ASM (2010)
Iain Craig, Egon Börger
Synchronous Message Passing and Semaphores: An Equivalence Proof. ASM (2010)
Petra Malik, Lindsay Groves, Clare Lenihan
Translating Z to Alloy. ASM (2010)
Mark C. Reynolds
Lightweight Modeling of Java Virtual Machine Security Constraints. ASM (2010)
Hamid Bagheri, Kevin J. Sullivan
Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. ASM (2010)
Joud S. Khoury, Chaouki T. Abdallah, Gregory L. Heileman
Towards Formalizing Network Architectural Descriptions. ASM (2010)
Mark Slaymaker, David J. Power, Andrew Simpson
Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods. ASM (2010)
Jennifer Sorge, Michael Poppleton, Michael J. Butler
A Basis for Feature-Oriented Modelling in Event-B. ASM (2010)
Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ASM (2010)
Michael Vernon, Frank Zeyda, Ana Cavalcanti
Communication Systems in ClawZ. ASM (2010)
Jeremy L. Jacob
Trace Specifications in Alloy. ASM (2010)