61 citations · 322 across the 42 of their papers we have counts for
6 papers · 1 filter
Formalizing UML State Machines for Automated Verification -- A Survey
Étienne André, Shuang Liu, Yang Liu +3
The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs.…
Automated synthesis of local time requirement for service composition
Étienne André, Tian Huat Tan, Manman Chen +4
Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial especially in time c…
Time4sys2imi: A tool to formalize real-time system models under uncertainty
Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys is a formalism developed by Thales, realizing a graphical specification for real-time systems. However, this formalism does not allow to perform formal analyses for real-t…
Formalizing Time4sys using parametric timed automata
Étienne André
Critical real-time systems must be verified to avoid the risk of dramatic consequences in case of failure. Thales developed an open formalism Time4sys to model real-time systems, w…
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
Étienne André, Emmanuel Coquard, Laurent Fribourg +2
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a…
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking technique…