302 articles – 345 Notices  [english version]
.:. Consultation > Liste par auteurs > Amadio .:.
4 documents classés par :
fulltext access Certifying and reasoning on cost annotations in C programs
Ayache N., Amadio R., Régis-Gianas Y.
FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems, France (2012) [hal-00702665 - version 2]
fulltext access A decompilation of the pi-calculus and its application to termination
Amadio R.
Research report [hal-00565222 - version 1]
fulltext access An affine-intuitionistic system of types and effects: confluence and termination
Amadio R., Baillot P., Madet A.
[hal-00438101 - version 2] (03/05/2010)
Resource Control for Synchronous Cooperative Threads
Amadio R., Dal Zilio S.
Theoretical Computer Science 358 (2006) (2-3):229-254 [hal-00109277 - version 1]