61 citations · 322 across the 42 of their papers we have counts for
3 papers · 1 filter
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…
Proceedings 1st International Workshop on Synthesis of Continuous Parameters
Étienne André, Goran Frehse
This volume contains the proceedings of the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP'14). The workshop was held in Grenoble, France on April 6th, 20…
Toward Parametric Timed Interfaces for Real-Time Components
Youcheng Sun, Giuseppe Lipari, Étienne André +1
We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is…