• Publications
  • Influence
A formal semantics of timed activity diagrams and its PROMELA translation
  • N. Guelfi, A. Mammar
  • Computer Science
  • 12th Asia-Pacific Software Engineering Conference…
  • 15 December 2005
TLDR
The lack of a precise semantics for UML activity diagrams makes reasoning on models constructed using such diagrams infeasible. Expand
  • 59
  • 4
  • PDF
An overview of a method and its support tool for generating B specifications from UML notations
  • R. Laleau, A. Mammar
  • Computer Science
  • Proceedings ASE . Fifteenth IEEE International…
  • 11 September 2000
TLDR
This paper presents, through an example, an overview of our method which generates B specifications from an application described using UML notations. Expand
  • 73
  • 3
  • PDF
From a B formal specification to an executable code: application to the relational database domain
TLDR
We present a process based on the B refinement technique for the derivation of a relational implementation, embedded in the JAVA language, from a B specification obtained by the first translation phase. Expand
  • 42
  • 2
Modeling a Landing Gear System in Event-B
TLDR
This paper describes the Event-B modeling of the landing gear system of an aircraft whose the complete description can be found in [3]. Expand
  • 14
  • 2
Proving the Absence Property Pattern Using the B Method
TLDR
We propose a formal approach to verifying absence properties of the form Abs(P2, From P1 Until P3) that express that some states, represented by predicate P2, should not be reached starting from a state that satisfies P1 until a state satisfies P3 is reached. Expand
  • 3
  • 2
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
TLDR
This paper presents an Event-B model of the ABZ2018 case study on the European Rail Traffic Management System (ERTMS) standard, which is decomposed into four refinements. Expand
  • 24
  • 1
Modeling a landing gear system in Event-B
  • A. Mammar, R. Laleau
  • Computer Science
  • International Journal on Software Tools for…
  • 1 April 2017
TLDR
This article describes the Event-B modeling of a landing gear system of an aircraft whose complete description can be found in Boniol and Wiels (The Landing Gear System Case Study, ABZ Case Study). Expand
  • 18
  • 1
  • PDF
A Generic Process to Refine a B Specification into a Relational Database Implementation
TLDR
In this paper, an approach for refining B abstract specifications describing data-intensive applications into relational database implementations is presented. Expand
  • 27
  • 1
Un environnement formel pour le développement d'applications bases de données
Ce travail presente une approche formelle pour le developpement d'applications bases de donnees sures. Cette approche consiste en la generation d'une implementation relationnelle a partir deExpand
  • 16
  • 1
  • PDF