
Étienne André
127
Documents
Identifiants chercheurs
Site web
Présentation
Publications
17
16
13
11
10
9
6
5
4
4
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
18
11
11
7
7
6
6
6
6
5
5
5
5
5
5
5
5
5
5
4
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
36
34
16
36
28
27
20
20
20
5
4
2
1
1
1
16
4
1
1
3
1
1
3
1
1
1
1
1
Publications
|
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⟩
Communication dans un congrès
hal-04732521
v1
|
|
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⟩
Communication dans un congrès
hal-04654301
v1
|
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⟩
Communication dans un congrès
hal-04610312
v1
|
|
|
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⟩
Communication dans un congrès
hal-04631012
v3
|
|
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⟩
Communication dans un congrès
hal-04732493
v2
|
|
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⟩
Communication dans un congrès
hal-04654278
v1
|
|
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⟩
Communication dans un congrès
hal-04822116
v1
|
|
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⟩
Communication dans un congrès
hal-04151207
v2
|
|
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⟩
Communication dans un congrès
hal-04654624
v1
|
|
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⟩
Communication dans un congrès
hal-03690071
v1
|
|
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⟩
Communication dans un congrès
hal-03772708
v1
|
|
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⟩
Communication dans un congrès
hal-03801020
v1
|
|
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⟩
Communication dans un congrès
hal-03690070
v1
|
|
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⟩
Communication dans un congrès
hal-03874435
v1
|
|
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⟩
Communication dans un congrès
hal-03174207
v1
|
|
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
Communication dans un congrès
hal-03142412
v1
|
|
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⟩
Communication dans un congrès
hal-03265573
v1
|
|
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
Communication dans un congrès
hal-02972357
v1
|
|
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⟩
Communication dans un congrès
hal-03320626
v1
|
|
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⟩
Communication dans un congrès
hal-03340887
v1
|
|
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⟩
Communication dans un congrès
hal-02972549
v1
|
|
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
Communication dans un congrès
hal-02072159
v1
|
|
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⟩
Communication dans un congrès
hal-01961497
v1
|
|
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
Communication dans un congrès
hal-02170527
v1
|
|
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⟩
Communication dans un congrès
hal-01966300
v1
|
|
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⟩
Communication dans un congrès
hal-02072161
v1
|
|
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
Communication dans un congrès
hal-02234990
v1
|
|
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
Communication dans un congrès
hal-02235206
v1
|
|
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⟩
Communication dans un congrès
hal-02267883
v1
|
|
Formalizing Time4sys using parametric timed automata13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Jul 2019, Guilin, China
Communication dans un congrès
hal-02153214
v1
|
|
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⟩
Communication dans un congrès
hal-02153342
v1
|
|
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⟩
Communication dans un congrès
hal-02153316
v1
|
|
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⟩
Communication dans un congrès
hal-02153238
v1
|
|
Symbolic Monitoring against Specifications Parametric in Time and Data31st International Conference on Computer-Aided Verification (CAV 2019), Jul 2019, New York, United States
Communication dans un congrès
hal-02153223
v1
|
|
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⟩
Communication dans un congrès
hal-01957138
v1
|
|
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⟩
Communication dans un congrès
hal-01957157
v1
|
|
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
Communication dans un congrès
hal-01961496
v1
|
|
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⟩
Communication dans un congrès
hal-01965927
v1
|
|
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⟩
Communication dans un congrès
hal-03772844
v1
|
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⟩
Communication dans un congrès
hal-03772780
v1
|
|
|
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⟩
Communication dans un congrès
hal-01658415
v1
|
|
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⟩
Communication dans un congrès
hal-01724293
v1
|
Timed ATL: Forget Memory, Just CountConference on Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil
Communication dans un congrès
hal-03772771
v1
|
|
Dielectric and Thermal Properties of Parylene D at High Temperature: Thermal InstabilityInternational Conference on Dielectrics 2016 ( ICD), Jul 2016, Montpellier, France
Communication dans un congrès
hal-01345398
v1
|
|
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
Communication dans un congrès
hal-01710237
v1
|
|
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
Communication dans un congrès
hal-02741066
v1
|
|
|
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⟩
Communication dans un congrès
hal-02538055
v1
|
|
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⟩
Communication dans un congrès
hal-02538041
v1
|
|
Consistency in Parametric Interval Probabilistic Timed Automata23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark
Communication dans un congrès
hal-01590892
v1
|
|
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⟩
Communication dans un congrès
hal-02538061
v1
|
|
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
Communication dans un congrès
hal-01240583
v1
|
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
Communication dans un congrès
hal-01584643
v1
|
|
|
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⟩
Communication dans un congrès
hal-02939637
v1
|
|
Reachability Preservation Based Parameter Synthesis for Timed AutomataNFM '15, Apr 2015, Pasadena, California, United States
Communication dans un congrès
hal-01121214
v1
|
Preserving Partial Order Runs in Parametric Time Petri Nets15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium
Communication dans un congrès
hal-01242847
v1
|
|
|
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⟩
Communication dans un congrès
hal-01215588
v1
|
|
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⟩
Communication dans un congrès
hal-00926165
v1
|
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⟩
Communication dans un congrès
istex
hal-00926126
v1
|
|
|
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
Communication dans un congrès
hal-01852269
v1
|
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
Communication dans un congrès
hal-00483866
v1
|
|
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
Communication dans un congrès
hal-00643872
v1
|
|
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
Communication dans un congrès
hal-00332448
v1
|
|
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
Communication dans un congrès
hal-00332454
v1
|
|
|
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⟩
Communication dans un congrès
hal-01299163
v1
|
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
Communication dans un congrès
hal-00335187
v1
|
|
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⟩
Communication dans un congrès
hal-00222805
v1
|
|
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
Communication dans un congrès
hal-00335182
v1
|
|
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
Communication dans un congrès
hal-00337121
v1
|
|
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
Communication dans un congrès
hal-00012718
v1
|
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
Poster de conférence
hal-01592261
v1
|
|
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
Poster de conférence
hal-01584653
v1
|
The Inverse MethodISTE Ltd and John Wiley & Sons Inc, pp.176, 2013, Focus, 9781848214477
Ouvrages
hal-00785289
v1
|
|
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⟩
Chapitre d'ouvrage
hal-00419377
v1
|
|
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)2023, ⟨10.4230/DARTS.9.1.4⟩
Autre publication scientifique
hal-04254710
v1
|
|
Liveness in L/U-Parametric Timed Automata2016
Pré-publication, Document de travail
hal-01304232
v1
|
|
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⟩
Thèse
tel-01124065
v1
|
|
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⟩
Thèse
tel-00595268
v1
|
|
Contributions to parametric timed model checking: Theory and algorithmsLogic in Computer Science [cs.LO]. Université Paris 13, 2018
HDR
tel-01857440
v1
|
Chargement...
Chargement...