|
 
|
Tristan Crolard
|
Professeur Equipe SYS Mail : tristan.crolard  cnam.fr
http://cedric.cnam.fr/sys/crolard |
Responsable de l'équipe Systèmes Sûrs
Responsable opérationnel du Master SEMS
Publications
2017
-
[BCM17]
Y. Bakouny, T. Crolard, D. Mezher.
"A Coq-based synthesis of Scala programs which are correct-by-construction",
FTfJP'17:19th Workshop on Formal Techniques for Java-like Programs Proceedings,
June 2017,
pp.2,
Barcelona,
Spain,
(DOI: 10.1145/3103111.3104041)
Conférence Internationale avec comité de lecture
2016
- [Cro16] T. Crolard. "A verified abstract machine for functional coroutines", Proceedings of the Workshop on Continuations (WoC'15) - Satellite event of ETAPS 2015, June 2016, Vol. 212, pp.1-17, London, UK, (DOI: 10.4204/EPTCS.212.1)
Conférence Internationale avec comité de lecture
2015
- [CAC15] T. Crolard, M. Aponte, P. Courtieu, J. Lawall. "Formal Methods for Critical Systems: A verified implementation of nested procedures", International Conference on Applied Research in Computer Science and Engineering (ICAR'15), October 2015, pp.1, Lebanon, (DOI: 10.1109/ARCSE.2015.7338125)
- [Cro15] T. Crolard. "A verified abstract machine for functional coroutines", Workshop on Continuations (WoC'15) - Satellite event of ETAPS 2015, April 2015, pp.1-19, London, UK, (DOI: 10.7146/aul.4.4)
- [Cro15b] T. Crolard. "A verified abstract machine for functional coroutine (companion technical report)", Date de dépot: 2015/04/12, Nb pages 11, (Tech. Rep.: CEDRIC-15-3514)
Conférences invitées
Rapport Scientifique
2013
- [CAC13] P. Courtieu, M. Aponte, T. Crolard, Z. Zhang, Robby, J. Belt, J. Hatcliff, J. Guitton, T. Jennings. "Extended abstract: Towards the Formalization of SPARK 2014 Semantics with Explicit Run-time Checks Using Coq", High Integrity Language Technology - ACM SIGAda’s Annual International Conference, November 2013, pp.2, Series ACM Digital Library, US,
