The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase event-B (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2006 (23) 2007 (21) 2008 (34) 2009 (33) 2010 (34) 2011 (39) 2012 (40) 2013 (41) 2014 (39) 2015 (34) 2016 (49) 2017 (42) 2018 (44) 2019 (23) 2020 (40) 2021 (26) 2022 (34) 2023 (18) 2024 (4)
Publication types (Num. hits)
article(145) book(3) incollection(12) inproceedings(426) phdthesis(32)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 140 occurrences of 83 keywords

Results
Found 618 publication records. Showing 618 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
30Kriangsak Damchoom, Michael J. Butler Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF event decomposition, machine decomposition, Rodin, refinement, file system, flash memory, proof, Event-B
30Idir Aït-Sadoune, Yamine Aït Ameur Animating Event B Models by Formal Data Models. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Ahlem Ben Younes, Leila Jemni Ben Ayed From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML AD, workflow applications, Formal verification, Specification, Event B
25Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota Encoding a process algebra using the Event B method. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
25Leila 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. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Specificatin, Multi-agent Systems, Verification, Event B, AUML
25Richard Banach UseCase-Wise Development: Retrenchment for Event-B. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UseCase-wise Development, Tower Pattern, Refinement, Incremental Development, Event-B, Retrenchment
25Dominique Cansell, Dominique Méry, Joris Rehm Time Constraint Patterns for Event B Development. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF distributed systems, refinement, pattern, event B
24Colin F. Snook, Michael J. Butler UML-B: A Plug-in for the Event-B Tool Set. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard Towards Modelling Obligations in Event-B. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Mar Yah Said, Michael J. Butler, Colin F. Snook Language and Tool Support for Class and State Machine Refinement in UML-B. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF UML, Formal specification, Refinement, Event-B, Visual modelling languages
22Renato Silva, Michael J. Butler Supporting Reuse of Event-B Developments through Generic Instantiation. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic instantiation, formal methods, reusability, event-B
22Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali Towards Safe Design of Synchronous Bus Protocols in Event-B. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF synchronous systems, Event-B, parameterized systems, bus protocols
22Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rodin tool, Refinement, File system, Tree structure, Proof, Event-B
22Leila Jemni Ben Ayed, Fatma Siala Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. Search on Bibsonomy DSV-IS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-Agent System, verification, specification, Event B, AUML
22Arnaud Lanoix Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-agents systems, Verification, Specification, Event-B, Platooning
22Takashi Katoh, Hiroki Arimura, Kouichi Hirata A Polynomial-Delay Polynomial-Space Algorithm for Extracting Frequent Diamond Episodes from Event Sequences. Search on Bibsonomy PAKDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Abderrahman Matoussi, Frédéric Gervais, Régine Laleau A First Attempt to Express KAOS Refinement Patterns with Event B. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Ahlem Ben Younes, Leila Jemni Ben Ayed Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. Search on Bibsonomy COMPSAC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Stefan Hallerstede, Thai Son Hoang Qualitative Probabilistic Modelling in Event-B. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19J. Christian Attiogbé Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Event B, Dynamic Architecture, Group Communication Systems, Property verification
19Daniel Grazioli, Elena Pasquali A scalable grid based application platform for high volumes of transactional event driven processes. Search on Bibsonomy DEBS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF EDAP, WL BOSS, event emitter, transactional framework, scalability, grid, benchmarks, business process, event, determinism, event-driven, fact
18Michael Poppleton The Composition of Event-B Models. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Neil Evans, Michael J. Butler A Proposal for Records in Event-B. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Dominique Cansell, Dominique Méry, Cyril Proch System-on-chip design by proof-based refinement. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
16Michael J. Butler, Divakar Yadav An incremental development of the Mondex system in Event-B. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mechanical proof, Methodological guidelines, Refinement, System design, Event-B
16Yamine Aït Ameur, Mickaël Baron Formal and experimental validation approaches in HCI systems design based on a shared event B model. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Interaction properties verification and validation, User task modelling and validation, Event B method, CTT (ConcurTaskTrees) language, Formal methods
16Gérard Ramstein, Pascal Bunelle, Yannick Jacques Discovery of Ambiguous Patterns in Sequences: Application to Bioinformatics. Search on Bibsonomy PKDD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Michael J. Butler Decomposition Structures for Event-B. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
14Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial Developing Topology Discovery in Event-B. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
14Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed Event-B based invariant checking of secrecy in group key protocols. Search on Bibsonomy LCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
14Michael Poppleton Towards Feature-Oriented Specification and Development with Event-B. Search on Bibsonomy REFSQ The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Stefan Hallerstede Justifications for the Event-B Modelling Notation. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Ken Robinson Reconciling Axiomatic and Model-Based Specifications Reprised. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF classical B, formal specification, refinement, axiomatic, model-based, Event B
14Jean-Raymond Abrial Train Systems. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Correct Construction, Refinement, Requirement, Failure, Event-B
14J. Christian Attiogbé A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Refinement, Mutual Exclusion, Event B, Parallel Composition
14Pontus Boström, Marina Waldén Development of Fault Tolerant Grid Applications Using Distributed B. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault tolerance, Grid computing, Domain specific languages, Language extensions, Event B, Stepwise development
12Dominique Cansell, Dominique Méry Proved-Patterns-Based Development for Structured Programs. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
12Stefan Hallerstede Parallel Hardware Design in B. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
11Jean-Charles Chaudemar, Charles Castel, Christel Seguin FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Stefan Hallerstede On the Purpose of Event-B Proof Obligations. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Paulo J. Matos, João Marques-Silva 0001 Model Checking Event-B by Encoding into Alloy. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Colin F. Snook, Marina Waldén Refinement of Statemachines Using Event B Semantics. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Divakar Yadav, Michael J. Butler Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Pontus Boström, Marina Waldén An Extension of Event B for Developing Grid Systems. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial The Challenge of Probabilistic Event B - Extended Abstract. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Meryem 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). Search on Bibsonomy 2022   RDF
10Jean-Paul Bodeveix, Mamoun Filali Event-B Formalization of Event-B Contexts. Search on Bibsonomy ABZ The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
10Rahul Karmakar, Bidyut Biman Sarkar, Nabendu Chaki Event Ordering Using Graphical Notation for Event-B Models. Search on Bibsonomy CISIM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
10Souad 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). Search on Bibsonomy 2018   RDF
10Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala An Event-B framework for the validation of Event-B refinement plugins. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
10Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
10Mohamed Amine, Benoît Delahaye, Arnaud Lanoix Moving from Event-B to probabilistic Event-B. Search on Bibsonomy SAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
10Badr 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). Search on Bibsonomy 2017   RDF
10Richard Banach, Michael J. Butler Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
10Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi A Graphical Tool for Event Refinement Structures in Event-B. Search on Bibsonomy ABZ The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
10Andrew Edmunds, Marina Waldén Modelling 'Operation-Calls' in Event-B with Shared-Event Composition. Search on Bibsonomy SBMF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
10Yongwang Zhao, Zhibin Yang, David Sanán Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
10Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu Core Hybrid Event-B I: Single Hybrid Event-B machines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
10Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh Language and tool support for event refinement structures in Event-B. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
10Yongwang 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. Search on Bibsonomy ISSRE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
10Linas 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. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
10Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu From TiMo to Event-B: Event-Driven Timed Mobility. Search on Bibsonomy ICECCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
10Ahmet 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) Search on Bibsonomy 2014   RDF
10Lorina Negreanu, Matei Popovici Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B. Search on Bibsonomy CSCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
10Fuyuki Ishikawa, Alexander B. Romanovsky Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
10Michael J. Butler External and internal choice with event groups in Event-B. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
10Renato Silva, Michael J. Butler Shared Event Composition/Decomposition in Event-B. Search on Bibsonomy FMCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
10Leila 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. Search on Bibsonomy ICSOFT (2) The full citation details ... 2010 DBLP  BibTeX  RDF
9Tu Bao Ho, Canh Hao Nguyen, Saori Kawasaki, Si Quang Le, Katsuhiko Takabayashi Exploiting Temporal Relations in Mining Hepatitis Data. Search on Bibsonomy New Gener. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Hepatitis Study, Temporal Relations, Temporal Patterns
9Tu Bao Ho, Canh Hao Nguyen, Saori Kawasaki, Katsuhiko Takabayashi Temporal Relations Extraction in Mining Hepatitis Data. Search on Bibsonomy PAKDD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
9Bill Stoddart, Dominique Cansell, Frank Zeyda Modelling and Proof Analysis of Interrupt Driven Scheduling. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interrupt Driven Scheduler, Formal Methods, Event Calculus
8Elisabeth Ball, Michael J. Butler Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Divakar Yadav, Michael J. Butler Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Qaisar A. Malik, Johan Lilius, Linas Laibinis Model-Based Testing Using Scenarios and Event-B Refinements. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Paulo J. Matos, Bernd Fischer 0002, João Marques-Silva 0001 A Lazy Unbounded Model Checker for Event-B. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Jean-Raymond Abrial A System Development Process with Event-B and the Rodin Platform. Search on Bibsonomy ICFEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng Specifying and Verifying Cases Retrieval System Combining Event B and Spin. Search on Bibsonomy ICSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
8Marta Plaska, Marina Waldén, Colin F. Snook Documenting the Progress of the System Development. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Progress diagram, Statemachines, Refinement Patterns, UML, Refinement, Graphical representation, Event-B, Action Systems, Stepwise development
8Alexander B. Romanovsky DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fault tolerance, formal methods, reuse, dependability, refinement, requirements, Eclipse, tool support, Event-B
8J. Christian Attiogbé Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, Specification, Event B, Dynamic Architecture
6Jens Bendisposto, Michael Leuschel Proof Assisted Model Checking for B. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration
6Marcin Krysinski, George J. Anders Application of Time-Dependent Fault Tree Models for the Analysis of Project Schedule Failure Conditions. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
6Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin A Roadmap for the Rodin Toolset. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
6Christophe Métayer, Mathieu Clabaut DIR 41 Case Study. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
6Serena Doria Convergences of Random Variables with Respect to Coherent Upper Probabilities Defined by Hausdorff Outer Measures. Search on Bibsonomy SMPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
6Therese Berg, Harald Raffelt Model Checking. Search on Bibsonomy Model-Based Testing of Reactive Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
6Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
6Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001 Default Timed Concurrent Constraint Programming. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
5Rahul Karmakar A graphical tool for formal verification using Event-B modeling. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
5Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
5Sebastian Stock 0002, Atif Mashkoor, Michael Leuschel, Alexander Egyed Trace preservation in B and Event-B refinements. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
5Richard Banach Core Hybrid Event-B III: Fundamentals of a reasoning framework. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
5Inès Mouakher, Fatma Dhaou, J. Christian Attiogbé Validating and verifying LwM2M clients with event-B. Search on Bibsonomy Int. J. Internet Protoc. Technol. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
5Vladimir I. Shelekhov Automata-Based Software Engineering with Event-B. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
5Asieh Salehi Fathabadi, Vahid Yazdanpanah Trust Modelling and Verification Using Event-B. Search on Bibsonomy FMAS@iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
5Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini A transformation methodology for Capella to Event-B models with DSL verification. Search on Bibsonomy J. Comput. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
5Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea, Thai Son Hoang A fairness-based refinement strategy to transform liveness properties in Event-B models. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
5Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu 0003, Jun Sun 0001 Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
5Ismaï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. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
5Sebastián Vergara, Laura González 0001, Raúl Ruggia Formalizing Microservices Patterns with Event-B: The Case of Service Registry. Search on Bibsonomy ICSOC Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 618 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license