Publications

Home       Research       Teaching       Publications       Breach Toolbox       Contact

Submitted or in preparation

  • [DL11] Legoc Y. and Donzé A., EVL, A Multi-Methods Framework for C++, in preparation

International Journals

  • [DFG11] Donzé A., Fanchon E., Gattepaille L., Maler O. and Tracqui P., Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks, PLoS ONE 6(9): e24246. <doi:10.1371/journal.pone.0024246> html.
  • [DCL10] Donzé A., Clermont G. and Langmead C. J. (2010), Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology, Journal of Computational Biology, 17, 325-336 . pdf.
  • [CDL10] Clarke E., Donzé A. and Legay A. (2010), On Simulation-Based Probabilistic Model Checking of Mixed-Analog Circuits, in Formal Methods in System Design, 2010, 36, 97-113, preprint.

Refeered International conferences

  • [ADMN11] E. Asarin, A. Donzé, O. Maler, D. Nickovic. Parametric Identification of Temporal Properties, Proc. of RV 2011, San Francisco, Sept. 2011
  • [FCR11] Frehse G., Le Guernic C., Donzé A., Ray R., Lebeltel O., Ripado R. , Girard A., Dang T. , Maler O., SpaceEx: Scalable Verification of Hybrid Systems, CAV'11
  • [DM10] Donzé A. and Maler O. (2010), Robust Satisfaction of Temporal Logic over Real-Valued Signals, FORMATS'10. pdf. slides.
  • [D10] Donzé A. (2010), Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems, CAV'10. pdf. slides.
  • [AKR09] Donzé A., Krogh B. and Rajhans A. (2009), Parameter Synthesis for Hybrid Systems with An Application to Simulink Models, in HSCC'09. pdf. slides.
  • [DLCL09] Donzé A., Clermont G., Langmead C. J. and Legay, A. (2009), Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology, in RECOMB'09. pdf. slides.
  • [KLDK08] Kapinski J. P., Lerda F., Donzé A., Krogh B., Maka H. and Wagner S. (2008), Control software model checking using bisimulation functions for nonlinear systems, in CDC'08. pdf.
  • [CDL08b] Clarke E., Donzé A. and Legay A. (2008), Statistical Model Checking of Mixed-Analog circuits with an application to a third-order delta-sigma modulator, in HVC'08 (best paper award). pdf. slides.
  • [DDMS08] Dang T., Donzé A., Maler, O. and Shalev, N. (2008), Sensitive State-Space Exploration, in CDC'08. pdf. slides.
  • [DM07] Donzé A. and Maler O. (2007), Systematic simulations using sensitivity analysis, in 'HSCC'07. pdf. slides.
  • [D05a] Donzé A. (2005), On temporal difference algorithms for continuous systems, in ICINCO'05. pdf. slides.
  • [DDM04] Dang T., Donzé A. and Maler O. (2004), Verification of analog and mixed-signal circuits using hybrid systems techniques, in FMCAD'04. pdf.

International workshops

  • [JDP10] S.K. Jha, A. Donzé, R. Paul, J. Dutta-Moscato, Q. Mi, G. Clermont, Y. Vodovotz, C.J. Langmead, Parameter Estimation and Synthesis for Systems Biology: New Algorithms for Nonlinear and Stochastic Models, International Conference on Complexity in Acute Illness, September 2010
  • [CDL08a] E. M. Clarke, A. Donzé, A. Legay Statistical model checking of mixed-analog circuits, Formal Verification of Analog Circuits, Workshop of CAV'2008, Princeton, USA, July 2008

Technical Reports

  • [DCDF07] Dang T., Caspi, P., Donzé A., Frehse G., Girard A., Guernic C. L., Maler O., Nahhal T. and Nickovic., D. (2007), Research report on static verification of analog design., Technical report, Prosyd Deliverable D3.2/18, VERIMAG.
  • [DDMN07] Dang T., Donzé A., Maler O., Nickovic D. and Pnueli A. (2007), Research report on timed/analog synthesis., Technical report, Prosyd Deliverable D2.2/5, VERIMAG.
  • [DS05] Donzé A. and Shapero S. (2005), Search methods based control of the simplified model of the ABB power network, Technical report, Verimag.

Thesis

  • [D07] Donzé A. (2007), Trajectory-based verification and controller Synthesis for continuous and hybrid systems, PhD thesis, University Joseph Fourier, Grenoble. pdf. pdf in French.
  • [D03] Donzé A. (2003), Étude d'un modéle de contrôleur hybride, Master's thesis, DEA Informatique: Systèmes et Communication, Université Joseph Fourier, Grenoble.
  • [D02] Donzé A. (2002), Influence des paramètres dans l'apprentissage par renforcement, Master's thesis, DEA Mathématiques Appliquées, Université Joseph Fourier, Grenoble.

Powered by Emacs and org-mode