Travelled to:1 × Finland
1 × France
1 × Russia
1 × USA
Collaborated with:Y.Liu J.Sun J.S.Dong S.Lin M.Waga I.Hasuo L.Fribourg U.Kühne R.Soulat T.H.Tan M.Chen S.Liu C.Choppy B.Wadhwa
Talks about:time (4) synthesi (2) composit (2) system (2) parametr (1) hierarch (1) communic (1) schedul (1) problem (1) paramet (1)
Person: Étienne André
DBLP: Andr=eacute=:=Eacute=tienne
Contributed to:
2013
2013
2013
20122019Wrote 6 papers:
- CAV-2013-AndreLSDL #concurrent #named #parametricity #realtime #synthesis
- PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (ÉA, YL, JS, JSD, SWL), pp. 984–989.
- ICSE-2013-TanA00DC #composition #synthesis
- Dynamic synthesis of local time requirement for service composition (THT, ÉA, JS, YL, JSD, MC), pp. 542–551.
- IFM-2013-LiuLACSWD #semantics #state machine #uml
- A Formal Semantics for Complete UML State Machines with Communications (SL, YL, ÉA, CC, JS, BW, JSD), pp. 331–346.
- FM-2012-AndreFKS #problem #robust #scheduling
- IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems (ÉA, LF, UK, RS), pp. 33–36.
- FM-2012-LinLSDA #automation #composition #verification
- Automatic Compositional Verification of Timed Systems (SWL, YL, JS, JSD, ÉA), pp. 272–276.
- CAV-2019-WagaAH #monitoring #parametricity #specification
- Symbolic Monitoring Against Specifications Parametric in Time and Data (MW, ÉA, IH), pp. 520–539.