Concepedia

Thomas Ferrère

TF

Statistics

Publications

7

Citations

158

H-Index

7

Active since

2018

Affiliations

Institute of Science and Technology Austria(Current)

Austrian Institute of Technology

Centre National de la Recherche Scientifique

Université Grenoble Alpes

Verimag

Thomas Ferrère is an author at Institute of Science and Technology Austria specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsFormal VerificationAutomated ReasoningAutomationReal-time SystemsSignal Processing

Publications per year

2018–2020

7

Publications

7

Localizing Faults in Simulink/Stateflow Models with STL

Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath et al. · 2018 · 41 citations

Simulink/stateflow Models, Engineering, Verification +19

Interface-aware signal temporal logic

Thomas Ferrère, Dejan Ničković, Alexandre Donzé et al. · 2019 · 29 citations

Cyber Physical Systems, Engineering, Runtime Verification +15

Efficient Parametric Identification for STL

Alexey Bakhirkin, Thomas Ferrère, Oded Maler · 2018 · 27 citations · Full text

Parameter Identification, Parameter Space, Efficient Parametric Identification +14

From Real-time Logic to Timed Automata

Thomas Ferrère, Oded Maler, Dejan Ničković et al. · Journal of the ACM · 2019 · 19 citations

Engineering, Verification, Model Checking +18

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

Dejan Ničković, Olivier Lebeltel, Oded Maler et al. · International Journal on Software Tools for Technology Transfer · 2020 · 17 citations

Signal Integrity, Engineering, Measurement +11

Rows per page

1–5 of 7