Sotabase

Career

· Tenure-track Junior Professor, Université Grenoble Alpes2024–
· CTO And Founder, Decyphir, Inc (Current)2017–
· Founder, Decyphir2016–2016
· Research Scientist, UC Berkeley2012–
· Research Egineer, Verimag2008–2012
· Postdoctoral Faculty, Carnegie Mellon University2007–2008

Publications (79)

SpaceEx: Scalable Verification of Hybrid Systems
International Conference on Computer Aided Verification · 2011
974
cited
Robust Satisfaction of Temporal Logic over Real-Valued Signals
International Conference on Formal Modeling and Analysis of Timed Systems · 2010
772
cited
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
International Conference on Computer Aided Verification · 2010
496
cited
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification · 2018
296
cited
Reactive synthesis from signal temporal logic specifications
International Conference on Hybrid Systems: Computation and Control · 2015
286
cited
Efficient Robust Monitoring for STL
International Conference on Computer Aided Verification · 2013
249
cited
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Journal of automated reasoning · 2017
245
cited
Mining Requirements From Closed-Loop Control Models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013
237
cited
Appendix to SpaceEx: Scalable Verification of Hybrid Systems
2011
231
cited
Robust online monitoring of signal temporal logic
Formal methods in system design · 2015
218
cited
A Contract-Based Methodology for Aircraft Electric Power System Design
IEEE Access · 2014
176
cited
Systematic Simulation Using Sensitivity Analysis
International Conference on Hybrid Systems: Computation and Control · 2007
167
cited
Parametric Identification of Temporal Properties
Runtime Verification · 2011
161
cited
Model Predictive Control for Signal Temporal Logic Specification
arXiv.org · 2017
149
cited
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
Formal Methods in Computer-Aided Design · 2004
138
cited
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems
NASA Formal Methods · 2015
114
cited
On Temporal Logic and Signal Processing
Automated Technology for Verification and Analysis · 2012
94
cited
On Signal Temporal Logic
Runtime Verification · 2013
68
cited
Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks
PLoS ONE · 2011
62
cited
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
Annual International Conference on Research in Computational Molecular Biology · 2009
58
cited
Sotabase
Alexandre Donze | Researcher Profile | Sotabase | Sotabase