IMPEX/FM&MDD

Keyphrases

Publications

volume 271, 2018

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. IMPEX/FM&MDD 271 (2018)

2017

Sylvain Conchon, David Declerck, Fatiha Zaïdi
Parameterized Model Checking Modulo Explicit Weak Memory Models. IMPEX/FM&MDD (2017)
Inna Vistbakka, Elena Troubitsyna
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. IMPEX/FM&MDD (2017)
Dines Bjørner
Domain Analysis & Description - The Implicit and Explicit Semantics Problem. IMPEX/FM&MDD (2017)
Irum Rauf, Elena Troubitsyna
Securing Open Source Clouds Using Models. IMPEX/FM&MDD (2017)
Eduardo dos Santos, Andrew Simpson, Dominik Schoop
A Formal Model to Facilitate Security Testing in Modern Automotive Systems. IMPEX/FM&MDD (2017)
Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh
Incremental Database Design using UML-B and Event-B. IMPEX/FM&MDD (2017)
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. IMPEX/FM&MDD (2017)
J. Paul Gibson, Dominique Méry
Explicit Modelling of Physical Measures: From Event-B to Java. IMPEX/FM&MDD (2017)