Étienne André
2
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
- 2
- 2
- 2
- 2
- 2
- 1
Symbolic Monitoring against Specifications Parametric in Time and Data31st International Conference on Computer-Aided Verification (CAV 2019), Jul 2019, New York, United States
Communication dans un congrès
hal-02153223v1
|
|
Offline timed pattern matching under uncertainty23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Anthony Widjaja Lin and Jun Sun, Dec 2018, Melbourne, Australia. ⟨10.1109/ICECCS2018.2018.00010⟩
Communication dans un congrès
hal-01965927v1
|