( en | de | ru )

 

Disambiguierung von "André, Étienne"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Expiring opacity problems in parametric timed automata.

, , und . ICECCS, Seite 89-98. IEEE, (2023)

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

Online Parametric Timed Pattern Matching with Automata-Based Skipping., und . NFM, Volume 11460 von Lecture Notes in Computer Science, Seite 371-389. Springer, (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)Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata., , , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 311-329. Springer, (2021)Parameterized Verification of Disjunctive Timed Networks., , , und . VMCAI (1), Volume 14499 von Lecture Notes in Computer Science, Seite 124-146. Springer, (2024)Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior., , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 470-488. Springer, (2022)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)What's decidable about parametric timed automata?. Int. J. Softw. Tools Technol. Transf., 21 (2): 203-219 (2019)A Benchmark Library for Parametric Timed Model Checking.. FTSCS, Volume 1008 von Communications in Computer and Information Science, Seite 75-83. Springer, (2018)Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity"., und . (Juni 2019)Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption., , , und . (September 2022)