MANOURY Pascal
Maître de Conférences Émérite
Équipe : APR
Tel: 01 44 27 70 96, Pascal.Manoury (at) nulllip6.fr
https://perso.lip6.fr/Pascal.Manoury
Équipe : APR
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 310
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 70 96, Pascal.Manoury (at) nulllip6.fr
https://perso.lip6.fr/Pascal.Manoury
Publications 1997-2020
-
2020
- M. Jaume, M. Journault, M.‑J. Lesot, P. Manoury, I. Mounier : “Logique pour l’informatique”, (Ellipses), (ISBN: 9782340042612) (2020)
-
2014
- P. Manoury, Ph. Baufreton, J.‑L. Dufour, E. Prun, E. Chailloux, G. Henry, F. Thibord, Ph. Wang, E. Millon : “Certification de l’assemblage de composants dans le développement de logiciels critiques”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'14), Paris, France, pp. 109-114 (2014)
- Ph. Baufreton, E. Chailloux, J.‑L. Dufour, G. Henry, P. Manoury, E. Prun, F. Thibord, Ph. Wang : “Compositional certification: the CERCLES2 project”, Embedded Real Time Software and Systems (ERTS2), Toulouse, France, pp. 582-591 (2014)
- B. Serpette, P. Manoury, E. Chailloux : “Unification des couleurs dans un lambda-calcul polychrome”, Journées Francophones des Langages Applicatifs, Fréjus, France (2014)
-
2012
- G. Henry, M. Mauny, E. Chailloux, P. Manoury : “Typing Unmarshalling without Marshalling Types”, International Conference on Functional Programming, Copenhagen, Denmark, pp. 287-298, (ACM) (2012)
-
2009
- B. Pagano, O. Andrieu, Th. Moniot, B. Canou, E. Chailloux, Ph. Wang, P. Manoury, J.‑L. Colaço : “Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework”, The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Edinburgh, United Kingdom, pp. 215-220, (ACM) (2009)
-
2002
- A. Brygoo, T. Durand, P. Manoury, Ch. Queinnec, M. Soria : “Un cédérom pour Scheme: Chacun son entraineur, un entraineur pour tous”, TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie, Villeurbanne, France, pp. 223-231, (Institut National des Sciences Appliquées de Lyon) (2002)
- A. Brygoo, T. Durand, P. Manoury, Ch. Queinnec, M. Soria : “Experiment around a training engine”, IFIP WCC 2002 - 17th World Computer Congress, vol. 102, IFIP - The International Federation for Information Processing, Montreal, Canada, pp. 45-52, (Springer) (2002)
- M.‑V. Aponte, E. Chailloux, G. Cousineau, P. Manoury : “Advanced programming features in objective caml.”, 6eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, X, France (2002)
-
1997
- E. Chailloux, P. Manoury, B. Pagano : “Types behind the mirror : a proposal for partial ML type reconstruction at run-time.”, Types in Compilation Workshop, Amsterdam, Netherlands (1997)