ENSTA ParisTech U2IS

Computer Science and System Engineering Department

English Français

Safety and Reliability of Software (SURF)


Contact

Address:ENSTA ParisTech - U2IS
Groupe Sûreté et Fiabilité des Logiciels
828, Boulevard des Maréchaux
F-91762 Palaiseau Cedex
France
Safety and Reliability of Software (SURF)
Email:
Tel.:+33 (0)1 8187 2032

The research group "Safety and Reliability of Software" aims at improving techniques of development, analysis and verification of software. The group members are interested in static analyses, specification, and correctness proofs of programs, as well as in the development of tools embodying their scientific results.



Researchers

Administrative staff

Postdocs

PhD students



Publications (browse in a new window)

2013
C. Bozman, M. Mauny, F. Le Fessant, T. Gazagnaire, "Profiling the Memory Usage of OCaml Applications without Changing their Behavior", 2013. [bibtex]
M. Mauny, Langages de scripts, Techniques de l'ingénieur, 2013, chap. Langages de programmation. [bibtex] [pdf]
M. Mauny, B. Vaugon, "OCamlCC - Traduire OCaml en C en passant par le bytecode", in JFLA - Journées francophones des langages applicatifs, D. Pous, C. Tasson, Eds., 2013. [bibtex] [pdf]
O. Bouissou, A. Chapoutot and A. Djoudi, "Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods", in NASA Formal Methods, Springer, 2013, pp. 108-123. [bibtex]
2012
M. Mauny, B. Vaugon, "OCamlCC -- Raising Low-Level Bytecode to High-Level C", 2012 ([slides], [video]). [bibtex]
C. Bozman, T. Gazagnaire, F. Le Fessant, M. Mauny, "Study of OCaml Programs' Memory Behavior", 2012. [bibtex]
P. Ayrault, V. Benayoun, C. Dubois, F. Pessaux, "ML Dependency Analysis for Assessors.", in SEFM, G. Eleftherakis, M. Hinchey, M. Holcombe, Eds., Springer, 2012, pp. 278-292. [bibtex] [pdf]
W. Taha, P. Brauner, Y. Zeng, R. Cartwright, V. Gaspes, A. Ames, A. Chapoutot, "A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)", in 32nd International Conference on Distributed Computing Systems Workshops, IEEE Computer Society, 2012, pp. 303-308. [bibtex]
W. Taha, P. Brauner, R. Cartwright, V. Gaspes, A. Ames, A. Chapoutot, "A core language for executable models of cyber physical systems (Preliminary Report)", in International Workshop on Cyber-Physical Networking Systems, 2012. [bibtex]
G. Henry, M. Mauny, E. Chailloux, P. Manoury, "Typing Unmarshalling Without Marshalling Types", in ICFP, 2012, pp. 287-298. [bibtex]
A. Chapoutot, T. Hilaire and P. Chevrel, "Interval-based Robustness of Linear Parametrized Filters", in SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. [bibtex]
A. Chapoutot, L. Didier and F. Villers, "A statistical inference model for the dynamic range of LTI systems", in SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. [bibtex]
A. Chapoutot, L. Didier and F. Villers, "Range estimation of floating-point variables in Simulink models", in Conference on Design and Architectures for Signal and Image Processing, IEEE, 2012, pp. 1-8. [bibtex]
O. Bouissou, Y. Seladji and A. Chapoutot, "Acceleration of the abstract fixpoint computation in numerical program analysis", Journal of Symbolic Computation, 2012, pp. -. [bibtex]
O. Bouissou, A. Chapoutot and S. Mimram, "HySon: Precise Simulation of Hybrid Systems with Imprecise Inputs", in Rapid System Prototyping, IEEE, 2012. [bibtex]
O. Bouissou, A. Chapoutot, "An Operational Semantics for Simulink's Simulation Engine", in Languages, Compilers and Tools for Embeddeed Systems, ACM, 2012. [bibtex]
2011
W. Taha, P. Brauner, R. Cartwright, V. Gaspes, A. Ames, A. Chapoutot, "A core language for executable models of cyber physical systems: work in progress report", SIGBED Rev., vol. 8, no. 2, jun 2011, pp. 39-43. [bibtex]
2010
Y. Zhu, E. Westbrook, J. Inoue, A. Chapoutot, C. Salama, M. Peralta, T. Martin, W. Taha, M. O'Malley, R. Cartwright, A. Ames, R. Bhattacharya, "Mathematical Equations as Executable Models of Mechanical Systems", in ACM/IEEE First International Conference of Cyber-Physical Systems (ICCPS'10), pp. 1-11. [bibtex]
A. Chapoutot, "Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables", in Static Analysis Symposium (SAS'10), Springer, pp. 184-200. [bibtex]
O. Bouissou, Y. Seladji and A. Chapoutot, "Abstract Fixpoint Computations with Numerical Acceleration Methods", Electronic Notes in Theoretical Computer Science, vol. 267, no. 1, 2010, pp. 29 - 42. [bibtex]
2009
P. Ayrault, T. Hardin and F. Pessaux, "Development Life-cycle of Critical Software Under FoCaL", Electron. Notes Theor. Comput. Sci., vol. 243, jul 2009, pp. 15-31. [bibtex] [pdf] [doi]
A. Chapoutot, M. Martel, "Différentiation automatique et formes de Taylor en analyse statique de programmes numériques", Technique et Science Informatiques (TSI), vol. 28, no. 4, 2009, pp. 503-531. [bibtex]
A. Chapoutot, L. Didier and F. Villers, "Range Estimation of Floating-Point Variable in Simulink Models", in Numerical Software Verification (NSV-II), 2009. [bibtex]
P. Ayrault, T. Hardin and F. Pessaux, "Development of a Generic Voter under FoCal", in Proceedings of the 3rd International Conference on Tests and Proofs, Berlin, Heidelberg: Springer-Verlag, 2009, pp. 10-26. [bibtex] [pdf] [doi]
2008
A. Chapoutot, M. Martel, "Static Analysis of Simulink Programs", in Model-driven High-level Programming of Embedded Systems (SLA++P'08). [bibtex]
P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, R. Rioboo, P. Weis, "Secure Software within Focal", in Computer & Electronics Security Applications Rendez-vous, 2008. [bibtex] [pdf]
2007
G. Henry, M. Mauny and E. Chailloux, "Typer la désérialisation sans sérialiser les types", Technique et Science Informatiques, vol. 26 9, 2007, pp. 1067-1090. [bibtex]
2006
G. Henry, M. Mauny and E. Chailloux, "Typer la désérialisation sans sérialiser les types", in Journées Francophones des Langages Applicatifs, 2006. [bibtex] [pdf]
E. Chailloux, M. Mauny, Encyclopédie des systèmes d'information, Éditions Vuibert, 2006, chap. Programmation fonctionnelle. [bibtex]
2000
Y. Xiao, Z. Ariola and M. Mauny, "From Syntactic Theories to Interpreters: A Specification Language and Its Compilation", in First International Workshop on Rule-Based Programming (RULE 2000), N. Derschowitz, C. Kirchner, Eds.. [bibtex] [pdf]
1999
F. Pessaux, X. Leroy, "Type-based analysis of uncaught exceptions", in Proc. 26th symp. Principles of Programming Languages, ACM Press, 1999. [bibtex]
1998
X. Leroy, F. Pessaux, "Type-based analysis of uncaught exceptions", 1998. [bibtex]
M. Mauny, "L'installation de Linux sur un portable Dell Latitude CP", CNRS, in Le Micro-Bulletin du CNRS, 1998. [bibtex]
F. Pessaux, "OCamlDoom: ML for 3D action games", 1998. [bibtex]
G. Cousineau, M. Mauny, The Functional Approach to Programming, Cambridge University Press, 1998. [bibtex] [pdf]
1997
E. Sayag, M. Mauny, "Structural properties of intersection types", in Proceedings of the 8th International Conference on Logic and Computer Science -- Theoretical Foundations of Computing (LIRA), 1997, pp. 167-175. [bibtex] [pdf]
M. Mauny, C. Rinderknecht, "Position paper about the ASN.1 Formal Model", 1997. [bibtex]
F. Pessaux, Ed., JFLA 1997, Journées Francophones des Langages Applicatifs, Dolomieux sur Isère, France, January 1997. Proceedings. [bibtex]
1996
D. d. Rauglaudre, M. Mauny, "Chamau: an ML Dialect with Quotations, Grammars and Exensible Syntax", in Workshop on Compiler Techniques for Application Domain Languages and Extensible Language Models, 1996. [bibtex] [pdf]
E. Sayag, M. Mauny, "A presentation of the intersection type discipline through principal typings of normal forms", INRIA, Rep. RR-2998, 1996. [bibtex] [pdf]
E. Sayag, M. Mauny, "Characterization of principal types of normal forms in an intersection type system", in Proceedings of Foundations of Software Technology and Theoretical Computer Science, S. Verlag, Ed., 1996, pp. 335-346. [bibtex] [pdf]
1995
E. Sayag, M. Mauny, "Caractérisation des types principaux des formes normales dans le système des types avec intersections", 1995. [bibtex]
M. Mauny, Functional programming using Caml Light (version 0.7), INRIA, 1995. [bibtex] [pdf]
G. Cousineau, M. Mauny, Approche fonctionnelle de la programmation, Ediscience International, 1995. [bibtex] [pdf]
1994
M. Mauny, D. d. Rauglaudre, "A complete and realistic implementation of quotations for ML", in Proceedings of the Workshop on ML and its applications, 1994. [bibtex] [pdf]
1993
X. Leroy, M. Mauny, "Dynamics in ML", Journal of Functional Programming, vol. 3, no. 4, oct 1993, pp. 431-463. [bibtex] [pdf]
M. Mauny, D. d. Rauglaudre, "Analyseurs lexico-syntaxiques en ML", in Jounées Francophones des Langages Applicatifs, 1993. [bibtex]
M. Mauny, F. Pottier, "An implementation of Caml Light with existential types", INRIA, Rep. 2183, 1993. [bibtex] [pdf]
1992
M. Mauny, D. d. Rauglaudre, "Parsers in ML", in Proceedings of the ACM International Conference on Lisp and Functional Programming, 1992. [bibtex] [pdf]
M. Mauny, "Integrating Lazy Evaluation in Strict ML", in Actes du Premier Colloque Africain sur la Recherche en Informatique, 1992. [bibtex]
1991
M. Mauny, "Integrating Lazy Evaluation in Strict ML", INRIA, Rep. 137, 1991. [bibtex] [pdf]
M. Mauny, "Functional Programming using CAML", INRIA, Rep. 129, 1991. [bibtex]
X. Leroy, M. Mauny, "Dynamics in ML", INRIA, Rep. 1491, 1991. [bibtex]
X. Leroy, M. Mauny, "Dynamics in ML", in Functional Programming Languages and Computer Architecture, J. Hughes, Ed., Springer-Verlag, 1991, pp. 406-426. [bibtex]
1990
P. Weis, M. Aponte, A. Laville, M. Mauny, A. Suárez, "The CAML Reference Manual", INRIA, Rep. 121, 1990. [bibtex]
S. Peyton-Jones, Mise en oeuvre des langages fonctionnels de programmation, Masson, 1990 (traduit de l'anglais par M. Mauny). [bibtex]
1989
M. Mauny, "Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages", in Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, 1989. [bibtex] [pdf]
1987
G. Cousineau, P. Curien and M. Mauny, "The Categorical Abstract Machine", Science of Computer Programming, vol. 8, 1987, pp. 173-202. [bibtex]
1986
M. Mauny, A. Suárez, "Implémentation des Langages Fonctionnels dans la Machine Abstraite Catégorique", in Actes des Journées AFCET, 1986. [bibtex]
M. Mauny, A. Suárez, "Implementing Functional Languages in the Categorical Abstract Machine", in Proceedings of the ACM International Conference on Lisp and Functional Programming, 1986, pp. 266-278. [bibtex]
1985
M. Mauny, "Compilation des Langages Fonctionnels dans les Combinateurs Catégoriques -- Application au langage ML", Ph.D. dissertation, Université Paris 7, 1985. [bibtex]
G. Cousineau, P. Curien, M. Mauny, A. Suárez, "Combinateurs Catégoriques et Implémentation des Langages Fonctionnels", in Actes de la Treizième Ecole de Printemps du LITP, Springer Verlag, 1985, pp. 85-103. [bibtex]
G. Cousineau, P. Curien and M. Mauny, "The Categorical Abstract Machine", in Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, Springer Verlag, 1985, pp. 50-64. [bibtex]