Étienne André
Orcid: 0000-0001-8473-9555Affiliations:
- Université Sorbonne Paris Nord, France
According to our database1,
Étienne André
authored at least 126 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
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
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
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
2023
Sci. Comput. Program., August, 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
ACM Comput. Surv., 2023
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023
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
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
ACM Trans. Softw. Eng. Methodol., 2022
Log. Methods Comput. Sci., 2022
Concurr. Comput. Pract. Exp., 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
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
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 Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints.
Fundam. Informaticae, 2021
Formal Methods Syst. Des., 2021
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
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
2020
Softw. Syst. Model., 2020
Log. Methods Comput. Sci., 2020
J. Log. Algebraic Methods Program., 2020
CoRR, 2020
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples.
CoRR, 2020
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
Dataset, June, 2019
Trans. Petri Nets Other Model. Concurr., 2019
Int. J. Softw. Tools Technol. Transf., 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
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the Tests and Proofs - 13th International Conference, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
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
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
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
ACM Trans. Embed. Comput. Syst., 2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
Proceedings of the Formal Methods and Software Engineering, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Formal Aspects Comput., 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
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
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
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016
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
Proceedings of the Reachability Problems - 9th International Workshop, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 2015 International Conference on Information Technology Based Higher Education and Training, 2015
Proceedings of the Formal Methods and Software Engineering, 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015
2014
IEEE Trans. Software Eng., 2014
Real Time Syst., 2014
Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014
Proceedings of the 23rd International World Wide Web Conference, 2014
Proceedings of the 21st European MPI Users' Group Meeting, 2014
Proceedings of the Knowledge and Systems Engineering, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
ACM Trans. Softw. Eng. Methodol., 2013
Formal Methods Syst. Des., 2013
Proceedings of the Software Engineering Research, 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
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
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
«thinking»: onze minutes en onze pages.
Bull. dInformatique Approfondie et Appl., 2011
Proceedings of the Reachability Problems - 5th International Workshop, 2011
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
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010
Proceedings of the Reachability Problems, 4th International Workshop, 2010
2009
Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009
Proceedings of the Theoretical Aspects of Computing, 2009