Search - Archive ouverte HAL Access content directly

Filter your results

189 Results
Image document

Security Benefits from Software Architecture

Christophe Bidan , Valérie Issarny
[Research Report] RR-3114, INRIA. 1997
Reports inria-00073576v1
Image document

Exception handling sequential processes : design, verification and implementation

Jean-Pierre Banâtre , Valérie Issarny
[Research Report] RR-1710, INRIA. 1992
Reports inria-00076947v1
Image document

The iBICOOP middleware: Enablers and Services for Emerging Pervasive Computing Environments

Amel Bennaceur , Singh Pushpendra , Pierre-Guillaume Raverdy , Valérie Issarny
PerWare 2009 IEEE Middleware Support for Pervasive Computing Workshop, Mar 2009, Galveston, TX, United States. pp.1-6, ⟨10.1109/PERCOM.2009.4912851⟩
Conference papers inria-00422412v1
Image document

Mobile Crowd-Sensing as a Resource for Contextualized Urban Public Policies: A Study using Three Use Cases on Noise and Soundscape Monitoring

Bruno Lefèvre , Rachit Agarwal , Valérie Issarny , Vivien Mallet
Journal articles hal-02127052v2

Security and Trust

Gabriele Costa , Fabio Martinelli , Valérie Issarny , Rachid Saadi , Ilaria Matteucci
SFM'11 - 11 th International School on Formal Methods for the Design of Computer, Communication and Software, Jun 2011, Bertinoro, Italy. pp.393-416
Conference papers hal-00646860v1
Image document

QoS Composition and Analysis in Reconfigurable Web Services Choreographies

Ajay Kattepur , Nikolaos Georgantas , Valérie Issarny
International Conference on Web Services, IEEE, Jun 2013, Santa Clara, California, United States
Conference papers hal-00841485v1
Image document

Composing Continuous Services in a CoAP-based IoT

Benjamin Billet , Valerie Issarny , Géraldine Texier
AIMS - 6th IEEE International Conference on AI & Mobile Services, Jun 2017, Honolulu, United States
Conference papers hal-01519132v1
Image document

Set-based Bi-level Optimisation for QoS-aware Service Composition in Ubiquitous Environments

Nebil Ben Mabrouk , Nikolaos Georgantas , Valerie Issarny
Proceedings of the 22nd IEEE International Conference on Web Services (ICWS), Jun 2015, New York, United States. ⟨10.1109/ICWS.2015.14⟩
Conference papers hal-01274038v1
Image document

4W1H in IoT semantics

Garvita Bajaj , Rachit Agarwal , Pushpendra Singh , Nikolaos Georgantas , Valérie Issarny
IEEE Access, 2018, 6, pp.65488-65506. ⟨10.1109/ACCESS.2018.2878100⟩
Journal articles hal-01898506v1
Image document

MEDUSA: Middleware for End-User Composition of Ubiquitous Applications

Oleg Davidyuk , Nikolaos Georgantas , Valérie Issarny , Jukka J. R. Riekki
Mastrogiovanni, F. and Chong, N.Y. Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives, 11, IGI Global, pp.197-219, 2011, 9781616928575. ⟨10.4018/978-1-61692-857-5.ch011⟩
Book sections inria-00432675v1
Image document

Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE

Benjamin Billet , Georgios Bouloukakis , Nikolaos Georgantas , Sara Hachem , Valérie Issarny , et al.
Preprints, Working Papers, ... hal-00912869v1
Image document

Inferring Affordances Using Learning Techniques

Amel Bennaceur , Johansson Richard , Moschitti Alessandro , Spalazzese Romina , Daniel Sykes , et al.
International Workshop on Eternal Systems (EternalS'11), May 2011, Budapest, Hungary. ⟨10.1007/978-3-642-28033-7_7⟩
Conference papers inria-00591264v1
Image document

Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability

Valérie Issarny , Amel Bennaceur , Yérom-David Bromberg
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⟩
Book sections inria-00586630v1
Image document

A three round authenticated group key agreement protocol for ad hoc networks

Daniel Augot , Raghav Bhaskar , Valérie Issarny , Daniele Sacchetti
Pervasive and Mobile Computing, 2007, 3 (1), pp.36-52. ⟨10.1016/j.pmcj.2006.07.001⟩
Journal articles inria-00509215v1
Image document

Towards a Formalization of Mediating Connectors for on the Fly Interoperability

Romina Spalazzese , Paola Inverardi , Valérie Issarny
Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009, Sep 2009, Cambridge, United Kingdom
Conference papers inria-00404308v1
Image document

Service discovery in multi-radio networks: an assessment of existing protocols

Damien Charlet , Valérie Issarny , Rafik Chibout
9th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems : MSWiM 2006, 2006, Torremolinos, Malaga, Spain. pp.229-238
Conference papers inria-00415113v1
Image document

ubiSOAP: A Service Oriented Middleware for Seamless Networking

Mauro Caporuscio , Pierre-Guillaume Raverdy , Hassine Moungla , Valérie Issarny
6th International Conference on Service Oriented Computing : ICSOC 2008, 2008, Sydney, Australia. pp.195-209
Conference papers inria-00415143v1
Image document

A Security Supervision System for Hybrid Networks

Françoise Sailhan , Julien Bourgeois , Valérie Issarny
R. Lee. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, Springer, pp.137-149, 2008
Book sections inria-00415144v1
Image document

Dependability in the Web Services Architecture

Ferda Tartanoglu , Valérie Issarny , Alexander B. Romanovsky , Nicole Levy
Lemos, Rogerio de and Gacek, Cristina and Romanovsky, Alexander. Architecting dependable systems, Springer, pp.90-109, 2003
Book sections inria-00414794v1
Image document

Cooperative Caching in Ad Hoc Networks

Françoise Sailhan , Valérie Issarny
4th International Conference on Mobile Data Management : MDM 2003, 2003, Melbourne, Australia. pp.13-28
Conference papers inria-00414796v1
Image document

Model-Driven Dependability Analysis of WebServices

Apostolos Zarras , Panos Vassiliadis , Valérie Issarny
OTM confederated international conferences CoopIS, DOA, and ODBASE 2004, 2004, Agia Napa, Cyprus. pp.1608-1625
Conference papers inria-00414800v1
Image document

Context-Aware Service Discovery in Heterogeneous Networks

Pierre-Guillaume Raverdy , Valérie Issarny
IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks : WOWMOM 2005, 2005, Taormina, Italy. pp.478-480
Conference papers inria-00414949v1
Image document

A Semantic End-to-End QoS Model for Dynamic Service Oriented Environments

Nebil Ben Mabrouk , Nikolaos Georgantas , Valérie Issarny
PESOS 2009 - ICSE Workshop on Principles of Engineering Service Oriented Systems, May 2009, Vancouver, Canada. ⟨10.1109/PESOS.2009.5068817⟩
Conference papers inria-00468220v1
Image document

Efficient soft QoS guarantee in mobile ad hoc networks

Gaogang Xie , Zhenyu Li , Valérie Issarny , Alberto Conte
20th International Conference on Parallel and Distributed Computing Systems : ISCA PDCS 2007, 2007, Las Vegas, Nevada, United States. pp.120-126
Conference papers inria-00415922v1
Image document

PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication

Antonia Bertolino , Wolfgang Emmerich , Paola Inverardi , Valérie Issarny , Fotis K. Liotopoulos , et al.
23rd IEEE/ACM International Conference on Automated Software Engineering : ASE 2008, 2008, L'aquila, Italy. pp.65-70
Conference papers inria-00415959v1
Image document

CONNECT: Emergent Connectors for Eternal Software Intensive Networked Systems

Valérie Issarny , Consortium Connect
FET'09 - The European Future Technologies Conference and Exhibition, European Commission, Apr 2009, Prague, Czech Republic
Conference papers inria-00379423v1
Image document

Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach

Antonia Bertolino , Felicita Di Giandomenico , Paolo Masci , Antonino Sabetta , Fabio Martinelli , et al.
SERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems, ERCIM, Apr 2010, London, United Kingdom
Conference papers inria-00465229v1

Policy-based Access Control in Mobile Social Ecosystems

Sara Hachem , Alessandra Toninelli , Animesh Pathak , Valérie Issarny
IEEE International Symposium on Policies for Distributed Systems and Networks, Jun 2011, Pisa, Italy
Conference papers inria-00608201v1
Image document

Sense2Health: A Quantified Self Application for Monitoring Personal Exposure to Environmental Pollution

Sara Hachem , Georgios Mathioudakis , Animesh Pathak , Valérie Issarny , Rajiv Bhatia
SENSORNETS 2015, Feb 2015, Angers, France
Conference papers hal-01102275v1
Image document

CHOReOS State of the Art, Baseline, and Beyond (D1.1)

Valérie Issarny , Antonia Bertolino , Guglielmo de Angelis , Amira Ben Amida , Jean-Pierre Lorré , et al.
Preprints, Working Papers, ... hal-00662510v1