Search results for "Event-B"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	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
30	Idir Aït-Sadoune, Yamine Aït Ameur	Animating Event B Models by Formal Data Models.	ISoLA	2008	DBLP DOI BibTeX RDF
28	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
25	Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota	Encoding a process algebra using the Event B method.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
25	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
25	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
25	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
24	Colin F. Snook, Michael J. Butler	UML-B: A Plug-in for the Event-B Tool Set.	ABZ	2008	DBLP DOI BibTeX RDF
24	Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard	Towards Modelling Obligations in Event-B.	ABZ	2008	DBLP DOI BibTeX RDF
23	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
22	Renato Silva, Michael J. Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	2009	DBLP DOI BibTeX RDF	generic instantiation, formal methods, reusability, event-B
22	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
22	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
22	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
22	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
22	Takashi Katoh, Hiroki Arimura, Kouichi Hirata	A Polynomial-Delay Polynomial-Space Algorithm for Extracting Frequent Diamond Episodes from Event Sequences.	PAKDD	2009	DBLP DOI BibTeX RDF
21	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
21	Ahlem Ben Younes, Leila Jemni Ben Ayed	Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
21	Stefan Hallerstede, Thai Son Hoang	Qualitative Probabilistic Modelling in Event-B.	IFM	2007	DBLP DOI BibTeX RDF
19	J. 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
19	Daniel Grazioli, Elena Pasquali	A scalable grid based application platform for high volumes of transactional event driven processes.	DEBS	2008	DBLP DOI BibTeX RDF	EDAP, WL BOSS, event emitter, transactional framework, scalability, grid, benchmarks, business process, event, determinism, event-driven, fact
18	Michael Poppleton	The Composition of Event-B Models.	ABZ	2008	DBLP DOI BibTeX RDF
18	Neil Evans, Michael J. Butler	A Proposal for Records in Event-B.	FM	2006	DBLP DOI BibTeX RDF
17	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
16	Michael J. Butler, Divakar Yadav	An incremental development of the Mondex system in Event-B.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Mechanical proof, Methodological guidelines, Refinement, System design, Event-B
16	Yamine Aït Ameur, Mickaël Baron	Formal and experimental validation approaches in HCI systems design based on a shared event B model.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Interaction properties verification and validation, User task modelling and validation, Event B method, CTT (ConcurTaskTrees) language, Formal methods
16	Gérard Ramstein, Pascal Bunelle, Yannick Jacques	Discovery of Ambiguous Patterns in Sequences: Application to Bioinformatics.	PKDD	2000	DBLP DOI BibTeX RDF
14	Michael J. Butler	Decomposition Structures for Event-B.	IFM	2009	DBLP DOI BibTeX RDF
14	Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial	Developing Topology Discovery in Event-B.	IFM	2009	DBLP DOI BibTeX RDF
14	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
14	Michael Poppleton	Towards Feature-Oriented Specification and Development with Event-B.	REFSQ	2007	DBLP DOI BibTeX RDF
14	Stefan Hallerstede	Justifications for the Event-B Modelling Notation.	B	2007	DBLP DOI BibTeX RDF
14	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
14	Jean-Raymond Abrial	Train Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Correct Construction, Refinement, Requirement, Failure, Event-B
14	J. 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
14	Pontus Boström, Marina 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
12	Dominique Cansell, Dominique Méry	Proved-Patterns-Based Development for Structured Programs.	CSR	2007	DBLP DOI BibTeX RDF
12	Stefan Hallerstede	Parallel Hardware Design in B.	ZB	2003	DBLP DOI BibTeX RDF
11	Jean-Charles Chaudemar, Charles Castel, Christel Seguin	FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.	ABZ	2008	DBLP DOI BibTeX RDF
11	Stefan Hallerstede	On the Purpose of Event-B Proof Obligations.	ABZ	2008	DBLP DOI BibTeX RDF
11	Paulo J. Matos, João Marques-Silva 0001	Model Checking Event-B by Encoding into Alloy.	ABZ	2008	DBLP DOI BibTeX RDF
11	Colin F. Snook, Marina Waldén	Refinement of Statemachines Using Event B Semantics.	B	2007	DBLP DOI BibTeX RDF
11	Divakar Yadav, Michael J. Butler	Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.	RODIN Book	2006	DBLP DOI BibTeX RDF
11	Pontus Boström, Marina Waldén	An Extension of Event B for Developing Grid Systems.	ZB	2005	DBLP DOI BibTeX RDF
11	Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial	The Challenge of Probabilistic Event B - Extended Abstract.	ZB	2005	DBLP DOI BibTeX RDF
10	Meryem Afendi	A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. (Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B).		2022	RDF
10	Jean-Paul Bodeveix, Mamoun Filali	Event-B Formalization of Event-B Contexts.	ABZ	2021	DBLP DOI BibTeX RDF
10	Rahul Karmakar, Bidyut Biman Sarkar, Nabendu Chaki	Event Ordering Using Graphical Notation for Event-B Models.	CISIM	2020	DBLP DOI BibTeX RDF
10	Souad Kherroubi	Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes: application au formalisme Event-B. (A formal framework to integrate domain knowledge into system design: Application to Event-B formalism).		2018	RDF
10	Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala	An Event-B framework for the validation of Event-B refinement plugins.	CoRR	2017	DBLP BibTeX RDF
10	Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu	Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.	Sci. Comput. Program.	2017	DBLP DOI BibTeX RDF
10	Mohamed Amine, Benoît Delahaye, Arnaud Lanoix	Moving from Event-B to probabilistic Event-B.	SAC	2017	DBLP DOI BibTeX RDF
10	Badr Siala	Décomposition formelle des spécifications centralisées Event-B: application aux systèmes distribués BIP. (Formal decomposition of event-B centralized specifications: application to BIP distributed systems).		2017	RDF
10	Richard Banach, Michael J. Butler	Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks.	ICFEM	2016	DBLP DOI BibTeX RDF
10	Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi	A Graphical Tool for Event Refinement Structures in Event-B.	ABZ	2016	DBLP DOI BibTeX RDF
10	Andrew Edmunds, Marina Waldén	Modelling 'Operation-Calls' in Event-B with Shared-Event Composition.	SBMF	2016	DBLP DOI BibTeX RDF
10	Yongwang Zhao, Zhibin Yang, David Sanán	Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B.	CoRR	2015	DBLP BibTeX RDF
10	Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu	Core Hybrid Event-B I: Single Hybrid Event-B machines.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
10	Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh	Language and tool support for event refinement structures in Event-B.	Formal Aspects Comput.	2015	DBLP DOI BibTeX RDF
10	Yongwang Zhao, Zhibin Yang, David Sanán, Yang Liu 0003	Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.	ISSRE	2015	DBLP DOI BibTeX RDF
10	Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres	Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.	IFM	2014	DBLP DOI BibTeX RDF
10	Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu	From TiMo to Event-B: Event-Driven Timed Mobility.	ICECCS	2014	DBLP DOI BibTeX RDF
10	Ahmet Kara 0001	A Methodology for cross-resolution modeling in DEVS using event-B refinement ; DEVS için melez-çözünürlüklü modellemede event-b arıtımı kullanan bir yöntembilimi. (PDF / PS)		2014	RDF
10	Lorina Negreanu, Matei Popovici	Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B.	CSCS	2013	DBLP DOI BibTeX RDF
10	Fuyuki Ishikawa, Alexander B. Romanovsky	Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)	CoRR	2012	DBLP BibTeX RDF
10	Michael J. Butler	External and internal choice with event groups in Event-B.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
10	Renato Silva, Michael J. Butler	Shared Event Composition/Decomposition in Event-B.	FMCO	2010	DBLP DOI BibTeX RDF
10	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 (2)	2010	DBLP BibTeX RDF
9	Tu Bao Ho, Canh Hao Nguyen, Saori Kawasaki, Si Quang Le, Katsuhiko Takabayashi	Exploiting Temporal Relations in Mining Hepatitis Data.	New Gener. Comput.	2007	DBLP DOI BibTeX RDF	Hepatitis Study, Temporal Relations, Temporal Patterns
9	Tu Bao Ho, Canh Hao Nguyen, Saori Kawasaki, Katsuhiko Takabayashi	Temporal Relations Extraction in Mining Hepatitis Data.	PAKDD	2007	DBLP DOI BibTeX RDF
9	Bill Stoddart, Dominique Cansell, Frank Zeyda	Modelling and Proof Analysis of Interrupt Driven Scheduling.	B	2007	DBLP DOI BibTeX RDF	Interrupt Driven Scheduler, Formal Methods, Event Calculus
8	Elisabeth Ball, Michael J. Butler	Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
8	Divakar Yadav, Michael J. 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
8	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
8	Paulo J. Matos, Bernd Fischer 0002, João Marques-Silva 0001	A Lazy Unbounded Model Checker for Event-B.	ICFEM	2009	DBLP DOI BibTeX RDF
8	Jean-Raymond Abrial	A System Development Process with Event-B and the Rodin Platform.	ICFEM	2007	DBLP DOI BibTeX RDF
8	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
8	Marta Plaska, Marina Waldén, Colin F. Snook	Documenting the Progress of the System Development.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Progress diagram, Statemachines, Refinement Patterns, UML, Refinement, Graphical representation, Event-B, Action Systems, Stepwise development
8	Alexander B. Romanovsky	DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	fault tolerance, formal methods, reuse, dependability, refinement, requirements, Eclipse, tool support, Event-B
8	J. Christian Attiogbé	Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network.	ISoLA	2008	DBLP DOI BibTeX RDF	Verification, Specification, Event B, Dynamic Architecture
6	Jens Bendisposto, Michael Leuschel	Proof Assisted Model Checking for B.	ICFEM	2009	DBLP DOI BibTeX RDF	Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration
6	Marcin Krysinski, George J. Anders	Application of Time-Dependent Fault Tree Models for the Analysis of Project Schedule Failure Conditions.	ICC	2008	DBLP DOI BibTeX RDF
6	Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin	A Roadmap for the Rodin Toolset.	ABZ	2008	DBLP DOI BibTeX RDF
6	Christophe Métayer, Mathieu Clabaut	DIR 41 Case Study.	ABZ	2008	DBLP DOI BibTeX RDF
6	Serena Doria	Convergences of Random Variables with Respect to Coherent Upper Probabilities Defined by Hausdorff Outer Measures.	SMPS	2008	DBLP DOI BibTeX RDF
6	Therese Berg, Harald Raffelt	Model Checking.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
6	Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens	Synthesis of asynchronous control circuits with automatically generated relative timing assumptions.	ICCAD	1999	DBLP DOI BibTeX RDF
6	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
5	Rahul Karmakar	A graphical tool for formal verification using Event-B modeling.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
5	Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa	Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.	CoRR	2024	DBLP DOI BibTeX RDF
5	Sebastian Stock 0002, Atif Mashkoor, Michael Leuschel, Alexander Egyed	Trace preservation in B and Event-B refinements.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
5	Richard Banach	Core Hybrid Event-B III: Fundamentals of a reasoning framework.	Sci. Comput. Program.	2024	DBLP DOI BibTeX RDF
5	Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé	Validating and verifying LwM2M clients with event-B.	Int. J. Internet Protoc. Technol.	2023	DBLP DOI BibTeX RDF
5	Vladimir I. Shelekhov	Automata-Based Software Engineering with Event-B.	Program. Comput. Softw.	2023	DBLP DOI BibTeX RDF
5	Asieh Salehi Fathabadi, Vahid Yazdanpanah	Trust Modelling and Verification Using Event-B.	FMAS@iFM	2023	DBLP DOI BibTeX RDF
5	Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini	A transformation methodology for Capella to Event-B models with DSL verification.	J. Comput. Lang.	2023	DBLP DOI BibTeX RDF
5	Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea, Thai Son Hoang	A fairness-based refinement strategy to transform liveness properties in Event-B models.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
5	Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu 0003, Jun Sun 0001	Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
5	Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh 0001, Guillaume Dupont, Dominique Méry, Philippe A. Palanque	Formal domain-driven system development in Event-B: Application to interactive critical systems.	J. Syst. Archit.	2023	DBLP DOI BibTeX RDF
5	Sebastián Vergara, Laura González 0001, Raúl Ruggia	Formalizing Microservices Patterns with Event-B: The Case of Service Registry.	ICSOC Workshops	2023	DBLP DOI BibTeX RDF