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
  • mai
    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
  • juin
    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
  • juin
    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).

  • juil
    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
  • déc
    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
mai
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
juin
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
juin
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).

juil
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

LE LABORATOIRE I3S

 C’est sur le campus Sophia Tech, au cœur de la technopole sophipolitaine que notre laboratoire effectue des recherches dans le domaine des sciences de l’information et de la communication.
« Faire avancer la connaissance, tenir compte des réalités économiques et technologiques, tout en imaginant les solutions de demain ».

Le laboratoire I3S est un des plus importants laboratoires de recherche en sciences de l’information et de la communication de la Côte d’Azur et a été un des premiers à s’installer sur la technopole de Sophia Antipolis. Il rassemble un peu moins de 300 personnes. [+...]

En partenariat avec le CNRS et Inria, et par de très nombreuses collaborations industrielles, nous travaillons sur des thématiques de recherche innovantes, à la pointe de la science et de la technologie : systèmes et réseaux ubiquitaires, biologie et santé numériques, modélisation pour l’environnement, interactions et usages. [+...]

 

 

Le laboratoire est constitué de 4 équipes :
Equipe COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués)
Equipe MDSC (Modèles Discrets pour les Systèmes Complexes)
Équipe SIS (Signal, Image et Systèmes)
Équipe SPARKS (acronyme en anglais signifiant logiciels omniprésents à différentes échelles et systèmes centrés sur les connaissances)

 

DERNIERS DÉPÔTS I3S DANS HAL

 
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
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)
Pierre Maho, Carlos Dolcinotti, Thierry Livache, Cyril Herrier, Anton Andreev, Pierre Comon, Simon Barthelme.
Olfactive robot for gas discrimination over several months using a new optoelectronic nose.
2019
Sami Lazreg, Philippe Collet, Sébastien Mosser.
Functional feasibility analysis of variability-intensive data flow-oriented applications over highly-configurable platforms.
ACM SIGAPP Applied Computing Review (ACM Digital Library), Association for Computing Machinery (ACM), 2018, 18 (3), pp.32-48. 〈10.1145/3284971.3284975〉

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.