PhD. Eng. Marcelo Forets Researcher in Applied Mathematics

Preprints & Reports

Submitted papers

Papers which have been submitted for review.

  1. Constructing Verification Models of Nonlinear Simulink Systems via Syntactic Hybridization.
    Nikolaos Kekatos, M. F., Goran Frehse.
    2016, submitted.
    Download pre-print: [HAL], [local copy].

Working papers

Preliminary work which has not been yet submitted for publication.

  1. Decomposing Reachability Computations for Affine Systems.
    Sergiy Bogomolov, M. F., Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry.
    2017, work-in-progress.

  2. Explicit Error Bounds for Carleman Linearization.
    M. F., Amaury Pouly.
    2017, to be submitted.
    See also: carlin package for SageMath.

  3. Semidefinite Characterization of Invariant Measures for Polynomial Systems.
    M. F., Didier Henrion, Victor Magron.
    2017, work-in-progress.

  4. Erythropoiesis and Hemoglobin production modelling using optimal control of Hybrid Systems.
    Alexandre Rocca, Thao Dang, Eric Fanchon, M. F., Victor Magron.
    2017, work-in-progress.

Technical reports

Technical reports on the progess of research projects. They are not meant to be published in journals or conferences.


  1. Compositional Analysis of Circuits with Parametric Uncertainties
    M. F., Goran Frehse, Nikolaos Kekatos.
    December 2016. Technical deliverable report of the project NANO2017.

  2. Modeling Analog Circuits with Technological Dispersion
    M. F., Stefano Minopoli, Goran Frehse.
    July 2016. Technical deliverable report of the project NANO2017.

If you are interested to know more about a technical report please send me an email.