BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Andr=eacute=:=Eacute=tienne

Contributed to:

CAV 20132013
ICSE 20132013
IFM 20132013
FM 20122012
CAV (1) 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.