Étienne André
- Laboratoire des Sciences du Numérique de Nantes (LS2N)
- STR (LS2N - équipe STR)
Présentation
Publications
Publications
|
|
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri NetsSAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania (IT), Italy. pp.1998-2006, ⟨10.1145/3672608.3707861⟩ |
|
|
Parameterized Verification of Timed Networks with Clock InvariantsFSTTCS 2025 - 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2025, Goa, India. ⟨10.4230/LIPIcs.FSTTCS.2025.8⟩ |
|
|
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), Apr 2024, Avila, Espagne, Spain. pp.186-195, ⟨10.1145/3605098.3636014⟩ |
|
|
The Bright Side of Timed Opacity25th International Conference on Formal Engineering Methods (ICFEM 2024), Kazuhiro Ogata; Meng Sun; Dominique Méry, Dec 2024, Hiroshima, Japan. pp.51-69, ⟨10.1007/978-981-96-0617-7_4⟩ |
CosyVerif: The Path to Formalisms Cohabitation45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩ |
|
|
|
Parameterized Verification of Disjunctive Timed Networks25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, London, United Kingdom. pp.124-146, ⟨10.1007/978-3-031-50524-9_6⟩ |
|
|
Execution-time opacity control for timed automata22nd International Conference on Software Engineering and Formal Methods (SEFM 2024), Alexandre Madeira; Alexander Knapp, Nov 2024, Aveiro (Portugal), Portugal. ⟨10.1007/978-3-031-77382-2_20⟩ |
|
|
Tuning Trains Speed in Railway Scheduling25th International Conference on Formal Engineering Methods (ICFEM 2024), Kazuhiro Ogata; Meng Sun; Dominique Méry, Dec 2024, Hiroshima, Japan. pp.37-50, ⟨10.1007/978-981-96-0617-7_3⟩ |
|
|
Execution-time opacity problems in one-clock parametric timed automata44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024), Siddharth Barman; Sławomir Lasota, Dec 2024, Gandhinagar, India. pp.3:1--3:22, ⟨10.4230/LIPIcs.FSTTCS.2024.3⟩ |
|
|
Expiring opacity problems in parametric timed automata2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩ |
|
|
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (invited)35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. pp.19:1--19:18, ⟨10.4230/LIPIcs.ECRTS.2023.19⟩ |
|
|
Efficient Convex Zone Merging in Parametric Timed Automata20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩ |
|
|
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩ |
|
|
Zone Extrapolations in Parametric Timed Automata14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩ |
|
|
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical SystemsFORTE 2022 -42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Mohammad Mousavi and Anna Philippou, Jun 2022, Lucca, Italy. pp.67-87, ⟨10.1007/978-3-031-08679-3_5⟩ |
|
|
strategFTO: Untimed control for timed opacity8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Cyrille Artho; Peter Ölveczky, Dec 2022, Auckland, New Zealand. pp.27-33, ⟨10.1145/3563822.3568013⟩ |
|
|
Model-bounded monitoring of hybrid systemsICCPS 2021 - 12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States |
|
|
A Benchmarks Library for Extended Parametric Timed AutomataTAP 2021 - 15th International Conference on Tests and Proofs, Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩ |
|
|
Robust optimal periodic control using guaranteed Euler's methodACC 2021 - American Control Conference, May 2021, New Orleans/Virtual, United States. pp.986-991, ⟨10.23919/ACC50511.2021.9482621⟩ |
|
|
Parametric non-interference in timed automataICECCS 2020 - 25th International Conference on Engineering of Complex Computer Systems, Yi Li and Alan Liew, Mar 2021, Singapore, Singapore |
|
|
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed AutomataTACAS 2021 - 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Jan Friso Groote; Kim G. Larsen, Mar 2021, virtual, Luxembourg. pp.311-329, ⟨10.1007/978-3-030-72016-2_17⟩ |
|
|
IMITATOR 3: Synthesis of Timing Parameters Beyond DecidabilityCAV 2021 - 33rd International Conference on Computer-Aided Verification, Rustan Leino and Alexandra Silva, Jul 2021, Los Angeles/Online, United States. pp.552-565, ⟨10.1007/978-3-030-81685-8_26⟩ |
|
|
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)ARCH20 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, Goran Frehse and Matthias Althoff, Jul 2020, Berlin, Germany. pp.197-184, ⟨10.29007/l3k2⟩ |
|
|
Parametric Timed Model Checking for Guaranteeing Timed Opacity17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Ming-Hsien Tsai, Oct 2019, Taipei, Taiwan |
|
|
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⟩ |
|
|
Time4sys2imi: A tool to formalize real-time system models under uncertainty16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia |
|
|
Online Parametric Timed Pattern Matching with Automata-Based Skipping11th Annual NASA Formal Methods Symposium (NFM 2019), Moshe Vardi, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9_26⟩ |
|
|
Repairing Timed Automata Clock Guards through Abstraction and Testing13th International Conference on Tests and Proofs (TAP 2019), Dirk Beyer; Chantal Keller, Oct 2019, Porto, Portugal |
|
|
Formalizing Time4sys using parametric timed automata13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Jul 2019, Guilin, China |
|
|
On the expressive power of invariants in parametric timed automata24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Jing Sun; Jun Pang, Nov 2019, Hong Kong, China. ⟨10.1109/ICECCS.2019.00017⟩ |
|
|
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking20th 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⟩ |
|
|
Parametric analyses of attack-fault trees19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany. ⟨10.3233/FI-2021-2066⟩ |
|
|
Minimal-Time Synthesis for Parametric Timed Automata25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Apr 2019, Prague, Czech Republic. pp.211--228, ⟨10.1007/978-3-030-17465-1_12⟩ |
|
|
Symbolic Monitoring against Specifications Parametric in Time and Data31st International Conference on Computer-Aided Verification (CAV 2019), Jul 2019, New York, United States |
|
|
Parametric updates in parametric timed automata39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩ |
|
|
Parametric schedulability analysis of a launcher flight control system under reactivity constraints19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany |
|
|
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), Sep 2018, Beijing, China. pp.37-52, ⟨10.1007/978-3-030-00151-3_3⟩ |
|
|
Timed Automata with Parametric Updates18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia. pp.21-29, ⟨10.1109/acsd.2018.000-2⟩ |
|
|
A benchmark library for parametric timed model checkingSixth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018), Cyrille Artho and Peter Csaba Ölveczky, Nov 2018, Gold Coast, Australia |
|
|
Offline timed pattern matching under uncertainty23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Anthony Widjaja Lin and Jun Sun, Dec 2018, Melbourne, Australia. ⟨10.1109/ICECCS2018.2018.00010⟩ |
|
|
Parametric Model Checking Timed Automata Under Non-Zenoness AssumptionNASA Formal Methods, May 2017, Moffett Field, United States. pp.35-51, ⟨10.1007/978-3-319-57288-8_3⟩ |
Efficient Parameter Synthesis Using Optimized State Exploration Strategies2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), Nov 2017, Fukuoka, France. pp.1-10, ⟨10.1109/ICECCS.2017.28⟩ |
|
Timed ATL: Forget Memory, Just CountConference on Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil |
|
|
|
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.17-32, ⟨10.1007/978-3-319-60225-7_2⟩ |
|
|
Liveness in L/U-Parametric Timed Automatá17th International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain. ⟨10.1109/ACSD.2017.19⟩ |
Dielectric and Thermal Properties of Parylene D at High Temperature: Thermal InstabilityInternational Conference on Dielectrics 2016 ( ICD), Jul 2016, Montpellier, France |
|
|
|
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩ |
|
|
Consistency in Parametric Interval Probabilistic Timed Automata23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark |
L-arginine supplementation alleviates post-prandial endothelial dysfunction when baseline fasting plasma arginine concentration is low: a randomized controlled trial in healthy subjects with risk factors for metabolic syndrome25. Federation European Physiological Societies (FEPS), Federation of European Physiological Societies.; French Physiological Society., Jun 2016, Paris, France. pp.2 |
|
|
|
Decision Problems for Parametric Timed Automata18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩ |
PECVD a-SiCN(O):H materials for H2 separation membranes - An insight into the structure-property relationshipsChina France 2nd Workshop on Advanced Materials, Aug 2016, Metz, France |
|
|
|
On the Expressiveness of Parametric Timed Automata14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2016), Aug 2016, Québec, Canada. ⟨10.1007/978-3-319-44878-7_2⟩ |
La supplémentation en L-arginine atténue la dysfonction endothéliale postprandiale lorsque l’argininémie basale est faible chez des sujets sains présentant des facteurs de risque du syndrome métaboliqueJournées francophones de Nutrition, Dec 2015, Marseille, France |
|
|
|
Integer-Complete Synthesis for Bounded Parametric Timed Automata9th International Conference on Reachability Problems (RP 2015), Sep 2015, Warsaw, Poland. pp.7-19, ⟨10.1007/978-3-319-24537-9_2⟩ |
|
|
Verification of Two Real-Time Systems Using Parametric Timed AutomataWATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden |
|
|
Reachability Preservation Based Parameter Synthesis for Timed AutomataNFM '15, Apr 2015, Pasadena, California, United States |
Preserving Partial Order Runs in Parametric Time Petri Nets15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium |
|
|
|
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩ |
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩ |
|
CosyVerif: An Open Source Extensible Verification Environment18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩ |
|
|
|
The TARDIS framework: intelligent virtual agents for social coaching in job interviews10th International Conference on Advances in Computer Entertainment (ACE 2013), Nov 2013, Twente, Netherlands |
Etude expérimentale et théorique de la complexation de Pb(II) par un ligand modèle des substances humiques12ème Rencontre des Chimistes Théoriciens Francophones, Jul 2010, Namur, Belgique |
|
Etude du système Pb(II) / acide protocatéchuique par chimie quantique (DFT/TD-DFT)Etude du système Pb(II) / acide protocatéchuique par chimie quantique (DFT/TD-DFT), Oct 2009, Ambleteuse, France |
|
Etude des mécanismes de complexation de l'acide 3,4-dihydroxybenzoïque avec Al(III) et Pb(II) par DFT/TD-DFT11ème Rencontre des Chimistes Théoriciens Francophones, Jul 2008, Dinard, France |
|
Etude DFT/TD-DFT du mécanisme de complexation de l'acide protocatéchuique avec Pb(II)Journées Nord-Ouest Européennes des Jeunes Chercheurs (JNOEJC), Jun 2008, Villeneuve d'Ascq, France |
|
|
|
An Inverse Method for Parametric Timed AutomataThe Second Workshop on Reachability Problems in Computational Models (RP 2008), Sep 2008, Liverpool, United Kingdom. pp.29-46, ⟨10.1016/j.entcs.2008.12.029⟩ |
A new analytical approach of the impact of jitter on continuous time delta sigma convertersInternational Conference on Very Large Scale Integration (VLSI-SoC'07), Oct 2007, Atlanta, United States. pp.110-115, ⟨10.1109/VLSISOC.2007.4402482⟩ |
|
Determination of the complexation mechanism between metals and a model molecule of the humic substances by quantum chemical calculations12th International Conference on the Applications of Density Functional Theory, Aug 2007, Amsterdam, Netherlands |
|
Apport des méthodes de chimie quantique (DFT et TD-DFT) à l'étude du mécanisme de complexation de l'aluminium (III) par un précurseur des substances humiques : l'acide protocatéchuiqueJournée calcul numérique intensif, Sep 2007, Lille, France |
|
Apport des méthodes TD-DFT à la simulation des spectres électroniques de l'acide 3,4-dihydroxybenzoique et de son anion3ème Journées Nord-Ouest Européennes des Jeunes Chercheurs (JNOEJC), Apr 2006, Villeneuve d'Ascq, France |
|
A 120nm low power asynchronous ADCLow Power Electronics and Design, 2005. ISLPED '05. Proceedings of the 2005 International Symposium on, 2005, San Diego, CA, United States. pp.60-65 |
L-arginine supplementation alleviates post-prandial endothelial dysfunction when baseline fasting plasma arginine concentration is low: a randomized controlled trial in healthy subjects with risk factors for metabolic syndrome.FEPS 2016 – Joint Meeting of the Federation of European Physiological Societies and the French Physiological Society, Jun 2016, Paris, France. Acta Physiologica SI(708) 50-51 |
|
L’arginine orale, particulièrement sous une forme à libération prolongée, est utilisée plus efficacement pour la synthèse de monoxyde d’azote quand les sujets présentent des facteurs de risque du syndrome métaboliqueJournées francophones de Nutrition, Dec 2015, Marseille, France |
The Inverse MethodISTE Ltd and John Wiley & Sons Inc, pp.176, 2013, Focus, 9781848214477 |
A new analystical approach of the impact of jitter of the continuous time delta sigma convertersR. Reis, V. Mooney, P. Hasler. VLSI-SoC: Advanced Topics on Systems on a Chip, Springer, pp.1-16, Volume 291, 2009, IFIP International Federation for Information Processing, ⟨10.1007/978-0-387-89558-1_11⟩ |
|
|
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)2023, ⟨10.4230/DARTS.9.1.4⟩ |
|
|
Execution-time opacity problems in one-clock parametric timed automata2024 |
|
|
Liveness in L/U-Parametric Timed Automata2016 |
|
|
Vers la synthèse totale de nanotubes de carbone Zig-Zag de diamètres contrôlés : utilisation de calixarènesAutre. Université Paris Sud - Paris XI, 2012. Français. ⟨NNT : 2012PA112345⟩ |
|
|
An inverse method for the synthesis of timing parameters in concurrent systemsComputers and Society [cs.CY]. École normale supérieure de Cachan - ENS Cachan, 2010. English. ⟨NNT : 2010DENS0044⟩ |
|
|
Contributions to parametric timed model checking: Theory and algorithmsLogic in Computer Science [cs.LO]. Université Paris 13, 2018 |