( en | de | ru )

 

Disambiguierung von "André, Étienne"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parametric Analyses of Attack-Fault Trees.

, , , und . ACSD, Seite 33-42. IEEE, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Étienne André

Étienne Miquey

Stéphane Étienne

Étienne Payet

Étienne Deparis

 

Weitere Publikationen von Autoren mit dem selben Namen

Robust optimal control using dynamic programming and guaranteed Euler's method., , und . CoRR, (2020)A benchmark library for parametric timed model checking.. CoRR, (2018)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)., , , , , , , , , und 5 andere Autor(en). Dagstuhl Artifacts Ser., 9 (1): 04:1-04:6 (2023)Online Parametric Timed Pattern Matching with Automata-Based Skipping., und . NFM, Volume 11460 von Lecture Notes in Computer Science, Seite 371-389. Springer, (2019)Consistency in Parametric Interval Probabilistic Timed Automata., , und . CoRR, (2019)Repairing Timed Automata Clock Guards through Abstraction and Testing., , , und . TAP, Volume 11823 von Lecture Notes in Computer Science, Seite 129-146. Springer, (2019)Distributed parametric model checking timed automata under non-Zenoness assumption., , , und . Formal Methods Syst. Des., 59 (1): 253-290 (2021)Timed ATL: Forget Memory, Just Count., , , , und . J. Artif. Intell. Res., (2019)Parametric schedulability analysis of a launcher flight control system under reactivity constraints., , , , und . CoRR, (2021)Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty., , und . ICTAC, Volume 11884 von Lecture Notes in Computer Science, Seite 113-123. Springer, (2019)