Skip to contents

  1. Bernardo, Marco [Editor]; Issarny, Valérie [Other] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 11 2011 Bertinoro

    Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 ; advanced lectures

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6659

  4. Issarny, Valerie [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering

    Proceedings of the 40th International Conference on Software Engineering Software Engineering in Society

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York, NY: ACM, 2018

    Published in: ACM Digital Library- ACM Conferences

  6. Bernardo, Marco [Author] ; Issarny, Valérie [Other]

    Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6659

  7. Issarny, Valerie [Organizer]; Dustdar, Schahram [Organizer] ; ICSE 40. 2018 Göteborg, Institute of Electrical and Electronics Engineers, Institute of Electrical and Electronics Engineers, Association for Computing Machinery

    2018 ACM/IEEE 40th International Conference on Software Engineering: Software Engineering in Society : ICSE-SEIS 2018 : 30 May-1 June 2018, Gothenburg, Sweden : proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Piscataway, NJ]: IEEE, 2018

  8. Andriescu, Emil-Mircea [Author] ; Paris 6 [Contributor]; Issarny, Valérie [Contributor]

    Adaptation dynamique de données pour la synthèse et le déploiement de protocoles de médiation ; Dynamic Data Adaptation for the Synthesis and Deployment of Protocol Mediators

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-02-08

  11. Issarny, Valerie [Editor]; Palanisamy, Balaji [Editor]; Zhang, Liang-Jie [Editor]

    Internet of Things - ICIOT 2019 : 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings - [1st ed. 2019]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, 2019

    Published in: Information Systems and Applications, incl. Internet/Web, and HCI ; 11519- Springer eBooks ; Computer Science

  12. Belaggoun, Amel [Author] ; Paris 6 [Contributor]; Issarny, Valérie [Contributor]; Radermacher, Ansgar [Contributor]

    Adaptability and reconfiguration of automotive embedded systems ; Adaptabilité et reconfiguration des systémes embarqués automobiles

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2017-10-10

  13. Bouloukakis, Georgios [Author] ; Paris 6 [Contributor]; Georgantas, Nikolaos [Contributor]; Issarny, Valérie [Contributor]

    Systèmes mobiles émergents dans l’IoT : de l’interopérabilité au niveau middleware de communication à l’analyse de la qualité de service associée ; Enabling emergent mobile systems in the IoT : from middleware-layer communication interoperability to associated QoS analysis

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2017-08-01

  15. Herrmann, Peter [Other]; Issarny, Valérie [Other]; Shiu, Simon [Other]

    Trust Management (vol. # 3477) : Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3477

  16. Brunet, Yves [Author]; Delalande, Stéphane [Author]; Derian, Paul-Joël [Author] ; Bigot, Bernard [Contributor]; Brunet, Yves [Contributor]; Delalande, Stéphane [Contributor]; Derian, Paul-Joël [Contributor]; Issarny, Valérie [Contributor]; Lacombe, Robert [Contributor]; Ladaurade, Christophe [Contributor]; Michel, François [Contributor]; Moreno, Carlos [Contributor]; Moussafir, Jacques [Contributor]; Olivier, Danièle [Contributor]; Olivier, Muriel [Contributor]; Rey, Sandra [Contributor]; Rigny, Paul [Contributor]; Saunier, Bernard [Contributor]; Thévenet, Frédéric [Contributor]; Viguier, Jean-Paul [Contributor]

    La chimie et les grandes villes

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Les Ulis: EDP Sciences, [2021] ; [Online-Ausgabe]

    Published in: Chimie et

  17. Hutchison, David [Other]; Pandu Rangan, C. [Other]; Schantz, Richard [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Issarny, Valérie [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

    Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5346