Search results for "Event B"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota	Encoding a process algebra using the Event B method.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
3	Renato Silva, Michael Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	2009	DBLP DOI BibTeX RDF	generic instantiation, formal methods, reusability, event-B
3	Kriangsak Damchoom, Michael J. Butler	Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	event decomposition, machine decomposition, Rodin, refinement, file system, flash memory, proof, Event-B
3	Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali	Towards Safe Design of Synchronous Bus Protocols in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	synchronous systems, Event-B, parameterized systems, bus protocols
3	Michael Butler, Divakar Yadav	An incremental development of the Mondex system in Event-B.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Mechanical proof, Methodological guidelines, Refinement, System design, Event-B
3	Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial	Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.	ICFEM	2008	DBLP DOI BibTeX RDF	Rodin tool, Refinement, File system, Tree structure, Proof, Event-B
3	Ahlem Ben Younes, Leila Jemni Ben Ayed	From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	UML AD, workflow applications, Formal verification, Specification, Event B
3	Leila Jemni Ben Ayed, Fatma Siala	From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Specificatin, Multi-agent Systems, Verification, Event B, AUML
3	Arnaud Lanoix	Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles.	TASE	2008	DBLP DOI BibTeX RDF	Multi-agents systems, Verification, Specification, Event-B, Platooning
3	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
3	Leila Jemni Ben Ayed, Fatma Siala	Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.	DSV-IS	2008	DBLP DOI BibTeX RDF	Multi-Agent System, verification, specification, Event B, AUML
3	Dominique Cansell, Dominique Méry, Joris Rehm	Time Constraint Patterns for Event B Development.	B	2007	DBLP DOI BibTeX RDF	distributed systems, refinement, pattern, event B
3	Yamine Aït Ameur, Mickaël Baron	Formal and experimental validation approaches in HCI systems design based on a shared event B model.	STTT	2006	DBLP DOI BibTeX RDF	Interaction properties verification and validation, User task modelling and validation, Event B method, CTT (ConcurTaskTrees) language, Formal methods
3	Christian Attiogbé	Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.	ICFEM	2006	DBLP DOI BibTeX RDF	Event B, Dynamic Architecture, Group Communication Systems, Property verification
2	Divakar Yadav, Michael Butler	Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
2	Elisabeth Ball, Michael Butler	Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
2	Qaisar A. Malik, Johan Lilius, Linas Laibinis	Model-Based Testing Using Scenarios and Event-B Refinements.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
2	Paulo J. Matos, Bernd Fischer 0002, João P. Marques Silva	A Lazy Unbounded Model Checker for Event-B.	ICFEM	2009	DBLP DOI BibTeX RDF
2	Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial	Developing Topology Discovery in Event-B.	IFM	2009	DBLP DOI BibTeX RDF
2	Michael Butler	Decomposition Structures for Event-B.	IFM	2009	DBLP DOI BibTeX RDF
2	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
2	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
2	Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed	Event-B based invariant checking of secrecy in group key protocols.	LCN	2008	DBLP DOI BibTeX RDF
2	Idir Aït-Sadoune, Yamine Aït Ameur	Animating Event B Models by Formal Data Models.	ISoLA	2008	DBLP DOI BibTeX RDF
2	Paulo J. Matos, João Marques-Silva	Model Checking Event-B by Encoding into Alloy.	ABZ	2008	DBLP DOI BibTeX RDF
2	Colin F. Snook, Michael J. Butler	UML-B: A Plug-in for the Event-B Tool Set.	ABZ	2008	DBLP DOI BibTeX RDF
2	Michael Poppleton	The Composition of Event-B Models.	ABZ	2008	DBLP DOI BibTeX RDF
2	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
2	Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard	Towards Modelling Obligations in Event-B.	ABZ	2008	DBLP DOI BibTeX RDF
2	Jean-Charles Chaudemar, Charles Castel, Christel Seguin	FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.	ABZ	2008	DBLP DOI BibTeX RDF
2	Stefan Hallerstede	On the Purpose of Event-B Proof Obligations.	ABZ	2008	DBLP DOI BibTeX RDF
2	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
2	Jean-Raymond Abrial	A System Development Process with Event-B and the Rodin Platform.	ICFEM	2007	DBLP DOI BibTeX RDF
2	Stefan Hallerstede	Justifications for the Event-B Modelling Notation.	B	2007	DBLP DOI BibTeX RDF
2	Colin F. Snook, Marina A. Waldén	Refinement of Statemachines Using Event B Semantics.	B	2007	DBLP DOI BibTeX RDF
2	Ahlem Ben Younes, Leila Jemni Ben Ayed	Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Stefan Hallerstede, Thai Son Hoang	Qualitative Probabilistic Modelling in Event-B.	IFM	2007	DBLP DOI BibTeX RDF
2	Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng	Specifying and Verifying Cases Retrieval System Combining Event B and Spin.	ICSC	2007	DBLP DOI BibTeX RDF
2	Michael Poppleton	Towards Feature-Oriented Specification and Development with Event-B.	REFSQ	2007	DBLP DOI BibTeX RDF
2	Divakar Yadav, Michael Butler	Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.	RODIN Book	2006	DBLP DOI BibTeX RDF
2	Neil Evans, Michael J. Butler	A Proposal for Records in Event-B.	FM	2006	DBLP DOI BibTeX RDF
2	Jean-Raymond Abrial	Train Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Correct Construction, Refinement, Requirement, Failure, Event-B
2	Pontus Boström, Marina A. Waldén	An Extension of Event B for Developing Grid Systems.	ZB	2005	DBLP DOI BibTeX RDF
2	Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial	The Challenge of Probabilistic Event B - Extended Abstract.	ZB	2005	DBLP DOI BibTeX RDF
2	Pontus Boström, Marina A. Waldén	Development of Fault Tolerant Grid Applications Using Distributed B.	IFM	2005	DBLP DOI BibTeX RDF	Fault tolerance, Grid computing, Domain specific languages, Language extensions, Event B, Stepwise development
2	Christian Attiogbé	A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Mutual Exclusion, Event B, Parallel Composition
1	Stefan Hallerstede, Michael Leuschel	Experiments in program verification using Event-B.	Formal Asp. Comput.	2012	DBLP DOI BibTeX RDF
1	Yuhui Lin, Alan Bundy, Gudmund Grov	The Use of Rippling to Automate Event-B Invariant Preservation Proofs.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Mohammad Reza Sarshogh, Michael Butler	Specification and refinement of discrete timing properties in Event-B.	ECEASST	2011	DBLP BibTeX RDF
1	Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei	A Survey on Event-B Decomposition.	ECEASST	2011	DBLP BibTeX RDF
1	Richard Banach	Retrenchment for Event-B: UseCase-wise development and Rodin integration.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Stephen Wright, Kerstin Eder	Using Event-B to construct instruction set architectures.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Stefan Hallerstede	On the purpose of Event-B proof obligations.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler	Decomposition tool for event-B.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Amjad Gawanmeh	Embedding and Verification of ZigBee Protocol Stack in Event-B.	Procedia CS	2011	DBLP DOI BibTeX RDF
1	Dipak Chaudhari, Om P. Damani	Generating Hierarchical State Based Representation From Event-B Models.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Jean-Paul Bodeveix, Mamoun Filali	Event B Development of a Synchronous AADL Scheduler.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Renato Silva	Towards the Composition of Specifications in Event-B.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	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
1	Atif Mashkoor, Jean-Pierre Jacquot	Utilizing Event-B for domain engineering: a critical analysis.	Requir. Eng.	2011	DBLP DOI BibTeX RDF
1	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'Information	2011	DBLP BibTeX RDF
1	Steve Schneider, Helen Treharne, Heike Wehrheim	A CSP Account of Event-B Refinement	Refine	2011	DBLP DOI BibTeX RDF
1	Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina A. Waldén	Concurrent Scheduling of Event-B Models	Refine	2011	DBLP DOI BibTeX RDF
1	Aryldo G. Russo	Modeling in event-b - system and software engineering by Jean-Raymond Abrial.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	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
1	Thai Son Hoang, Jean-Raymond Abrial	Reasoning about Liveness Properties in Event-B.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky	Formal Derivation of a Distributed Program in Event B.	ICFEM	2011	DBLP DOI BibTeX RDF
1	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
1	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
1	Christophe Ponsard, Xavier Devroey	Generating High-Level Event-B System Models from KAOS Requirements Models.	INFORSID	2011	DBLP BibTeX RDF
1	Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose	Test Data Generation for Event-B Models Using Genetic Algorithms.	ICSECS	2011	DBLP DOI BibTeX RDF
1	Sergey Ostroumov, Leonidas Tsiopoulos	VHDL Code Generation from Formal Event-B Models.	DSD	2011	DBLP DOI BibTeX RDF
1	Atif Mashkoor, Jean-Pierre Jacquot	Guidelines for Formal Domain Modeling in Event-B.	HASE	2011	DBLP DOI BibTeX RDF
1	Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu	An Event-B Interpretation for SPARDL Model.	HASE	2011	DBLP DOI BibTeX RDF
1	Ali Gondal, Michael Poppleton, Michael Butler	Composing Event-B Specifications - Case-Study Experience.	Software Composition	2011	DBLP DOI BibTeX RDF
1	Jens Bendisposto, Michael Leuschel	Automatic Flow Analysis for Event-B.	FASE	2011	DBLP DOI BibTeX RDF
1	Alexei Iliasov	Use Case Scenarios as Verification Conditions: Event-B/Flow Approach.	SERENE	2011	DBLP DOI BibTeX RDF
1	Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis	Quantitative Verification of System Safety in Event-B.	SERENE	2011	DBLP DOI BibTeX RDF
1	Faqing Yang, Jean-Pierre Jacquot	Scaling Up with Event-B: A Case Study.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael Butler	Applying Atomicity and Model Decomposition to a Space Craft System in Event-B.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	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
1	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
1	Dominique Méry, Neeraj Kumar Singh	Analysis of DSR Protocol in Event-B.	SSS	2011	DBLP DOI BibTeX RDF
1	Dominique Méry, Neeraj Kumar Singh	Automatic code generation from event-B models.	SoICT	2011	DBLP DOI BibTeX RDF
1	Emre Yilmaz, Thai Son Hoang	Development of Rabin's Choice Coordination Algorithm in Event-B.	ECEASST	2010	DBLP BibTeX RDF
1	Leila Ribeiro, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg	Towards Theorem Proving Graph Grammars using Event-B.	ECEASST	2010	DBLP BibTeX RDF
1	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.	STTT	2010	DBLP DOI BibTeX RDF
1	Joris Rehm	Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.	STTT	2010	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial	Modeling in Event-B - System and Software Engineering.		2010	RDF
1	Ahlem Ben Younes, Leila Jemni Ben Ayed	Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B.	ICSOFT	2010	DBLP BibTeX RDF
1	Leila Jemni Ben Ayed, Najet Hamdi, Yousra Bendaly Hlaoui	An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B.	ICSOFT	2010	DBLP BibTeX RDF
1	Raghuraj Suryavanshi, Divakar Yadav	Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B.	ICDEM	2010	DBLP DOI BibTeX RDF
1	Girish Chandra, Divakar Yadav	Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B.	ICDEM	2010	DBLP DOI BibTeX RDF
1	Hafid Belhaj, Youssef Balouki, Mohamed Bouhdadi, Said El Hajji	Using Event B to Specify QoS in ODP Enterprise Language.	PRO-VE	2010	DBLP DOI BibTeX RDF
1	N. Fulmare, D. Yadav	Rigorous analysis of byzantine causal order using Event-B.	ICWET	2010	DBLP DOI BibTeX RDF
1	Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala	Developing Mode-Rich Satellite Software by Refinement in Event B.	FMICS	2010	DBLP DOI BibTeX RDF
1	Jeremy W. Bryans, Wei Wei	Formal Analysis of BPMN Models Using Event-B.	FMICS	2010	DBLP DOI BibTeX RDF
1	Renato Silva, Michael Butler	Shared Event Composition/Decomposition in Event-B.	FMCO	2010	DBLP DOI BibTeX RDF
1	Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis	Towards Probabilistic Modelling in Event-B.	IFM	2010	DBLP DOI BibTeX RDF
1	Pontus Boström	Creating Sequential Programs from Event-B Models.	IFM	2010	DBLP DOI BibTeX RDF