2024
Elements of Timed Pattern Matching.
ACM Trans. Embed. Comput. Syst., July, 2024
Runtime Verification Containers for Publish/Subscribe Networks.
CoRR, 2024
2021
On the Complexity of Timed Pattern Matching.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021
2020
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.
Int. J. Softw. Tools Technol. Transf., 2020
First-order temporal logic monitoring with BDDs.
Formal Methods Syst. Des., 2020
2019
Online Monitoring of Metric Temporal Logic using Sequential Networks.
CoRR, 2019
Reactive Control Meets Runtime Verification: A Case Study of Navigation.
Proceedings of the Runtime Verification - 19th International Conference, 2019
Timescales: A Benchmark Generator for MTL Monitoring Tools.
Proceedings of the Runtime Verification - 19th International Conference, 2019
2018
Pattern Matching with Time : Theory and Applications. (Filtrage par motif temporisé : Théorie et Applications).
PhD thesis, 2018
Sequential Circuits from Regular Expressions Revisited.
CoRR, 2018
Specifying Timed Patterns using Temporal Logic.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Embedded software for robotics: challenges and future directions: special session.
Proceedings of the International Conference on Embedded Software, 2018
DejaVu: A Monitoring Tool for First-Order Temporal Logic.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
2017
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
Montre: A Tool for Monitoring Timed Regular Expressions.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Derivatives of Quantitative Regular Expressions.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
Online Timed Pattern Matching Using Derivatives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
2015
Measuring with Timed Patterns.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014
2013
Analog layer extensions for analog/mixed-signal assertion languages.
Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip, 2013
Integrating circuit analyses for assertion-based verification of programmable AMS circuits.
Proceedings of the 2013 Forum on specification and Design Languages, 2013
2012
Using haloes in mixed-signal assertion based verification.
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012