Search results for "ASM"

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

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