Étienne André

Orcid: 0000-0001-8473-9555

Affiliations:
  • Université Sorbonne Paris Nord, France


According to our database1, Étienne André authored at least 126 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Hyper Parametric Timed CTL.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model.
Log. Methods Comput. Sci., 2024

Execution-time opacity problems in one-clock parametric timed automata.
CoRR, 2024

Execution-time opacity control for timed automata.
CoRR, 2024

The Bright Side of Timed Opacity.
CoRR, 2024

Parameterized Verification of Timed Networks with Clock Invariants.
CoRR, 2024

Parameterized Verification of Disjunctive Timed Networks.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

CosyVerif: The Path to Formalisms Cohabitation.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2023
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties.
Sci. Comput. Program., August, 2023

Parametric Timed Pattern Matching.
ACM Trans. Softw. Eng. Methodol., January, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).
Dagstuhl Artifacts Ser., 2023

Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice.
ACM Comput. Surv., 2023

Formalizing UML State Machines for Automated Verification - A Survey.
ACM Comput. Surv., 2023

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.
CoRR, 2023

Expiring opacity problems in parametric timed automata.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2022
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption.
Dataset, September, 2022

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata".
Dataset, July, 2022

Data for "Exemplifying parametric timed specifications over signals with bounded behavior".
Dataset, March, 2022

Data for "Exemplifying parametric timed specifications over signals with bounded behavior".
Dataset, January, 2022

Guaranteeing Timed Opacity using Parametric Timed Model Checking.
ACM Trans. Softw. Eng. Methodol., 2022

Model-bounded Monitoring of Hybrid Systems.
ACM Trans. Cyber Phys. Syst., 2022

Reachability and liveness in parametric timed automata.
Log. Methods Comput. Sci., 2022

duf: Dynamic uncore frequency scaling to reduce power consumption.
Concurr. Comput. Pract. Exp., 2022

Zone Extrapolations in Parametric Timed Automata.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

strategFTO: Untimed Control for Timed Opacity.
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Efficient Convex Zone Merging in Parametric Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021
The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata.
Dataset, April, 2021

Parametric updates in parametric timed automata.
Log. Methods Comput. Sci., 2021

Parametric Analyses of Attack-fault Trees.
Fundam. Informaticae, 2021

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints.
Fundam. Informaticae, 2021

Distributed parametric model checking timed automata under non-Zenoness assumption.
Formal Methods Syst. Des., 2021

A Benchmarks Library for Extended Parametric Timed Automata.
Proceedings of the Tests and Proofs - 15th International Conference, 2021

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Robust optimal periodic control using guaranteed Euler's method.
Proceedings of the 2021 American Control Conference, 2021

An Approximation of Minimax Control using Random Sampling and Symbolic Computation.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Automated synthesis of local time requirement for service composition.
Softw. Syst. Model., 2020

Language Preservation Problems in Parametric Timed Automata.
Log. Methods Comput. Sci., 2020

Consistency in Parametric Interval Probabilistic Timed Automata.
J. Log. Algebraic Methods Program., 2020

Robust optimal control using dynamic programming and guaranteed Euler's method.
CoRR, 2020

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples.
CoRR, 2020

Parametric non-interference in timed automata.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge).
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019
Data for paper "Parametric Timed Model Checking for Guaranteeing Timed Opacity".
Dataset, June, 2019

Parametric Verification: An Introduction.
Trans. Petri Nets Other Model. Concurr., 2019

What's decidable about parametric timed automata?
Int. J. Softw. Tools Technol. Transf., 2019

Timed ATL: Forget Memory, Just Count.
J. Artif. Intell. Res., 2019

Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Parametric Timed Broadcast Protocols.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Formalizing Time4sys using parametric timed automata.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Repairing Timed Automata Clock Guards through Abstraction and Testing.
Proceedings of the Tests and Proofs - 13th International Conference, 2019

Minimal-Time Synthesis for Parametric Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Online Parametric Timed Pattern Matching with Automata-Based Skipping.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

On the Expressive Power of Invariants in Parametric Timed Automata.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Symbolic Monitoring Against Specifications Parametric in Time and Data.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Parametric Timed Model Checking for Guaranteeing Timed Opacity.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2018
The language preservation problem is undecidable for parametric event-recording automata.
Inf. Process. Lett., 2018

Offline Timed Pattern Matching under Uncertainty.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

A Benchmark Library for Parametric Timed Model Checking.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Timed Automata with Parametric Updates.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Contributions to parametric timed model checking: Theory and algorithms. (Contributions au model-checking temporisé paramétré : théorie et algorithmes).
, 2018

2017
Preserving Partial-Order Runs in Parametric Time Petri Nets.
ACM Trans. Embed. Comput. Syst., 2017

Parametric Model Checking Timed Automata Under Non-Zenoness Assumption.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Classification-Based Parameter Synthesis for Parametric Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2017

Efficient Parameter Synthesis Using Optimized State Exploration Strategies.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Learning-Based Compositional Parameter Synthesis for Event-Recording Automata.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Liveness in L/U-Parametric Timed Automata.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Formalising concurrent UML state machines using coloured Petri nets.
Formal Aspects Comput., 2016

Consistency in Parametric Interval Probabilistic Timed Automata.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Parametric Deadlock-Freeness Checking Timed Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Optimizing selection of competing services with probabilistic hierarchical refinement.
Proceedings of the 38th International Conference on Software Engineering, 2016

Decision Problems for Parametric Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2016

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

On the Expressiveness of Parametric Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Controlling Actions and Time in Parametric Timed Automata.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation).
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks.
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

Integer-Complete Synthesis for Bounded Parametric Timed Automata.
Proceedings of the Reachability Problems - 9th International Workshop, 2015

Reachability Preservation Based Parameter Synthesis for Timed Automata.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Decrypting cryptography.
Proceedings of the 2015 International Conference on Information Technology Based Higher Education and Training, 2015

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2015

Language Preservation Problems in Parametric Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Unifying Patterns for Modelling Timed Relationships in Systems and Properties.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
Learning Assumptions for CompositionalVerification of Timed Systems.
IEEE Trans. Software Eng., 2014

Parameter synthesis for hierarchical concurrent real-time systems.
Real Time Syst., 2014

Toward Parametric Timed Interfaces for Real-Time Components.
Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report.
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

Automated runtime recovery for QoS-based service composition.
Proceedings of the 23rd International World Wide Web Conference, 2014

Distributed Behavioral Cartography of Timed Automata.
Proceedings of the 21st European MPI Users' Group Meeting, 2014

Modelling Timed Concurrent Systems Using Activity Diagram Patterns.
Proceedings of the Knowledge and Systems Engineering, 2014

PeCAn: Compositional Verification of Petri Nets Made Easy.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Modeling and verifying hierarchical real-time systems using stateful timed CSP.
ACM Trans. Softw. Eng. Methodol., 2013

An extension of the inverse method to probabilistic timed automata.
Formal Methods Syst. Des., 2013

Activity Diagrams Patterns for Modeling Business Processes.
Proceedings of the Software Engineering Research, 2013

A Formal Semantics for Complete UML State Machines with Communications.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Dynamic synthesis of local time requirement for service composition.
Proceedings of the 35th International Conference on Software Engineering, 2013

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
Proceedings of the Formal Methods and Software Engineering, 2013

CosyVerif: An Open Source Extensible Verification Environment.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Observer Patterns for Real-Time Systems.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Dynamic Clock Elimination in Parametric Timed Automata.
Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Merge and Conquer: State Merging in Parametric Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Formalizing non-concurrent UML state machines using colored petri nets.
ACM SIGSOFT Softw. Eng. Notes, 2012

Enhancing the Inverse Method with State Merging.
Proceedings of the NASA Formal Methods, 2012

A Counterexample-Based Incremental and Modular Verification Approach.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Automatic Compositional Verification of Timed Systems.
Proceedings of the FM 2012: Formal Methods, 2012

IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems.
Proceedings of the FM 2012: Formal Methods, 2012

2011
«thinking»: onze minutes en onze pages.
Bull. dInformatique Approfondie et Appl., 2011

Synthesis of Timing Parameters Satisfying Safety Properties.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

An Efficient Algorithm for Learning Event-Recording Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
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).
PhD thesis, 2010

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

Behavioral Cartography of Timed Automata.
Proceedings of the Reachability Problems, 4th International Workshop, 2010

2009
An Inverse Method for Parametric Timed Automata.
Int. J. Found. Comput. Sci., 2009

An Inverse Method for Policy-Iteration Based Algorithms
Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009

IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata.
Proceedings of the Theoretical Aspects of Computing, 2009


  Loading...