default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDÉtienne André
Person information
- affiliation: Université Sorbonne Paris Nord, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]Bineet Ghosh, Étienne André:
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. Log. Methods Comput. Sci. 20(1) (2024)- [j31]Masaki Waga
, Étienne André:
Hyper Parametric Timed CTL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 4286-4297 (2024) - [c90]Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci:
CosyVerif: The Path to Formalisms Cohabitation. Petri Nets 2024: 432-444 - [c89]Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama:
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. SAC 2024: 186-195 - [c88]Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. VMCAI (1) 2024: 124-146 - [i48]Étienne André, Engel Lefaucheux, Dylan Marinho:
Expiring opacity problems in parametric timed automata. CoRR abs/2403.07647 (2024) - [i47]Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama:
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. CoRR abs/2403.18764 (2024) - [i46]Bineet Ghosh, Étienne André:
MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties. CoRR abs/2407.17201 (2024) - [i45]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. CoRR abs/2407.17215 (2024) - [i44]Masaki Waga, Étienne André:
Hyper parametric timed CTL. CoRR abs/2407.21321 (2024) - [i43]Étienne André, Swen Jacobs, Shyam Lal Karra, Ocan Sankur:
Parameterized Verification of Timed Networks with Clock Invariants. CoRR abs/2408.05190 (2024) - [i42]Étienne André, Sarah Dépernet, Engel Lefaucheux:
The Bright Side of Timed Opacity. CoRR abs/2408.12240 (2024) - [i41]Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux:
Execution-time opacity control for timed automata. CoRR abs/2409.10336 (2024) - [i40]Étienne André, Johan Arcile, Engel Lefaucheux:
Execution-time opacity problems in one-clock parametric timed automata. CoRR abs/2410.01659 (2024) - 2023
- [j30]Johan Arcile, Étienne André:
Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice. ACM Comput. Surv. 55(6): 127:1-127:36 (2023) - [j29]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55(13s): 277:1-277:47 (2023) - [j28]Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun:
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9(1): 04:1-04:6 (2023) - [j27]Bineet Ghosh, Étienne André:
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. Sci. Comput. Program. 230: 102976 (2023) - [j26]Masaki Waga, Étienne André, Ichiro Hasuo:
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32(1): 10:1-10:35 (2023) - [c87]Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun:
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS 2023: 19:1-19:18 - [c86]Étienne André, Engel Lefaucheux, Dylan Marinho:
Expiring opacity problems in parametric timed automata. ICECCS 2023: 89-98 - [c85]Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun:
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS 2023: 1-26 - [e5]Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14215, Springer 2023, ISBN 978-3-031-45328-1 [contents] - [e4]Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14216, Springer 2023, ISBN 978-3-031-45331-1 [contents] - [i39]Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. CoRR abs/2305.07295 (2023) - [i38]Étienne André, Didier Lime, Olivier H. Roux:
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR abs/2310.09109 (2023) - 2022
- [j25]Étienne André, Rémi Dulong, Amina Guermouche, François Trahay:
duf: Dynamic uncore frequency scaling to reduce power consumption. Concurr. Comput. Pract. Exp. 34(3) (2022) - [j24]Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. 18(1) (2022) - [j23]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded Monitoring of Hybrid Systems. ACM Trans. Cyber Phys. Syst. 6(4): 30:1-30:26 (2022) - [j22]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31(4): 64:1-64:36 (2022) - [c84]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022: 200-218 - [c83]Bineet Ghosh, Étienne André:
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. FORTE 2022: 67-87 - [c82]Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho:
strategFTO: Untimed Control for Timed Opacity. FTSCS 2022: 27-33 - [c81]Johan Arcile, Étienne André:
Zone Extrapolations in Parametric Timed Automata. NFM 2022: 451-469 - [c80]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM 2022: 470-488 - [d6]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata". Zenodo, 2022
- [d5]Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption. Zenodo, 2022 - [d4]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Zenodo, 2022 - [d3]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Data for "Exemplifying parametric timed specifications over signals with bounded behavior". Zenodo, 2022 - [i37]Johan Arcile, Étienne André:
Zone extrapolations in parametric timed automata. CoRR abs/2203.13173 (2022) - [i36]Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo:
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR abs/2203.13247 (2022) - [i35]Bineet Ghosh, Étienne André:
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems. CoRR abs/2204.11505 (2022) - [i34]Johan Arcile, Étienne André:
Timed automata as a formalism for expressing security: A survey on theory and practice. CoRR abs/2206.03445 (2022) - [i33]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR abs/2206.05438 (2022) - [i32]Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho:
strategFTO: Untimed control for timed opacity. CoRR abs/2211.14233 (2022) - [i31]Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol:
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR abs/2212.04802 (2022) - 2021
- [j21]Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Distributed parametric model checking timed automata under non-Zenoness assumption. Formal Methods Syst. Des. 59(1): 253-290 (2021) - [j20]Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens:
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. Fundam. Informaticae 182(1): 31-67 (2021) - [j19]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric Analyses of Attack-fault Trees. Fundam. Informaticae 182(1): 69-94 (2021) - [j18]Étienne André, Didier Lime, Mathias Ramparison:
Parametric updates in parametric timed automata. Log. Methods Comput. Sci. 17(2) (2021) - [c79]Jawher Jerray, Laurent Fribourg, Étienne André:
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. ADHS 2021: 265-270 - [c78]Jawher Jerray, Laurent Fribourg, Étienne André:
Robust optimal periodic control using guaranteed Euler's method. ACC 2021: 986-991 - [c77]Étienne André:
IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability. CAV (1) 2021: 552-565 - [c76]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. ICCPS 2021: 21-32 - [c75]Étienne André, Jaime Arias, Laure Petrucci, Jaco van de Pol:
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS (1) 2021: 311-329 - [c74]Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF 2021: 39-50 - [d2]Étienne André, Dylan Marinho, Jaco van de Pol:
The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata. Zenodo, 2021 - [i30]Masaki Waga, Étienne André, Ichiro Hasuo:
Model-bounded monitoring of hybrid systems. CoRR abs/2102.07401 (2021) - [i29]Jawher Jerray, Laurent Fribourg, Étienne André:
Robust optimal periodic control using guaranteed Euler's method. CoRR abs/2103.10125 (2021) - [i28]Étienne André, Dylan Marinho, Jaco van de Pol:
A Benchmarks Library for Extended Parametric Timed Automata. CoRR abs/2106.10232 (2021) - [i27]Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens:
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR abs/2112.07548 (2021) - 2020
- [j17]Étienne André, Benoît Delahaye, Paulin Fournier:
Consistency in Parametric Interval Probabilistic Timed Automata. J. Log. Algebraic Methods Program. 110 (2020) - [j16]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. 16(1) (2020) - [j15]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19(4): 983-1013 (2020) - [c73]Jawher Jerray, Laurent Fribourg, Étienne André:
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). ARCH 2020: 197-208 - [c72]Étienne André, Aleksander Kryukov:
Parametric non-interference in timed automata. ICECCS 2020: 37-42 - [i26]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. CoRR abs/2003.08116 (2020) - [i25]Étienne André, Didier Lime, Olivier H. Roux:
Reachability and liveness in parametric timed automata. CoRR abs/2004.09171 (2020) - [i24]Jawher Jerray, Laurent Fribourg, Étienne André:
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. CoRR abs/2006.09993 (2020) - [i23]Jawher Jerray, Laurent Fribourg, Étienne André:
Robust optimal control using dynamic programming and guaranteed Euler's method. CoRR abs/2007.13644 (2020) - [i22]Étienne André, Aleksander Kryukov:
Parametric non-interference in timed automata. CoRR abs/2010.09527 (2020)
2010 – 2019
- 2019
- [j14]Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66: 197-223 (2019) - [j13]Étienne André:
What's decidable about parametric timed automata? Int. J. Softw. Tools Technol. Transf. 21(2): 203-219 (2019) - [j12]Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci:
Parametric Verification: An Introduction. Trans. Petri Nets Other Model. Concurr. 14: 64-100 (2019) - [c71]Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens:
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. ACSD 2019: 13-22 - [c70]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric Analyses of Attack-Fault Trees. ACSD 2019: 33-42 - [c69]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA 2019: 115-130 - [c68]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring Against Specifications Parametric in Time and Data. CAV (1) 2019: 520-539 - [c67]Étienne André, Didier Lime, Mathias Ramparison:
Parametric Updates in Parametric Timed Automata. FORTE 2019: 39-56 - [c66]Étienne André, Didier Lime, Mathias Ramparison:
On the Expressive Power of Invariants in Parametric Timed Automata. ICECCS 2019: 87-96 - [c65]Étienne André, Jawher Jerray, Sahar Mhiri:
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. ICTAC 2019: 113-123 - [c64]Masaki Waga, Étienne André:
Online Parametric Timed Pattern Matching with Automata-Based Skipping. NFM 2019: 371-389 - [c63]Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. TACAS (2) 2019: 211-228 - [c62]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM 2019: 129-146 - [c61]Étienne André:
Formalizing Time4sys using parametric timed automata. TASE 2019: 176-183 - [c60]Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat:
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking. VMCAI 2019: 409-424 - [c59]Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime:
Parametric Timed Broadcast Protocols. VMCAI 2019: 491-512 - [e3]Étienne André, Mariëlle Stoelinga:
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Lecture Notes in Computer Science 11750, Springer 2019, ISBN 978-3-030-29661-2 [contents] - [d1]Étienne André, Jun Sun:
Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity". Zenodo, 2019 - [i21]Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol:
Minimal-Time Synthesis for Parametric Timed Automata. CoRR abs/1902.03013 (2019) - [i20]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric analyses of attack-fault trees. CoRR abs/1902.04336 (2019) - [i19]Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens:
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. CoRR abs/1903.07217 (2019) - [i18]Masaki Waga, Étienne André:
Online Parametric Timed Pattern Matching with Automata-Based Skipping. CoRR abs/1903.07328 (2019) - [i17]Étienne André, Didier Lime, Mathias Ramparison:
Parametric updates in parametric timed automata. CoRR abs/1904.08824 (2019) - [i16]Masaki Waga, Étienne André, Ichiro Hasuo:
Symbolic Monitoring against Specifications Parametric in Time and Data. CoRR abs/1905.04486 (2019) - [i15]Étienne André:
Formalizing Time4sys using parametric timed automata. CoRR abs/1905.09458 (2019) - [i14]Étienne André, Benoît Delahaye, Paulin Fournier:
Consistency in Parametric Interval Probabilistic Timed Automata. CoRR abs/1906.04982 (2019) - [i13]Étienne André, Jun Sun:
Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR abs/1907.00537 (2019) - [i12]Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci:
Parametric Verification: An Introduction. CoRR abs/1907.00555 (2019) - [i11]Étienne André:
What's decidable about parametric timed automata? CoRR abs/1907.01721 (2019) - [i10]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR abs/1907.02133 (2019) - [i9]Étienne André, Jawher Jerray, Sahar Mhiri:
Time4sys2imi: A tool to formalize real-time system models under uncertainty. CoRR abs/1907.13447 (2019) - [i8]Étienne André, Didier Lime, Mathias Ramparison:
On the expressive power of invariants in parametric timed automata. CoRR abs/1908.06633 (2019) - 2018
- [b2]Étienne André:
Contributions to parametric timed model checking: Theory and algorithms. (Contributions au model-checking temporisé paramétré : théorie et algorithmes). Paris 13 University, France, 2018 - [j11]Étienne André, Shang-Wei Lin:
The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett. 136: 17-20 (2018) - [c58]Étienne André, Didier Lime, Mathias Ramparison:
Timed Automata with Parametric Updates. ACSD 2018: 21-29 - [c57]Étienne André, Didier Lime, Mathias Ramparison:
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. FORMATS 2018: 37-52 - [c56]Étienne André:
A Benchmark Library for Parametric Timed Model Checking. FTSCS 2018: 75-83 - [c55]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline Timed Pattern Matching under Uncertainty. ICECCS 2018: 10-20 - [i7]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. CoRR abs/1807.07091 (2018) - [i6]Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime:
Parametric Timed Broadcast Protocols. CoRR abs/1811.12576 (2018) - [i5]Étienne André:
A benchmark library for parametric timed model checking. CoRR abs/1812.08441 (2018) - [i4]Étienne André, Ichiro Hasuo, Masaki Waga:
Offline timed pattern matching under uncertainty. CoRR abs/1812.08940 (2018) - [i3]Étienne André, Shang-Wei Lin:
The language preservation problem is undecidable for parametric event-recording automata. CoRR abs/1812.08948 (2018) - [i2]Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat:
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. CoRR abs/1812.08949 (2018) - 2017
- [j10]Étienne André, Thomas Chatain, César Rodríguez:
Preserving Partial-Order Runs in Parametric Time Petri Nets. ACM Trans. Embed. Comput. Syst. 16(2): 43:1-43:26 (2017) - [c54]Étienne André, Didier Lime:
Liveness in L/U-Parametric Timed Automata. ACSD 2017: 9-18 - [c53]Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. AAMAS 2017: 1460-1462 - [c52]Étienne André:
A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. FMICS-AVoCS 2017: 100-115 - [c51]Étienne André, Shang-Wei Lin:
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. FORTE 2017: 17-32 - [c50]Étienne André, Hoang Gia Nguyen, Laure Petrucci:
Efficient Parameter Synthesis Using Optimized State Exploration Strategies. ICECCS 2017: 1-10 - [c49]Jiaying Li, Jun Sun, Bo Gao, Étienne André:
Classification-Based Parameter Synthesis for Parametric Timed Automata. ICFEM 2017: 243-261 - [c48]Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NFM 2017: 35-51 - 2016
- [j9]Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Formalising concurrent UML state machines using coloured Petri nets. Formal Aspects Comput. 28(5): 805-845 (2016) - [c47]Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci:
Controlling Actions and Time in Parametric Timed Automata. ACSD 2016: 45-54 - [c46]Étienne André, Didier Lime, Olivier H. Roux:
On the Expressiveness of Parametric Timed Automata. FORMATS 2016: 19-34 - [c45]Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André:
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS 2016: 129-144 - [c44]Étienne André, Didier Lime, Olivier H. Roux:
Decision Problems for Parametric Timed Automata. ICFEM 2016: 400-416 - [c43]Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong:
Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE 2016: 85-95 - [c42]Étienne André:
Parametric Deadlock-Freeness Checking Timed Automata. ICTAC 2016: 469-478 - [c41]Étienne André, Benoît Delahaye:
Consistency in Parametric Interval Probabilistic Timed Automata. TIME 2016: 110-119 - 2015
- [c40]Étienne André, Thomas Chatain, César Rodríguez:
Preserving Partial Order Runs in Parametric Time Petri Nets. ACSD 2015: 120-129 - [c39]Étienne André, Laure Petrucci:
Unifying Patterns for Modelling Timed Relationships in Systems and Properties. PNSE @ Petri Nets 2015: 25-40 - [c38]Étienne André, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. FORMATS 2015: 27-43 - [c37]Étienne André:
What's Decidable About Parametric Timed Automata? FTSCS 2015: 52-68 - [c36]Étienne André, Camille Coti, Hoang Gia Nguyen:
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. ICFEM 2015: 319-335 - [c35]Étienne André, Laure Petrucci:
Decrypting cryptography. ITHET 2015: 1-5 - [c34]Étienne André, Giuseppe Lipari, Hoang Gia Nguyen, Youcheng Sun:
Reachability Preservation Based Parameter Synthesis for Timed Automata. NFM 2015: 50-65 - [c33]Étienne André, Didier Lime, Olivier H. Roux:
Integer-Complete Synthesis for Bounded Parametric Timed Automata. RP 2015: 7-19 - [c32]Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André:
Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. SoICT 2015: 342-349 - [c31]Étienne André, Camille Coti, Hoang Gia Nguyen:
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). SynCoP 2015: 104-105 - [e2]Étienne André, Goran Frehse:
2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom. OASIcs 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-82-8 [contents] - 2014
- [j8]Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Parameter synthesis for hierarchical concurrent real-time systems. Real Time Syst. 50(5-6): 620-679 (2014) - [j7]Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. 40(2): 137-153 (2014) - [c30]Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu:
PeCAn: Compositional Verification of Petri Nets Made Easy. ATVA 2014: 242-247 - [c29]Étienne André, Christine Choppy, Thierry Noulamo:
Modelling Timed Concurrent Systems Using Activity Diagram Patterns. KSE 2014: 339-351 - [c28]Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Formalising Concurrent UML State Machines Using Coloured Petri Nets. KSE 2014: 473-486 - [c27]Étienne André, Camille Coti, Sami Evangelista:
Distributed Behavioral Cartography of Timed Automata. EuroMPI/ASIA 2014: 109 - [c26]Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong:
Automated runtime recovery for QoS-based service composition. WWW 2014: 563-574 - [c25]Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report. ESSS 2014: 1-7 - [c24]Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Toward Parametric Timed Interfaces for Real-Time Components. SynCoP 2014: 49-64 - [e1]Étienne André, Goran Frehse:
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. EPTCS 145, 2014 [contents] - 2013
- [j6]Étienne André, Laurent Fribourg, Jeremy Sproston:
An extension of the inverse method to probabilistic timed automata. Formal Methods Syst. Des. 42(2): 119-145 (2013) - [j5]Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André:
Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3:1-3:29 (2013) - [c23]Étienne André, Laurent Fribourg, Romain Soulat:
Merge and Conquer: State Merging in Parametric Timed Automata. ATVA 2013: 381-396 - [c22]Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin:
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV 2013: 984-989 - [c21]Étienne André, Giuseppe Pellegrino, Laure Petrucci:
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. FORMATS 2013: 1-15 - [c20]Étienne André:
Dynamic Clock Elimination in Parametric Timed Automata. FSFMA 2013: 18-31 - [c19]Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. FTSCS 2013: 212-228 - [c18]Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon:
CosyVerif: An Open Source Extensible Verification Environment. ICECCS 2013: 33-36 - [c17]Étienne André:
Observer Patterns for Real-Time Systems. ICECCS 2013: 125-134 - [c16]Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci:
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM 2013: 199-214 - [c15]Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen:
Dynamic synthesis of local time requirement for service composition. ICSE 2013: 542-551 - [c14]Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong:
A Formal Semantics for Complete UML State Machines with Communications. IFM 2013: 331-346 - [c13]Étienne André, Christine Choppy, Gianna Reggio:
Activity Diagrams Patterns for Modeling Business Processes. SERA (selected papers) 2013: 197-213 - [i1]Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems. CoRR abs/1302.1306 (2013) - 2012
- [j4]Étienne André, Christine Choppy, Kais Klai:
Formalizing non-concurrent UML state machines using colored petri nets. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c12]Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat:
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. FM 2012: 33-36 - [c11]Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André:
Automatic Compositional Verification of Timed Systems. FM 2012: 272-276 - [c10]Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. ICECCS 2012: 253-262 - [c9]Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci:
A Counterexample-Based Incremental and Modular Verification Approach. Monterey Workshop 2012: 283-302 - [c8]Étienne André, Laurent Fribourg, Romain Soulat:
Enhancing the Inverse Method with State Merging. NASA Formal Methods 2012: 100-105 - 2011
- [j3]Étienne André:
«thinking»: onze minutes en onze pages. Bull. dInformatique Approfondie et Appl. 90: 3-14 (2011) - [c7]Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu:
An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472 - [c6]Étienne André, Romain Soulat:
Synthesis of Timing Parameters Satisfying Safety Properties. RP 2011: 31-44 - 2010
- [b1]Étienne André:
An inverse method for the synthesis of timing parameters in concurrent systems. (Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents). École normale supérieure de Cachan, France, 2010 - [c5]Étienne André, Laurent Fribourg:
Behavioral Cartography of Timed Automata. RP 2010: 76-90 - [c4]Étienne André:
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata. INFINITY 2010: 91-99
2000 – 2009
- 2009
- [j2]Étienne André, Laurent Fribourg, Jeremy Sproston:
An Extension of the Inverse Method to Probabilistic Timed Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [j1]Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz:
An Inverse Method for Parametric Timed Automata. Int. J. Found. Comput. Sci. 20(5): 819-836 (2009) - [c3]Étienne André:
IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. ICTAC 2009: 336-342 - [c2]Laurent Fribourg, Étienne André:
An Inverse Method for Policy-Iteration Based Algorithms. INFINITY 2009: 44-61 - 2008
- [c1]Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz:
An Inverse Method for Parametric Timed Automata. RP 2008: 29-46
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
