Alexandre Donzé - Concepedia

Author

Alexandre Donzé

University of California, Berkeley ORCID

Also Known As

Alexandre Donze, Alexandre Donzé, Cinquemani, Eugenio, DONZE, Alexandre, Donze, Alexandre, Donzé, Alexandre, Re Donzé

Publications

5.4K

Citations

H-Index

Concepts

All Affiliations

University of California, Berkeley Verimag California Institute of Technology Université Grenoble Alpes National Institute of Advanced Industrial Science and Technology

About

Alexandre Donzé is an author at University of California, Berkeley specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	24	1.9K
2	Medicine	1	1	20
3	Natural Sciences	1	1	20
4	Biochemistry	1	1	62
5	Biology	1	1	10

Alexandre Donzé

Publications

Citations

H-Index

Page 1

	Year	Citations
Model predictive control with signal temporal logic specifications Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Stl SpecificationsReal-time ControlEngineeringClimate ControlModel-based Control Technique	2014	391
Reactive synthesis from signal temporal logic specifications Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Stl SpecificationsReal-time ControlEngineeringSystem SynthesisFormal Verification	2015	252
Robust online monitoring of signal temporal logic Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Formal Methods in System Design EngineeringRobust Online MonitoringProcess ControlFormal MethodsSystems Engineering	2017	178
A Contract-Based Methodology for Aircraft Electric Power System Design Pierluigi Nuzzo, Huan Xu, Necmiye Özay, IEEE Access Power EngineeringEngineeringComputer ArchitectureSystem SynthesisFormal Verification	2014	166
Mining Requirements From Closed-Loop Control Models Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringRequirement ModelingVerificationSoftware EngineeringModel Checking	2015	151
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia Journal of Automated Reasoning Artificial IntelligenceEngineeringMachine LearningComputational Learning TheoryMachine Learning Tool	2019	120
Mining requirements from closed-loop control models Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, EngineeringRequirement ModelingVerificationIndustrial-scale Control SystemSoftware Engineering	2013	87
Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks Alexandre Donzé, Éric Fanchon, Lucie Martine Gattepaille, PLoS ONE EngineeringBiochemistryComplex Biological SystemBiological NetworkComputational Biology	2011	62
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology Alexandre Donzé, Gilles Clermont, Christopher J. Langmead Journal of Computational Biology System DynamicNonlinear System IdentificationParameter SynthesisEngineeringNonlinear Odes	2010	53
Sensitive state-space exploration Thao Dang, Alexandre Donzé, Oded Maler, EngineeringSimulationDeep Space ProbeState Space SearchQuantum Computing	2008	51

Page 1