Parametric timed model checking for guaranteeing timed opacity

by ANDRÉ, Étienne, SUN, Jun
Published 2019

The language preservation problem is undecidable for parametric event-recording automata

by André, Étienne, Lin, Shang-Wei
Published 2020

Guaranteeing timed opacity using parametric timed model checking

by ANDRÉ, Étienne, LIME, Didier, MARINHO, Dylan, SUN, Jun
Published 2022

Classification-based parameter synthesis for parametric timed automata

by LI, Jiaying, SUN, Jun, GAO, Bo, ANDRE, Étienne
Published 2017

Parameter synthesis for hierarchical concurrent real-time systems

by ANDRÉ, Étienne, LIU, Yang, SUN, Jun, DONG, Jin Song
Published 2014

Parameter synthesis for hierarchical concurrent real-time systems

by ANDRÉ, Étienne, LIU, Yang, SUN, Jun, DONG, Jin Song
Published 2012

Parametric model checking timed automata under non-Zenoness assumption

by ANDRE, Étienne, NGUYEN, Hoang Gia, PETRUCCI, Laure, SUN, Jun
Published 2017

Configuring timing parameters to ensure execution-time opacity in timed automata

by André, Étienne, Lefaucheux, Engel, Lime, Didier, Marinho, Dylan, SUN, Jun
Published 2023

An efficient algorithm for learning event-recording automata

by LIN, Shang-Wei, ANDRÉ, Étienne, DONG, Jin Song, SUN, Jun, LIU, Yang
Published 2011

PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems

by ANDRÉ, Étienne, LIU, Yang, SUN, Jun, DONG, Jin Song, LIN, Shang-Wei
Published 2013

Automatic compositional verification of timed systems

by LIN, Shang-Wei, LIU, Yang, SUN, Jun, DONG, Jin Song, ANDRÉ, Étienne
Published 2012

Modeling and verifying hierarchical real-time systems using stateful timed CSP

by SUN, Jun, LIU, Yang, DONG, Jin Song, LIU, Yan, SHI, Ling, ANDRÉ, Étienne
Published 2013

Automated runtime recovery for QoS-based service composition

by TAN, Tian Huat, CHEN, Manman, ANDRÉ, Étienne, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2014

Dynamic synthesis of local time requirement for service composition

by TAN, Tian Huat, ANDRÉ, Étienne, SUN, Jun, LIU, Yang, DONG, Jin Song, CHEN, Manman
Published 2013

A formal semantics for complete UML state machines with communications

by LIU, Shuang, LIU, Yang, ANDRÉ, Étienne, CHOPPY, Christine, SUN, Jun, WADHWA, Bimlesh, DONG, Jin Song
Published 2013

Automated synthesis of local time requirement for service composition

by André, Étienne, Tan, Tian Huat, Chen, Manman, Liu, Shuang, Sun, Jun, Liu, Yang, Dong, Jin Song
Published 2021

Automated synthesis of local time requirement for service composition

by ANDRÉ, Étienne, TAN, Tian Huat, CHEN, Manman, LIU, Shuang, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2020

Automated synthesis of local time requirement for service composition

by ANDRÉ, Étienne, TAN, Tian Huat, CHEN, Manman, LIU, Shuang, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2020

Optimizing selection of competing services with probabilistic hierarchical refinement

by TAN, Tian Huat, CHEN, Manman, SUN, Jun, LIU, Yang, ANDRÉ, Étienne, XUE, Yinxing, DONG, Jin Song
Published 2016