Skip to Main content Skip to Navigation

hal-01108022v1  Directions of work or 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-01203501v1  Conference papers
François Pessaux. FoCaLiZe: Inside an F-IDE
Workshop F-IDE 2014, May 2014, Grenoble, France. ⟨10.4204/EPTCS.149.7⟩
hal-00779721v1  Conference papers
Michel MaunyBenoît Vaugon. OCamlCC - Traduire OCaml en C en passant par le bytecode
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, 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, Lavoisier, 2007, 26 (9), pp.1067-1090
hal-01203505v1  Conference papers
François PessauxVincent BenayounCatherine DuboisPhilippe Ayrault. ML Dependency Analysis for Assessors
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
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-01111240v2  Conference papers
Alexandre ChapoutotJulien Alexandre Dit SandrettoOlivier Mullier. Validated Explicit and Implicit Runge-Kutta Methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
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-02930466v1  Journal articles
Jason BrownFrançois Pessaux. Interval-Based Simulation of Zélus IVPs Using DynIbex
Acta Cybernetica, University of Szeged, Institute of Informatics, In press, pp.1 - 16. ⟨10.14232/actacyb.285246⟩
cel-01203517v1  Lectures
François Pessaux. Programming and Proving: Practice with FoCaLiZe
Doctoral. Rennes, France. 2014, pp.44
hal-01056216v1  Conference papers
Sahar AbbaspourAlexander JordanFlorian Brandner. Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis
14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. pp.83-92
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-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-01095305v1  Conference papers
Çagdas BozmanMichel MaunyFabrice Le FessantThomas Gazagnaire. Profiling the Memory Usage of OCaml Applications without Changing its Behavior
OCaml Users and Developers Workshop (OCaml), Sep 2013, boston, United States
hal-01316503v1  Poster communications
Olivier MullierAlexandre ChapoutotJulien Alexandre Dit Sandretto. Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom
tel-01356695v1  Theses
Benoit Vaugon. Sous-Typage par Saturation de Contraintes, Théorie et Implémentation
Langage de programmation [cs.PL]. Université Paris-Saclay, 2016. Français. ⟨NNT : 2016SACLY004⟩