ACTUALITÉS

  • 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
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

Tommi Tykkälä, Hannu Hartikainen, Andrew Comport, Joni-Kristian Kamarainen.
RGB-D Tracking and Reconstruction for Live TV Broadcast.
International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Feb 2013, Barcelona, Spain. Proceedings of the International conference on Computer Vision Theory and Applications (VISAPP-2013),, 2013, 〈http://www.visapp.visigrapp.org/CallForPapers.aspx?y=2013〉. 〈10.5220/0004279602470252〉
Pierre Drap, Odile Papini, Djamal Merad, Jérôme Pasquet, Jean-Philip Royer, Mohamad Motasem Nawaf, Mauro Saccone, Mohamed Ben Ellefi, Bertrand Chemisky, Julien Seinturier, Jean-Christophe Sourisseau, Timmy Gambin, Filipe Castro.
Deepwater Archaeological Survey: An Interdisciplinary and Complex Process.
J.K McCarthy; J. Benjamin; T. Winton; W. van Duivenvoorde. 3D Recording and Interpretation for Maritime Archaeology, 31, Springer, pp.135-153, 2019, 〈10.1007/978-3-030-03635-5_9〉
Hai Huang, Fabien Gandon.
Learning URI Selection Criteria to Improve the Crawling of Linked Open Data.
ESWC2019 - The 16th Extended Semantic Web Conference, Jun 2019, Portoroz, Slovenia
Fabien Gandon, Franck Michel, Olivier Corby, Michel Buffa, Andrea Tettamanzi, Catherine Faron Zucker, Elena Cabrio, Serena Villata.
Graph Data on the Web: extend the pivot, don't reinvent the wheel.
W3C Workshop on Web Standardization for Graph Data - Creating Bridges: RDF, Property Graph and SQL, Mar 2019, Berlin, France. 2019, 〈https://www.w3.org/Data/events/data-ws-2019/index.html〉
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
Toutes les productions scientifiques de l'I3S

FOCUS DU MOIS

Multifaceted Automated Analyses for Variability-Intensive Embedded Systems

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.