Search results for "Event-B"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Matthias Schmalz	Formalizing the logic of event-B: Partial functions, definitional extensions, and automated theorem proving.		2012	RDF
5	Jean-Paul Bodeveix, Mamoun Filali	Event B Development of a Synchronous AADL Scheduler.	B@FM	2011	DBLP DOI BibTeX RDF
5	Dipak L. Chaudhari, Om P. Damani	Generating Hierarchical State Based Representation From Event-B Models.	B@FM	2011	DBLP DOI BibTeX RDF
5	Renato Silva	Towards the Composition of Specifications in Event-B.	B@FM	2011	DBLP DOI BibTeX RDF
5	Steve A. Schneider, Helen Treharne, Heike Wehrheim	Bounded Retransmission in Event-B∥CSP: a Case Study.	B@FM	2011	DBLP DOI BibTeX RDF
5	Atif Mashkoor, Jean-Pierre Jacquot	Utilizing Event-B for domain engineering: a critical analysis.	Requir. Eng.	2011	DBLP DOI BibTeX RDF
5	Amjad Gawanmeh	Embedding and Verification of ZigBee Protocol Stack in Event-B.	ANT/MobiWIS	2011	DBLP DOI BibTeX RDF
5	Aryldo G. Russo	Modeling in event-b - system and software engineering by Jean-Raymond Abrial.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
5	Mohammad Reza Sarshogh, Michael J. Butler	Specification and refinement of discrete timing properties in Event-B.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
5	Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei 0015	A Survey on Event-B Decomposition.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
5	Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén	Concurrent Scheduling of Event-B Models	Refine@FM	2011	DBLP DOI BibTeX RDF
5	Steve A. Schneider, Helen Treharne, Heike Wehrheim	A CSP Account of Event-B Refinement	Refine@FM	2011	DBLP DOI BibTeX RDF
5	Abderrahman Matoussi, Régine Laleau	Un outil de construction de spécifications abstraites Event-B dirigée par les buts.	Ingénierie des Systèmes d Inf.	2011	DBLP DOI BibTeX RDF
5	Richard Banach	Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
5	Stephen Wright, Kerstin Eder	Using Event-B to construct instruction set architectures.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
5	Stefan Hallerstede	On the purpose of Event-B proof obligations.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
5	Richard Banach	Retrenchment for Event-B: UseCase-wise development and Rodin integration.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
5	Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler	Decomposition tool for event-B.	Softw. Pract. Exp.	2011	DBLP DOI BibTeX RDF
5	Atif Mashkoor, Jean-Pierre Jacquot	Guidelines for Formal Domain Modeling in Event-B.	HASE	2011	DBLP DOI BibTeX RDF
5	Jianwen Li, Zheng Wang 0005, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu 0006	An Event-B Interpretation for SPARDL Model.	HASE	2011	DBLP DOI BibTeX RDF
5	Thai Son Hoang, Jean-Raymond Abrial	Reasoning about Liveness Properties in Event-B.	ICFEM	2011	DBLP DOI BibTeX RDF
5	Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky	Formal Derivation of a Distributed Program in Event B.	ICFEM	2011	DBLP DOI BibTeX RDF
5	Dominique Méry, Neeraj Kumar Singh 0001	Analysis of DSR Protocol in Event-B.	SSS	2011	DBLP DOI BibTeX RDF
5	Dominique Méry, Neeraj Kumar Singh 0001	Automatic code generation from event-B models.	SoICT	2011	DBLP DOI BibTeX RDF
5	Sergey Ostroumov, Leonidas Tsiopoulos	VHDL Code Generation from Formal Event-B Models.	DSD	2011	DBLP DOI BibTeX RDF
5	Hao Xu, Tom Maibaum	An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump.	FHIES	2011	DBLP DOI BibTeX RDF
5	Alexei Iliasov	Use Case Scenarios as Verification Conditions: Event-B/Flow Approach.	SERENE	2011	DBLP DOI BibTeX RDF
5	Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis	Quantitative Verification of System Safety in Event-B.	SERENE	2011	DBLP DOI BibTeX RDF
5	Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose	Towards Search-Based Testing for Event-B Models.	ICST Workshops	2011	DBLP DOI BibTeX RDF
5	Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur	Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B.	MEDI	2011	DBLP DOI BibTeX RDF
5	Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul	Verifying Composite Service Transactional Behavior with EVENT-B.	SKG	2011	DBLP DOI BibTeX RDF
5	Ali Gondal, Michael Poppleton, Michael J. Butler	Composing Event-B Specifications - Case-Study Experience.	SC@TOOLS	2011	DBLP DOI BibTeX RDF
5	Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul	Verifying Composite Service Transactional Behavior with EVENT-B.	ECSA	2011	DBLP DOI BibTeX RDF
5	Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler	Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
5	Faqing Yang, Jean-Pierre Jacquot	Scaling Up with Event-B: A Case Study.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
5	Abderrahman Matoussi, Régine Laleau	Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B .	INFORSID	2011	DBLP BibTeX RDF
5	Christophe Ponsard, Xavier Devroey	Generating High-Level Event-B System Models from KAOS Requirements Models.	INFORSID	2011	DBLP BibTeX RDF
5	Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose	Test Data Generation for Event-B Models Using Genetic Algorithms.	ICSECS (3)	2011	DBLP DOI BibTeX RDF
5	Abderrahman Matoussi, Frédéric Gervais, Régine Laleau	A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification.	ICECCS	2011	DBLP DOI BibTeX RDF
5	Jens Bendisposto, Michael Leuschel	Automatic Flow Analysis for Event-B.	FASE	2011	DBLP DOI BibTeX RDF
5	Joris Rehm	Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.	Int. J. Softw. Tools Technol. Transf.	2010	DBLP DOI BibTeX RDF
5	Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin	Rodin: an open toolset for modelling and reasoning in Event-B.	Int. J. Softw. Tools Technol. Transf.	2010	DBLP DOI BibTeX RDF
5	Emre Yilmaz, Thai Son Hoang	Development of Rabin's Choice Coordination Algorithm in Event-B.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
5	Leila Ribeiro 0001, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg	Towards Theorem Proving Graph Grammars using Event-B.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
5	Jean-Raymond Abrial	Modeling in Event-B - System and Software Engineering.		2010	DOI RDF
5	Samah Hassan, Mohamed Taher, Ayman M. Wahba	Mapping SMV models to event-B models.	IDT	2010	DBLP DOI BibTeX RDF
5	Raghuraj Suryavanshi, Divakar Yadav	Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B.	ICDEM	2010	DBLP DOI BibTeX RDF
5	Girish Chandra, Divakar Yadav	Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B.	ICDEM	2010	DBLP DOI BibTeX RDF
5	Atif Mashkoor, Jean-Pierre Jacquot	Domain Engineering with Event-B: Some Lessons We Learned.	RE	2010	DBLP DOI BibTeX RDF
5	Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala	Developing Mode-Rich Satellite Software by Refinement in Event B.	FMICS	2010	DBLP DOI BibTeX RDF
5	Jeremy W. Bryans, Wei Wei 0015	Formal Analysis of BPMN Models Using Event-B.	FMICS	2010	DBLP DOI BibTeX RDF
5	Thai Son Hoang, Jean-Raymond Abrial	Event-B Decomposition for Parallel Programs.	ASM	2010	DBLP DOI BibTeX RDF
5	Stefan Hallerstede, Michael Leuschel, Daniel Plagge	Refinement-Animation for Event-B - Towards a Method of Validation.	ASM	2010	DBLP DOI BibTeX RDF
5	Stefan Hallerstede	Structured Event-B Models and Proofs.	ASM	2010	DBLP DOI BibTeX RDF
5	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
5	Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh	On an Extensible Rule-Based Prover for Event-B.	ASM	2010	DBLP DOI BibTeX RDF
5	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
5	Jennifer Sorge, Michael Poppleton, Michael J. Butler	A Basis for Feature-Oriented Modelling in Event-B.	ASM	2010	DBLP DOI BibTeX RDF
5	Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson	An Event-B Approach to Data Sharing Agreements.	IFM	2010	DBLP DOI BibTeX RDF
5	Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau	Systematic Translation Rules from astd to Event-B.	IFM	2010	DBLP DOI BibTeX RDF
5	Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis	Towards Probabilistic Modelling in Event-B.	IFM	2010	DBLP DOI BibTeX RDF
5	Pontus Boström	Creating Sequential Programs from Event-B Models.	IFM	2010	DBLP DOI BibTeX RDF
5	Steve A. Schneider, Helen Treharne, Heike Wehrheim	A CSP Approach to Control in Event-B.	IFM	2010	DBLP DOI BibTeX RDF
5	Ahlem Ben Younes, Leila Jemni Ben Ayed	Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B.	ICSOFT (2)	2010	DBLP BibTeX RDF
5	Nilima Fulmare, Divakar Yadav	Rigorous analysis of byzantine causal order using Event-B.	ICWET	2010	DBLP DOI BibTeX RDF
5	Hafid Belhaj, Youssef Balouki, Mohamed Bouhdadi, Said El Hajji 0001	Using Event B to Specify QoS in ODP Enterprise Language.	PRO-VE	2010	DBLP DOI BibTeX RDF
5	Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh	Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.	NASA Formal Methods	2010	DBLP BibTeX RDF
5	Kriangsak Damchoom	An incremental refinement approach to a development of a flash-based file system in Event-B.		2010	RDF
5	Andrew Edmunds	Providing concurrent implementations for Event-B developments.		2010	RDF
5	John Colley	Guarded atomic actions and refinement in a system-on-chip development flow : bridging the specification gap with Event-B.		2010	RDF
5	Tossaporn Joochim	Bringing requirements engineering to formal methods : timing diagrams for Event-B and KAOS.		2010	RDF
5	Nazim Benaïssa	La composition des protocoles de sécurité avec la méthode B événementielle. (Security protocols composition using Event B).		2010	RDF
5	Stefan Hallerstede	Proving Quicksort Correct in Event-B.	REFINE@FMWeek	2009	DBLP DOI BibTeX RDF
5	Leila Jemni Ben Ayed, Fatma Siala	Event-B based Verification of Interaction Properties In Multi-Agent Systems.	J. Softw.	2009	DBLP DOI BibTeX RDF
5	Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial	Developing topology discovery in Event-B.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
5	Leila Jemni Ben Ayed, Ahlem Ben Younes	Modeling and Verification of Reactive Systems Using STATEMATE and Event B.	Int. J. Comput. Their Appl.	2009	DBLP BibTeX RDF
5	Nazim Benaïssa, Dominique Méry	Cryptographic Protocols Analysis in Event B.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
5	Ahlem Ben Younes, Leila Jemni Ben Ayed	UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification.	SERVICES I	2009	DBLP DOI BibTeX RDF
5	Lukas Ladenberger, Jens Bendisposto, Michael Leuschel	Visualising Event-B Models with B-Motion Studio.	FMICS	2009	DBLP DOI BibTeX RDF
5	Asieh Salehi Fathabadi, Michael J. Butler	Applying Event-B Atomicity Decomposition to a Multi Media Protocol.	FMCO	2009	DBLP DOI BibTeX RDF
5	Iman Poernomo, Timur Umarov	A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management.	CEE-SET	2009	DBLP DOI BibTeX RDF
5	Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet	From Goal-Oriented Requirements to Event-B Specifications.	NASA Formal Methods	2009	DBLP BibTeX RDF
5	Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi	An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER.	MSVVEIS	2009	DBLP BibTeX RDF
5	Ahlem Ben Younes, Leila Jemni Ben Ayed	Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications.	MSVVEIS	2009	DBLP BibTeX RDF
5	Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen 0001	Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.	SEFM	2009	DBLP DOI BibTeX RDF
5	Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial	Event-B Patterns and Their Tool Support.	SEFM	2009	DBLP DOI BibTeX RDF
5	Andrew Edmunds, Michael J. Butler	Linking Event-B and Concurrent Object-Oriented Programs.	Refine@FM	2008	DBLP DOI BibTeX RDF
5	Neil Evans	Refinement for Pipelining in Event-B.	Refine@FM	2008	DBLP DOI BibTeX RDF
5	Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia	La validation de modèles Event-B avec le plug-in ProB pour RODIN.	Tech. Sci. Informatiques	2008	DBLP DOI BibTeX RDF
5	Paulo J. Matos, João Marques-Silva 0001	Model Checking Event-B by Encoding into Alloy	CoRR	2008	DBLP BibTeX RDF
5	Jean-Raymond Abrial, Thai Son Hoang	Using Design Patterns in Formal Methods: An Event-B Approach.	ICTAC	2008	DBLP DOI BibTeX RDF
5	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
5	Stefan Hallerstede	Incremental System Modelling in Event-B.	FMCO	2008	DBLP DOI BibTeX RDF
5	Leila Jemni Ben Ayed, Fatma Siala	An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.	MSVVEIS	2008	DBLP BibTeX RDF
5	Elisabeth Ball	An incremental process for the development of multi-agent systems in Event-B.		2008	RDF
5	Jean-Raymond Abrial, Stefan Hallerstede	Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.	Fundam. Informaticae	2007	DBLP BibTeX RDF
5	Neil Evans, Neil Grant	Towards the Formal Verification of a Java Processor in Event-B.	REFINE@IFM	2007	DBLP DOI BibTeX RDF
5	Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur	Formal Validation of Java/Swing User Interfaces with the Event B Method.	HCI (1)	2007	DBLP DOI BibTeX RDF	Method B, CTT, User Interface, Formal Methods, Static Analysis, Validation, Tasks Model
5	Joris Rehm, Dominique Cansell	Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method.	ISoLA	2007	DBLP BibTeX RDF
5	Neil Grant, Neil Evans	Towards the Formal Verification of a Java Processor in Event-B.	CPA	2007	DBLP BibTeX RDF