Concepedia

Alexandre Donzé

AD

29

Publications

2K

Citations

21

H-Index

2008

Active since

Affiliations

University of California, Berkeley(Current)

California Institute of Technology

Université Grenoble Alpes

National Institute of Advanced Industrial Science and Technology

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

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringFormal VerificationVerificationAutomated ReasoningComputer EngineeringAutomationProcess Control

Publications per year

2008–2021

29

Publications

29

Model predictive control with signal temporal logic specifications

Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy et al. · 2014 · 391 citations

Stl Specifications, Real-time Control, Engineering +13

Reactive synthesis from signal temporal logic specifications

Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh et al. · 2015 · 252 citations

Stl Specifications, Real-time Control, Engineering +16

Robust online monitoring of signal temporal logic

Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh et al. · Formal Methods in System Design · 2017 · 178 citations

Engineering, Robust Online Monitoring, Process Control +8

A Contract-Based Methodology for Aircraft Electric Power System Design

Pierluigi Nuzzo, Huan Xu, Necmiye Özay et al. · IEEE Access · 2014 · 166 citations · Full text

Power Engineering, Engineering, Computer Architecture +18

Mining Requirements From Closed-Loop Control Models

Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2015 · 151 citations

Engineering, Requirement Modeling, Verification +19

Rows per page

1–5 of 29