Skip to Main content Skip to Navigation


...
hal-02066420v1  Conference papers
Ronny ChevalierStefano CristalliChristophe HauserYan ShoshitaishviliRuoyu Wang et al.  BootKeeper: Validating Software Integrity Properties on Boot Firmware Images
CODASPY 2019 - Conference on Data and Application Security and Privacy, Mar 2019, Dallas, United States. pp.1-11, ⟨10.1145/3292006.3300026⟩
...
inria-00120273v1  Journal articles
Stéphane GrumbachJianwen Su. Finitely Representable Databases.
Journal of Computer and System Sciences, Elsevier, 1997, 55 (2), pp.273-298
hal-01110877v1  Journal articles
Jian LuS. Rosenblum DavidTevfik BultanValérie IssarnySchahram Dustdar et al.  Roundtable on "The Future of Software Engineering for Internet Computing
IEEE Software, Institute of Electrical and Electronics Engineers, 2015, Jan/Feb Issue, 32 (1), pp.91-97
...
hal-00726448v1  Journal articles
Gwen SalaünTevfik BultanNima Roohi. Realizability of Choreographies using Process Algebra Encodings
IEEE Transactions on Services Computing, IEEE, 2012, 5 (3), pp.290-304
...
lirmm-01177564v1  Conference papers
Maximilien ServajeanEsther PacittiMiguel Liroz-GistauSihem Amer-YahiaAmr El Abbadi. Exploiting Diversification in Distributed Recommendation
BDA: Gestion de Données — Principes, Technologies et Applications, IMAG, Oct 2014, Autrans, France
lirmm-01177817v1  Journal articles
Maximilien ServajeanEsther PacittiMiguel Liroz-GistauSihem Amer-YahiaAmr El Abbadi. Increasing Coverage in Distributed Search and Recommendation with Profile Diversity
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2015, LNCS (9430), pp.115-144. ⟨10.1007/978-3-662-48567-5_4⟩