Étienne André
4
Documents
Identifiants chercheurs
- etienne-andre
Présentation
My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 4
- 4
- 1
|
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩
Article dans une revue
hal-04254710v1
|
|
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed AutomataElectronic Proceedings in Theoretical Computer Science, 2023, 392, pp.1 - 26. ⟨10.4204/eptcs.392.1⟩
Article dans une revue
hal-04312156v1
|
Distributed parametric model checking timed automata under non-Zenoness assumptionFormal Methods in System Design, 2021, 59 (1-3), pp.253-290. ⟨10.1007/s10703-022-00400-z⟩
Article dans une revue
cea-04121940v1
|
|
Expiring opacity problems in parametric timed automata2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩
Communication dans un congrès
hal-04151207v2
|