Skip to Main content Skip to Navigation

Search by documents



...
tel-01940514v1  Theses
Badr Siala. Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP
Performance et fiabilité [cs.PF]. Université Paul Sabatier - Toulouse III, 2017. Français. ⟨NNT : 2017TOU30268⟩
hal-03176420v1  Conference papers
Badr SialaTahar BhiriJean-Paul BodeveixM Filali. An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016)
Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
...
hal-01887899v1  Conference papers
Badr SialaJean-Paul BodeveixM FilaliTahar Bhiri. Automatic Refinement for Event-B through Annotated Patterns
25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), Mar 2017, Saint Petersburg, Russia. pp. 287-290
...
hal-01500510v1  Conference papers
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixM Filali. Un processus de développement Event-B pour des applications distribuées
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
...
hal-01709119v1  Conference papers
Badr SialaTahar BhiriJean-Paul BodeveixM Filali. An Event-B Development Process for the Distributed BIP Framework
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. pp. 313-328