ACTUALITÉS

  • Mar
    20
    2019
    Victoire de Melpomeni Dimopoulou à MT180

    Melpomeni Dimopoulou, doctorante équipe SIS ,a remporté la finale azuréenne 2019 du concours MT180 (ma thèse en 180 secondes). Son sujet de thèse est "DNA coding for long-term digital data storage".

  • Mar
    22
    2019
    IEEE-RIVF 2019

    Nhan Le Thanh, équipe SPARKS, est co-Programm Chair de la conférence "IEEE-RIVF International Conference on Computing and Communication Technologies" 2019. La conférence a lieu à Danang City, Vietnam, du 20 au 22 mars 2019.

    Pour en savoir plus : consultez le site de la conférence
  • May
    14
    2019
    Workshop HyperAgents

    L'équipe SARKS, en particulier Fabien Gandon, Olivier Corby et Franck Michel, participe à l'organisation du workshop HyperAgents 2019 les 13 et 14 mai 2019 à San Francisco, en lien avec the Web Conference. Le workshop porte sur les systèmes multi-agents et le web.

    Pour en savoir plus : consultez le site du workshop HyperAgents 2019
  • Jun
    6
    2019
    ESWC 2019

    Serena Villata, équipe SPARKS, est co-chair de la session "Natural Language Processing and Information Retrieval" de la conférence Extended Semantic Web Conference (ESWC) 2019, du 2 au 6 juin 2019, à Portorož (Slovenie)

    Pour en savoir plus : consultez le site de ESWC 2019
  • Jun
    21
    2019
    Topology, Algebra, and Categories in Logic 2019

    L'équipe COMRED, notemment, Étienne Lozes participe à l'organisation de Topology, Algebra, and Categories in Logic 2019, organisation portée par le LJAD (UMR 7351).

  • Jul
    5
    2019
    Signal Processing Advances in Wireless Communications (SPAWC) 2019

    Luc Deneire, équipe SIS, est publicity chair du 20th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC) 2019, qui a lieu du 2 au 5 juillet 2019 à Cannes

  • Sep
    6
    2019
    SPARKS participe à l'organisation de Interact 2019

    La 17e IFIP TC.13 International Conference on Human-Computer Interaction – INTERACT 2019 a lieu à Paphos (Chypre), du 2 au 6 septembre 2019. Marco Winckler, équipe Sparks, en est "Technical Program Co-Chair".

    Pour en savoir plus : consultez les pages de la conférence Interact 2019
  • Sep
    13
    2019
    SLPC 2019

    L'équipe SPARKS, en particulier Philippe Collet (tutorials) et Sébastien Mosser (publicity), est impliquée dans l'organisation de la conférence SPLC 2019, 23th International Systems and Software Product Line Conference, du 9 au 13 septembre 2109 à Paris.

    Pour en savoir plus : consultez le site de SPLC 2019
  • Oct
    30
    2019
    ISCW 2019

    Fabien Gadon, équipe SPARKS, est genral chair de la conférence ISWC, The 18th International Semantic Web Conference, October 26 – 30, 2019, The University of Auckland, New Zealand.

    Pour en savoir plus : consultez le site de ISWC 2019
  • Dec
    31
    2019
    80 ans du CNRS

    En 2019, le CNRS fête ses 80 ans (et le laboratoire I3S ses 30 ans). La délégation régionale du CNRS Côte d'Azur (DR20) dont fait partie le laboratoire propose des manifestations pendant toute l'année 2019.
    80ans-Cnrs-CA.jpg

ACTUALITÉS (tout voir)

Jan
1
2019
80 ans du CNRS

En 2019, le CNRS fête ses 80 ans (et le laboratoire I3S ses 30 ans). La délégation régionale du CNRS Côte d'Azur (DR20) dont fait partie le laboratoire propose des manifestations pendant toute l'année 2019.
80ans-Cnrs-CA.jpg

Mar
5
2019
Victoire de Melpomeni Dimopoulou à MT180

Melpomeni Dimopoulou, doctorante équipe SIS ,a remporté la finale azuréenne 2019 du concours MT180 (ma thèse en 180 secondes). Son sujet de thèse est "DNA coding for long-term digital data storage".

Mar
20
2019
IEEE-RIVF 2019

Nhan Le Thanh, équipe SPARKS, est co-Programm Chair de la conférence "IEEE-RIVF International Conference on Computing and Communication Technologies" 2019. La conférence a lieu à Danang City, Vietnam, du 20 au 22 mars 2019.

Pour en savoir plus : consultez le site de la conférence
May
13
2019
Workshop HyperAgents

L'équipe SARKS, en particulier Fabien Gandon, Olivier Corby et Franck Michel, participe à l'organisation du workshop HyperAgents 2019 les 13 et 14 mai 2019 à San Francisco, en lien avec the Web Conference. Le workshop porte sur les systèmes multi-agents et le web.

Pour en savoir plus : consultez le site du workshop HyperAgents 2019
Jun
2
2019
ESWC 2019

Serena Villata, équipe SPARKS, est co-chair de la session "Natural Language Processing and Information Retrieval" de la conférence Extended Semantic Web Conference (ESWC) 2019, du 2 au 6 juin 2019, à Portorož (Slovenie)

Pour en savoir plus : consultez le site de ESWC 2019
Jun
17
2019
Topology, Algebra, and Categories in Logic 2019

L'équipe COMRED, notemment, Étienne Lozes participe à l'organisation de Topology, Algebra, and Categories in Logic 2019, organisation portée par le LJAD (UMR 7351).

Jul
2
2019
Signal Processing Advances in Wireless Communications (SPAWC) 2019

Luc Deneire, équipe SIS, est publicity chair du 20th IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC) 2019, qui a lieu du 2 au 5 juillet 2019 à Cannes

Sep
2
2019
SPARKS participe à l'organisation de Interact 2019

La 17e IFIP TC.13 International Conference on Human-Computer Interaction – INTERACT 2019 a lieu à Paphos (Chypre), du 2 au 6 septembre 2019. Marco Winckler, équipe Sparks, en est "Technical Program Co-Chair".

Pour en savoir plus : consultez les pages de la conférence Interact 2019
Sep
9
2019
SLPC 2019

L'équipe SPARKS, en particulier Philippe Collet (tutorials) et Sébastien Mosser (publicity), est impliquée dans l'organisation de la conférence SPLC 2019, 23th International Systems and Software Product Line Conference, du 9 au 13 septembre 2109 à Paris.

Pour en savoir plus : consultez le site de SPLC 2019
Oct
26
2019
ISCW 2019

Fabien Gadon, équipe SPARKS, est genral chair de la conférence ISWC, The 18th International Semantic Web Conference, October 26 – 30, 2019, The University of Auckland, New Zealand.

Pour en savoir plus : consultez le site de ISWC 2019

The I3S LABORATORY

It's on the SophiaTech campus in the heart of the Sophia Antipolis technology park our laboratory conducts research in the field of information science and communication.
"Advancing knowledge, consider the economic and technological realities, while imagining tomorrow's solutions."

The I3S laboratory is one of the largest information and communication science laboratories in the French Riviera. it was one of first ones to settle down on Sophia Antipolis Science and Technology Park. It consists of a little less than 300 people. [+...]

In partnership with CNRS and INRIA, and numerous industrial collaborations, we work on the themes of innovative research at the cutting edge of science and technology: systems and networks ubiquitous, biology and digital health, modeling for environment interactions and practices. [+...]

 

The laboratory is organized in 4 teams:

COMRED team (French acronym for Communications, Networks, Embedded Systems, Distributed Systems)
MDSC team (French acronym for Discrete Models for Complex System)
SIS team (Signal, Image and Systems)
SPARKS team (Scalable and Pervasive softwARe and Knowledge Systems)

The 5 latest submissions recorded in HAL

Adrien Gausseran, Andrea Tomassilli, Frédéric Giroire, Joanna Moulierac.
N'interrompez pas mes Chaines de Service Lorsque Je les Reconfigure.
[Research Report] RR-9241, UCA, Inria; Université de Nice Sophia-Antipolis (UNS); CNRS; UCA,I3S. 2018
 
Andrei Ciortea, Simon Mayer, Fabien Gandon, Olivier Boissier, Alessandro Ricci, Antoine Zimmermann.
A Decade in Hindsight: The Missing Bridge Between Multi-Agent Systems and the World Wide Web.
18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montréal, Canada. 5p, 2019
Assia Kamal Idrissi, Arnaud Malapert, Rémi Jolin.
Résolution du problème de rayon d'action d'un vol.
Société française de recherche opérationnelle et d'aide à la décision, Feb 2018, Lorient, France
Lam-Hung Nguyen, Minh-Duc Hua, Tarek Hamel.
A homography-based dynamic control approach of Autonomous Underwater Vehicles observing a (near) vertical target without linear velocity measurements.
2019
Raphaël Gazzotti, Catherine Faron Zucker, Fabien Gandon, Virginie Lacroix-Hugues, David Darmon.
Injecting Domain Knowledge in Electronic Medical Records to Improve Hospitalization Prediction.
The 16th European Semantic Web Conference (ESWC 2019), Jun 2019, Portorož, Slovenia. Springer’s Lecture Notes in Computer Science (LNCS)

FOCUS DU MOIS

Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sébastien Mosser. Multifaceted Automated Analyses for Variability-Intensive Embedded Systems. The International Conference on Software Engineering (ICSE) (ACM/IEEE). Montréal, QC, Canada: 25 May - 31 May 2019!.

embedded systems, formal model-driven framework, variability and configurable hardware platforms, functional and non-functional behaviour, verification

Embedded systems, as the ones found in the automotive domain, must comply with stringent functional and non-functional requirements. To fulfil these requirements, engineers are confronted with a plethora of design alternatives both at the software and hardware level, out of which they must select the optimal solution wrt. possibly-antagonistic quality attributes (e.g. cost of manufacturing vs. speed of execution). We propose a formal model-driven framework to assist engineers in this choice. It captures high-level specifications of the system alternatives in the form of dataflows with variability and configurable hardware platforms. A mapping algorithm then derives the design space, i.e. the set of compatible pairs of application and platform variants, and a variability-aware executable model, which encodes the functional and non-functional behaviour of all viable system variants. Novel verification algorithms then pinpoint the optimal system variants efficiently. The benefits of our approach are evaluated through an industrial case study.