Skip to Main content Skip to Navigation
New interface

hal-00819377v1  Conference papers
Olivier BouissouAlexandre ChapoutotSamuel Mimram. HySon: Set-based simulation of hybrid systems
23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
hal-01164340v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Intra-procedural Optimization of the Numerical Accuracy of Programs
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
hal-00819378v1  Conference papers
Walid TahaPaul BraunerYingfu ZengRobert CartwrightVeronica Gaspes et al.  A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩
hal-03322041v1  Proceedings
Mohamed Faouzi AtigSaddek BensalemSimon BliudzeBruno Monsuez. VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems
Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. ⟨10.1007/978-3-030-00359-3⟩
hal-01290286v1  Conference papers
Olivier BouissouSamuel MimramBaptiste StrazzullaAlexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
hal-00275358v1  Journal articles
Grégoire HenryMichel MaunyEmmanuel Chailloux. Typer la désérialisation sans sérialiser les types
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, 26 (9), pp.1067-1090
hal-02287276v1  Conference papers
Naji AmineFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
hal-01503084v1  Conference papers
J GarrigueD Ly. Des unités dans le typeur
28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
hal-01108053v1  Conference papers
Stefan HeppFlorian Brandner. Splitting functions into single-entry regions
International Conference on Compilers, Architecture and Synthesis for Embedded Systems, Karam S. Chatha (Qualcomm Research); Rolf Ernst (TU Braunschweig), Oct 2014, New Delhi, India. pp.10, ⟨10.1145/2656106.2656128⟩
hal-00851282v1  Conference papers
Alexandre ChapoutotLaurent-Stéphane DidierFanny Villers. A Statistical Inference Model for the Dynamic Range of LTI Systems
15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26
hal-01297273v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. DynBEX: a Differential Constraint Library for Studying Dynamical Systems
Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria
hal-01246343v1  Conference papers
Amine NajiFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
hal-01272514v1  Book sections
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩
hal-01108022v1  Proceedings
Florian BrandnerAa Tom Vander. Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems
Florian Brandner, ENSTA ParisTech; Tom Vander Aa, Target Compiler Technologies,. Workshop on Optimizations for DSP and Embedded Systems, Feb 2014, Orlando, FL, United States. , pp.44, 2014, 978-1-4503-2595-0
hal-01413043v1  Conference papers
Benoît VaugonMichel Mauny. A Type Inference System Based on Saturation of Subtyping Constraints
Trends in Functional Programming, Jun 2016, College Park (MD), United States
hal-01598851v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Numerical Accuracy Improvement by Interprocedural Program Transformation
International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩
hal-01290292v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Data-Types Optimization for Floating-Point Formats by Program Transformation
Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩