Skip to Main content Skip to Navigation


...
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
...
inria-00379423v1  Conference papers
Valérie IssarnyConsortium Connect. CONNECT: Emergent Connectors for Eternal Software Intensive Networked Systems
FET'09 - The European Future Technologies Conference and Exhibition, European Commission, Apr 2009, Prague, Czech Republic
...
hal-01700565v1  Journal articles
François Pellegrini. La liberté à l'ère numérique
Politeia - Les Cahiers de l'Association Française des Auditeurs de l'Académie Internationale de Droit constitutionnel, Association française des auditeurs de l'Académie internationale de droit constitutionnel, 2017, Les métamorphoses des droits fondamentaux à l'ère du numérique, 31, pp.161-172
hal-01678845v1  Reports
Gilles DowekCatherine DuboisBrigitte PientkaFlorian Rabe. Universality of proofs
[Research Report] Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise; Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS); INRIA Saclay - Ile de France (INRIA); Jacobs University [Bremen]; École normale supérieure - Cachan; McGill University / Université McGill. 2017, pp.24
inria-00479661v1  Journal articles
Romain CavagnaJérôme RoyanPatrick GioiaChristian BouvilleMaha Abdallah et al.  Peer-to-peer visualization of very large 3D landscape and city models using MPEG-4
Signal Processing: Image Communication, Elsevier, 2009, Signal Processing: Image Communication, 24 (1-2), pp.115 - 121. ⟨10.1016/j.image.2008.10.012⟩
...
tel-01415945v1  Theses
Raphaël Cauderlier. Object-Oriented Mechanisms for Interoperability between Proof Systems
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
inria-00542314v1  Conference papers
Nacer Boudjlida. A Walk Trough Semantic Interoperability of Entreprise Systems: A Tutorial
Conference Africaine en Informatique et Mathématiques Appliquées, Oct 2010, Yamoussoukro, Côte d’Ivoire
inria-00542310v1  Conference papers
Nacer Boudjlida. From Fine Grain to Large-Scale Semantic Ineroperability
Conference Africaine en Informatique et Mathématiques Appliquées, Oct 2010, Yamoussoukro, Côte d’Ivoire. pp.31--32
...
hal-01485213v1  Conference papers
Rafael AngaritaNikolaos GeorgantasCristhian ParraJames HolstonValérie Issarny. Leveraging the Service Bus Paradigm for Computer-mediated Social Communication Interoperability
International Conference on Software Engineering (ICSE), Software Engineering in Society (SEIS) Track, May 2017, Buenos Aires, Argentina
...
hal-01700607v1  Documents associated with scientific events
François Pellegrini. Liberté à l'ère numérique
Defense Security Cyber, Jul 2016, Bordeaux, France. pp.1-27, 2016
...
hal-01790629v1  Conference papers
Stéphanie ChallitaFaiez ZalilaPhilippe Merle. Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language
CLOUD 2018 - 11th IEEE International Conference on Cloud Computing, Jul 2018, San Francisco, United States
...
hal-01519831v1  Conference papers
Stéphanie ChallitaFawaz ParaisoPhilippe Merle. Towards Formal-based Semantic Interoperability in Multi-Clouds
10th IEEE International Conference on Cloud Computing (CLOUD), Jun 2017, Honolulu, Hawaii, United States. pp.710-713
...
hal-00710623v1  Conference papers
Jonathan LabéjofAntoine LégerPhilippe MerleLionel SeinturierHugues Vincent. R-MOM: A Component-Based Framework for Interoperable and Adaptive Asynchronous Middleware Systems
First International Workshop on Service and Cloud Based Data Integration (SCDI) at the 16th IEEE International EDOC Conference, Sep 2012, Beijing, China. pp.204-213, ⟨10.1109/EDOCW.2012.35⟩
...
hal-00694700v1  Conference papers
Fawaz ParaisoNicolas HadererPhilippe MerleRomain RouvoyLionel Seinturier. A Federated Multi-Cloud PaaS Infrastructure
CLOUD 2012 - 5th IEEE International Conference on Cloud Computing, Jun 2012, hawaii, United States. pp.392 - 399, ⟨10.1109/CLOUD.2012.79⟩
...
hal-01111453v1  Journal articles
Hamri SalahBoudjlida NacerBoufaida Mahmoud. Semantic Annotations for Workflow Interoperability
Informatica, Slovene Society Informatika, Ljubljana, 2014, 38 (4), pp.347-366
...
hal-01358399v1  Conference papers
Valérie IssarnyGeorgios BouloukakisNikolaos GeorgantasBenjamin Billet. Revisiting Service-oriented Architecture for the IoT: A Middleware Perspective
14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada
...
hal-01104252v1  Conference papers
Karima RafesJulien NauroyCécile Germain. TFT, Tests For Triplestores
Semantic Web Challenge, part of the International Semantic Web Conference, Oct 2014, Riva Del Garda, Italy
...
hal-00399881v1  Journal articles
Laurent RomaryChris Armbruster. Beyond institutional repositories
International Journal of Digital Library Systems, IGI Global, 2010, 1 (1), pp.44-61
...
inria-00586630v1  Book sections
Valérie IssarnyAmel BennaceurYérom-David Bromberg. Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability
Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.217-255, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩
...
inria-00586638v1  Book sections
Paul GraceNikolaos GeorgantasAmel BennaceurGordon BlairFranck Chauvel et al.  The CONNECT Architecture
Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.27-52, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩