TerraSwarm Member Directory

...     in 

 

 
Alexandre Donze
    University of California, Berkeley

Username:donze
 
 
 
 
(To view user contact information, please log in.)
Home page:http://www-verimag.imag.fr/~donze
Bio:  
Group memberships

Papers, Presentations and Reports Authored by Alexandre Donze

  1. Diagnosis and Repair for Synthesis from Signal Temporal Logic, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia, 26, October, 2016. Posted on 25 Oct 2016.
  2. Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasu Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia, Hybrid Systems: Computation and Control, 12, April, 2016. Posted on 8 Feb 2016.
  3. Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, October, 2015. Posted on 15 Oct 2015.
  4. Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, 14, October, 2015. Posted on 14 Oct 2015.
  5. Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, 14, October, 2015. Posted on 9 Oct 2015.
  6. BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 1, September, 2015. Posted on 13 Aug 2015.
  7. Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukhh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, Runtime Verification '15, Vienna, 22, September, 2015. Posted on 11 May 2015.
  8. BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2015), April, 2015. Posted on 11 May 2015.
  9. Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI'16), 2016. Posted on 11 May 2015.
  10. Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, 23, October, 2015. Posted on 8 May 2015.
  11. BluSTL: Controller Synthesis from Signal Temporal Logic Specifications, Alexandre Donze, Vasu Raman, 27, April, 2015. Posted on 28 Apr 2015.
  12. Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, 2015. Posted on 9 Feb 2015.
  13. Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, Proc. FSTTCS, December, 2015. Posted on 21 Nov 2014.
  14. Receding Horizon Control Synthesis for Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Richard Murray, Sanjit Seshia, 29, October, 2014. Posted on 10 Nov 2014.
  15. Control Improvisation: Theory and Application to Residential Lighting, Ilge Akkaya, Alexandre Donze, Rafael Valle, Daniel J. Fremont, David Wessel, Sanjit Seshia, 30, October, 2014. Posted on 4 Nov 2014.
  16. Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Richard Murray, Truong X. Nghiem, George Pappas, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 29, October, 2014. Posted on 30 Oct 2014.
  17. Reactive Synthesis from Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Dorsa Sadigh, Richard Murray, Sanjit Seshia, Submitted to International Conference on Hybrid Systems: Computation and Control (HSCC), 2015. Posted on 27 Oct 2014.
  18. Distributed Control of a Swarm of Buildings Connected to a Smart Grid, Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donze, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasu Raman, Anthony Rowe, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh, 1st ACM International Conference on Embedded Systems For Energy-Efficient Buildings (BuildSys), 5, November, 2014. Posted on 16 Sep 2014.
  19. CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory, Garvit Juniwal, Alexandre Donze, Jeff C. Jensen, Sanjit Seshia, EMSOFT14, October, 2014. Posted on 14 Aug 2014.
  20. Machine Improvisation with Formal Specifications, Rafael Valle, Alexandre Donze, Ilge Akkaya, Sophie Libkind, Sanjit Seshia, David Wessel, ICMCSMC14, 2014. Posted on 12 May 2014.
  21. Model Predictive Control with Signal Temporal Logic Specifications, Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Richard Murray, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), 2014. Posted on 9 May 2014.
  22. Model Predictive Control from Signal Temporal Logic Specifications: A Case Study (Work in Progress), Vasu Raman, Alexandre Donze, Mehdi Maasoumy, Fourth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'14), 2014. Posted on 1 Apr 2014.
  23. A Contract-Based Methodology for Aircraft Electric Power System Design, Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia, IEEE Access, March, 2014. Posted on 2 Jan 2014.
  24. Contract-Based Design of Cyber-Physical Swarms, Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis, 6, November, 2013. Posted on 12 Nov 2013.
  25. Control Improvisation with Application to Music, Alexandre Donze, Sophie Libkind, Sanjit Seshia, David Wessel, 6, November, 2013. Posted on 12 Nov 2013.
  26. Control Improvisation with Application to Music, Alexandre Donze, Libkind Sophie, Sanjit Seshia, David Wessel, UC Berkeley, P068797, November, 2013. Posted on 11 Nov 2013.
  27. Real-Time Control Improvisation For The SmartJukebox, Ilge Akkaya, Alexandre Donze, Sanjit Seshia, David Wessel, Edward A. Lee, 5, November, 2013. Posted on 4 Nov 2013.
  28. Control Improvisation with Applications to Music, Sophie Libkind, Alexandre Donze, Sanjit Seshia, David Wessel, 29, September, 2013. Posted on 29 Sep 2013.
  29. Abstraction-Based Guided Search for Hybrid Systems, Sergiy Bogomolov, Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle, Proceedings of International SPIN Symposium on Model Checking of Software 2013, July, 2013. Posted on 9 May 2013.
  30. Modular, Hierarchical Models of Control Systems in SpaceEx, Alexandre Donze, Goran Frehse, Proceedings of European Control Conference 2013, July, 2013. Posted on 9 May 2013.
  31. Efficient Robust Monitoring for STL, Alexandre Donze, Thomas Ferrere, Oded Maler, Proceedings of CAV 2013, April, 2013. Posted on 26 Apr 2013.

Counts

  • 2 Journal articles.
  • 16 Conference papers.
  • 1 Technical report.
  • 7 Talk or presentations.
  • 7 Posters.
  • 2 Unpublished articles.
  • 1 Tutorial.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.