Thomas Ferrère



Position

I am a PhD student under the CIFRE program, at Verimag, UJF and Mentor Graphics, Grenoble. My supervisor is Oded Maler. The topic of my PhD is the assertions and measurements in mixed-signal integrated circuit simulation.



Publications

Bibliography

1
Alexandre Donzé, Thomas Ferrère, and Oded Maler.
Efficient robust monitoring for STL.
In Computer Aided Verification, pages 264-279, 2013.

2
Dogan Ulus, Thomas Ferrère, Eugene Asarin, and Oded Maler.
Timed pattern matching.
In Formal Modeling and Analysis of Timed Systems, pages 222-236, 2014.

3
Dogan Ulus, Thomas Ferrère, Oded Maler, and Dejan Nickovic.
Measuring with timed patterns.
In Computer Aided Verification, pages 322-337, 2015.

4
Dogan Ulus, Thomas Ferrère, Oded Maler, and Dejan Nickovic.
Trace Diagnostics Using Temporal Implicants.
In Automated Technology for Verification and Analysis, pages 241-258, 2015.



Thomas Ferrere 2015-04-30