Étienne André
3
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
- 3
- 1
- 1
- 1
- 2
- 2
- 3
- 3
|
|
Consistency in Parametric Interval Probabilistic Timed AutomataJournal of Logical and Algebraic Methods in Programming, inPress, ⟨10.1016/j.jlamp.2019.04.007⟩
Article dans une revue
hal-02154775v1
|
Parametric Timed Broadcast Protocols20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Constantin Enea and Ruzica Piskac, Jan 2019, Lisboa, Portugal. ⟨10.1007/978-3-030-11245-5_23⟩
Communication dans un congrès
hal-01961497v1
|
|
|
|
Consistency in Parametric Interval Probabilistic Timed Automata23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark
Communication dans un congrès
hal-01590892v1
|