


Остановите войну!
for scientists:


default search action
Étienne André
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j27]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) - [j26]Masaki Waga
, Étienne André
, Ichiro Hasuo
:
Parametric Timed Pattern Matching. ACM Trans. Softw. Eng. Methodol. 32(1): 10:1-10:35 (2023) - [i38]Étienne André, Paul Eichler, Swen Jacobs, Shyam Lal Karra:
Parameterized Verification of Disjunctive Timed Networks. CoRR abs/2305.07295 (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 - [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 - [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] - [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]