29.3k citations
- F. Rossi2 profiles18 · h 27
- S. Tixeuil2 profiles16 · h 35
- F. Bach14 · h 108
- Laurent Romary3 profiles14 · h 26
- M. Fliess2 profiles10 · h 51
- Fabien Mathieu9 · h 15
- M. Potop-Butucaru2 profiles9 · h 31
- N. Carbonell2 profiles9 · h 14
- P. Robert9 · h 20
- S. Gaubert9 · h 47
- W. Visser9 · h 20
- Yves Bertot3 profiles9 · h 24
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR96 papers
- Centre National de la Recherche ScientifiqueFR86 papers
- Centre Inria de SaclayFR64 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR27 papers
- Sorbonne UniversitéFR26 papers
- Université Grenoble AlpesFR23 papers
- Centre Inria de l'université de BordeauxFR22 papers
- LIP6FR22 papers
- Centre Inria de l'Université de LilleFR21 papers
- Laboratoire de l'Informatique du ParallélismeFR21 papers
- Laboratoire d'Informatique de GrenobleFR20 papers
- Institut Élie Cartan de LorraineFR19 papers
6 papers · 2 filters
Static vs Dynamic SAGAs
Ivan Lanese
SAGAs calculi (or simply SAGAs) have been proposed by Bruni et al. as a model for long-running transactions. The approach therein can be considered static, while a dynamic approach…
Certifying cost annotations in compilers
Roberto M. Amadio, Nicolas Ayache, Yann Régis-Gianas +1
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the sou…
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
Mayleen Lacouture, Hervé Grall, Thomas Ledoux
In the context of Service-Oriented Computing, applications can be developed following the REST (Representation State Transfer) architectural style. This style corresponds to a reso…
Soundly Handling Static Fields: Issues, Semantics and Analysis
Laurent Hubert, David Pichardie
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class initi…
Enforcing Secure Object Initialization in Java
Laurent Hubert, Thomas Jensen, Vincent Monfort +1
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin…
Rewriting Logic Semantics of a Plan Execution Language
Gilles Dowek, César Muñoz, Camilo Rocha
The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logi…