|
|
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 |
5 | Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler |
Formal Verification of Run-to-Completion Style Statecharts Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion ![In: Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings, pp. 311-325, 2020, Springer, 978-3-030-59154-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
5 | Sebastián Vergara, Laura González 0001, Raúl Ruggia |
Towards Formalizing Microservices Architectural Patterns with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSA Companion ![In: 2020 IEEE International Conference on Software Architecture Companion, ICSA Companion 2020, Salvador, Brazil, March 16-20, 2020, pp. 71-74, 2020, IEEE, 978-1-7281-7415-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
5 | Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin 0001 |
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications, AINA-2020, Caserta, Italy, 15-17 April., pp. 1303-1318, 2020, Springer, 978-3-030-44040-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
5 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 57-64, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
5 | James Snook |
Constructing a new language to facilitate mathematical proofs in the Event-B context ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
5 | Chenyang Zhu 0001 |
Formal treatment of real-time properties in Event-B ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
5 | Ahmed Al-Brashdi |
Incremental and rigorous database design and code generation using UML-B and event-B ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
5 | Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix |
Introducing probabilistic reasoning within Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(3), pp. 1953-1984, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. ![In: J. Commun. 14(10), pp. 980-986, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Chunyan Fu, Kougen Zheng |
Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 21(2), pp. 165-181, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone |
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 9(1/2), pp. 56-75, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
Consistency-preserving refactoring of refinement structures in Event-B models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 31(3), pp. 287-320, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean |
Automating Event-B invariant proofs by rippling and proof patching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 31(1), pp. 95-129, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Han Peng, Chenglie Du, Lei Rao, Zhouzhou Liu |
LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Syst. ![In: J. Inf. Process. Syst. 15(3), pp. 570-592, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
5 | Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz |
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, pp. 202-212, 2019, Springer, 978-3-030-18743-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Robert Eschbach |
Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 738-745, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
Towards a Method for the Decomposition by Refinement in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM Workshops (2) ![In: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, pp. 358-370, 2019, Springer, 978-3-030-54996-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi |
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM Workshops (1) ![In: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, pp. 19-29, 2019, Springer, 978-3-030-54993-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Idir Aït-Sadoune, Linda Mohand-Oussaïd |
Building Formal Semantic Domain Model: An Event-B Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings, pp. 140-155, 2019, Springer, 978-3-030-32064-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi |
From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 2, pp. 561-566, 2019, IEEE, 978-1-7281-2607-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Mohammadsadegh Dalvandi, Brijesh Dongol |
Towards deductive verification of C11 programs with Event-B and ProB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019, pp. 4:1-4:7, 2019, ACM, 978-1-4503-6864-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Guoteng Pan, Mengjun Li, Guodong Ou |
Modeling and Reasoning Event-B Models Based on Mathematica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Internetware '19: The 11th Asia-Pacific Symposium on Internetware, Fukuoka, Japan, October 28-29, 2019, pp. 17:1-17:9, 2019, ACM, 978-1-4503-7701-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Néstor Cataño |
Teaching Formal Methods: Lessons Learnt from Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMTea ![In: Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, pp. 212-227, 2019, Springer, 978-3-030-32440-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Suphattra Kaewopchoei, Wiwat Vatanawood |
Transformation of Bounded Timed Petri Nets into Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2019, Toyama, Japan, July 8-11, 2019, pp. 127-132, 2019, IEEE, 978-1-7281-1651-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
Event-B Decomposition Analysis for Systems Behavior Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019., pp. 278-286, 2019, SciTePress, 978-989-758-379-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Laura González 0001, Raúl Ruggia |
Formalizing a Policy-based Compliance Control Solution with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019., pp. 605-613, 2019, SciTePress, 978-989-758-379-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Emna Chebbi, Patrick Sondi, Éric Ramat |
A Formal Model for the Chain-Branch-Leaf Clustering Scheme in OLSR based Vehicular Ad hoc Networks using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/EDI40 ![In: The 10th International Conference on Ambient Systems, Networks and Technologies (ANT 2019) / The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40 2019) / Affiliated Workshops, April 29 - May 2, 2019, Leuven, Belgium, pp. 935-940, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul |
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDEc ![In: Digital Economy. Emerging Technologies and Business Innovation - 4th International Conference, ICDEc 2019, Beirut, Lebanon, April 15-18, 2019, Proceedings, pp. 147-156, 2019, Springer, 978-3-030-30873-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-3342-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019, pp. 9-16, 2019, IEEE, 978-1-7281-3342-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
5 | Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop |
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 54, pp. 297-315, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Pascal André, J. Christian Attiogbé, Arnaud Lanoix |
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.05647, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
5 | Han Peng, Chenglie Du, Lei Rao, Fu Chen |
A LTS Approach to Control in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Program. ![In: Sci. Program. 2018, pp. 8765186:1-8765186:11, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Richard Banach |
Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 156, pp. 21-44, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Ivaylo Dobrikov, Michael Leuschel |
Enabling analysis for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 158, pp. 81-99, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Marius Brezovan, Costin Badica |
Using the Event-B Formal Method and the Rodin Framework for Verification the Knowledge Base of an Rule-Based Expert System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synergies Between Knowledge Engineering and Software Engineering ![In: Synergies Between Knowledge Engineering and Software Engineering, pp. 107-127, 2018, Springer, 978-3-319-64160-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Tsutomu Kobayashi, Fuyuki Ishikawa |
Analysis on Strategies of Superposition Refinement of Event-B Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, pp. 357-372, 2018, Springer, 978-3-030-02449-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Victor Rivera, Jooyoung Lee, Manuel Mazzara |
Mapping Event-B Machines into Eiffel Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEDA ![In: Proceedings of 6th International Conference in Software Engineering for Defence Applications, SEDA 2018, Rome, Italy, June 7-8, 2018, pp. 255-264, 2018, Springer, 978-3-030-14686-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe 0001, Felician Campean |
Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/SmartCity/DSS ![In: 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018, Exeter, United Kingdom, June 28-30, 2018, pp. 1541-1546, 2018, IEEE, 978-1-5386-6614-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 321-330, 2018, Springer, 978-3-030-00855-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Syrine Aouadi, Arnaud Lanoix |
Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI Workshops ![In: New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 185-199, 2018, Springer, 978-3-030-02851-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Sabrine Ammar, Mohamed Tahar Bhiri |
Automatic Planning: From Event-B to PDDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI Workshops ![In: New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 247-254, 2018, Springer, 978-3-030-02851-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Pascal André, J. Christian Attiogbé, Arnaud Lanoix |
Systematic Construction of Critical Embedded Systems Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI Workshops ![In: New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 200-216, 2018, Springer, 978-3-030-02851-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Klaus-Dieter Schewe |
Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 418-433, 2018, Springer, 978-3-030-00855-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua |
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI Workshops ![In: New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 50-62, 2018, Springer, 978-3-030-02851-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI Workshops ![In: New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings, pp. 153-158, 2018, Springer, 978-3-030-02851-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Aida Lahouij, Lazhar Hamel, Mohamed Graiet |
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I, pp. 604-622, 2018, Springer, 978-3-030-02609-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Irum Rauf, Inna Vistbakka, Elena Troubitsyna |
Formal Verification of Stateful Services with REST APIs Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018, pp. 131-138, 2018, IEEE, 978-1-5386-7247-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Sheng-rong Zou, Chen Wang, Si-ping Jiang, Li Chen |
Comparison of Event-B and B Method: Application in Immune System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSI (1) ![In: Advances in Swarm Intelligence - 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I, pp. 317-326, 2018, Springer, 978-3-319-93814-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Michael Leuschel |
Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETS@ABZ ![In: Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018., pp. 1, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
5 | Jean-Raymond Abrial |
The ABZ-2018 Case Study with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 322-337, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Wen Su, Jinxin Chen, Shehroz Khan 0002 |
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 403-408, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh 0001, Laurent Voisin |
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 425-430, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier |
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 55-70, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi |
Verifiable Code Generation from Scheduled Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 234-248, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Inna Vistbakka, Mikhail Barash, Elena Troubitsyna |
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 386-391, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 155-170, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau |
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 353-366, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Jean-Raymond Abrial |
On B and Event-B: Principles, Success and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 31-35, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem |
Translation of UML Models for Self-adaptive Systems into Event-B Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (2) ![In: Intelligent Systems Design and Applications - 18th International Conference on Intelligent Systems Design and Applications, ISDA 2018, Vellore, India, December 6-8, 2018, Volume 2, pp. 421-430, 2018, Springer, 978-3-030-16659-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Philipp Körner, Michael Leuschel, Jeroen Meijer |
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 275-295, 2018, Springer, 978-3-319-98937-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Chalika Saksupawattanakul, Wiwat Vatanawood |
Event-B Formalization of Basic Supply Chain Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 19th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2018, Busan, Korea (South), June 27-29, 2018, pp. 352-357, 2018, IEEE Computer Society, 978-1-5386-5889-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Anasuya Chaudhuri, Shreya Banerjee 0002, Anirban Sarkar 0002 |
Behavioral Analysis of Service Oriented Systems Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: Computer Information Systems and Industrial Management - 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings, pp. 117-129, 2018, Springer, 978-3-319-99953-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | J. Christian Attiogbé |
Building Correct SDN Components from a Global Event-B Formal Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 35-53, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali |
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, pp. 54-74, 2018, Springer, 978-3-030-02145-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Abdessamad Jarrar, Youssef Balouki |
Formal Reasoning for Air Traffic Control System Using Event-B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2018 - 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II, pp. 241-252, 2018, Springer, 978-3-319-95164-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | James Snook, Michael J. Butler, Thai Son Hoang |
Developing A New Language to Construct Algebraic Hierarchies for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 135-141, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Ammar Alhaj Ali, Roman Jasek, Said Krayem, Bronislav Chramcov, Petr Zacek |
Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSOC (3) ![In: Cybernetics and Algorithms in Intelligent Systems - Proceedings of 7th Computer Science On-line Conference 2018, Volume 3, pp. 246-258, 2018, Springer, 978-3-319-91191-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy |
Formalising the Requirements of an E-Voting Software Product Line Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018, pp. 78-84, 2018, IEEE Computer Society, 978-1-5386-6916-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Semantics of Real-Time Trigger-Response Properties in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018, pp. 150-155, 2018, IEEE Computer Society, 978-1-5386-7305-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor |
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018, pp. 209-212, 2018, IEEE Computer Society, 978-1-5386-9341-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
5 | Ivaylo Miroslavov Dobrikov |
Improving Explicit-State Model Checking for B and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
5 | Fatma Dhaou |
Vérification formelle de la relation de raffinement des diagrammes de séquences d'UML2.X avec la méthode formelle B événementiel. (Formal checking of refinement relation of UML2.X sequence diagram with Event-B method). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
5 | Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot |
Refinement-based Validation of Event-B Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 16(3), pp. 789-808, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Guillaume Babin, Yamine Aït Ameur, Marc Pantel |
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 10(1), pp. 107-120, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto, Carlos Giovanni Nunes de Carvalho |
A Formal Semantics for Use Case Diagram Via Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 12(3), pp. 189-200, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Wen Su, Jean-Raymond Abrial |
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 19(2), pp. 141-166, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Richard Banach |
The landing gear system in multi-machine Hybrid Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 19(2), pp. 205-228, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Amel Mammar, Régine Laleau |
Modeling a landing gear system in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 19(2), pp. 167-186, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda |
Code generation for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 19(1), pp. 31-52, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Inna Vistbakka, Elena Troubitsyna |
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMPEX/FM&MDD ![In: Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017., pp. 105-116, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh |
Incremental Database Design using UML-B and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMPEX/FM&MDD ![In: Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017., pp. 34-47, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd |
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMPEX/FM&MDD ![In: Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017., pp. 24-33, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard |
Translating Event-B machines to Eiffel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.04578, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
5 | J. Paul Gibson, Dominique Méry |
Explicit Modelling of Physical Measures: From Event-B to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMPEX/FM&MDD ![In: Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017., pp. 64-79, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Usman Sanwal, Luigia Petre, Ion Petre |
Stepwise construction of a metabolic network in Event-B: The heat shock response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 91, pp. 1-12, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Karima Belgharbi, Mahmoud Boufaïda |
Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Ambient Comput. Intell. ![In: Int. J. Ambient Comput. Intell. 8(1), pp. 1-22, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh |
Derivation of algorithmic control structures in Event-B refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 148, pp. 49-65, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Marie Farrell, Rosemary Monahan, James F. Power |
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, pp. 140-156, 2017, Springer, 978-3-319-68689-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri |
Automatic Refinement for Event-B through Annotated Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017, pp. 287-290, 2017, IEEE Computer Society, 978-1-5090-6058-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier |
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, pp. 148-159, 2017, Springer, 978-3-319-68498-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden |
Extracting Traceability between Predicates in Event-B Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, pp. 61-70, 2017, IEEE Computer Society, 978-1-5386-3681-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Souad Kherroubi, Dominique Méry |
Contextualization and Dependency in State-Based Modelling - Application to Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, pp. 137-152, 2017, Springer, 978-3-319-66853-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Linda Mohand-Oussaïd, Idir Aït-Sadoune |
Formal Modelling of Domain Constraints in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings, pp. 153-166, 2017, Springer, 978-3-319-66853-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli |
From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 2, pp. 187-192, 2017, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Jie Liu 0013, Jing Liu 0012, Miaomiao Zhang, Haiying Sun, Xiaohong Chen 0007, Dehui Du, Mingsong Chen |
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1, pp. 138-143, 2017, IEEE Computer Society, 978-1-5386-0367-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Qi Zhang, Zhiqiu Huang, Jian Xie 0004 |
Distributed System Model Using SysML and Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLICOM (1) ![In: Machine Learning and Intelligent Communications - Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I, pp. 326-336, 2017, Springer, 978-3-319-73563-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden |
Construction of Abstract State Graphs for Understanding Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 250-265, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Mojgan Kamali, Luigia Petre |
Uppaal vs Event-B for Modelling Optimised Link State Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 189-203, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
5 | Arnaud Dieumegard, Ning Ge 0002, Eric Jenn |
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pp. 327-341, 2017, 978-3-319-57287-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 618 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|