LabSoc - Publications

Cliquez sur la flêche pour afficher les options de recherche puis cliquez sur un + pour ouvrir les résultats

Optionnel
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie

Cliquez sur le + pour ouvrir et visualiser les résultats de recherche

Articles de revues et ouvrages - 2015 et 2014

13 Publications trouvées pour cette recherche

Radio science for humanity

Comptes Rendus Physique, Mars 2018, vol. 19, n° 1-2, pp. 1-6.

Auteur(s) : T. J. Tanzi et M. Chandra

Drone-borne GPR design: Propagation issues

Comptes Rendus Physique, Mars 2018, vol. 19, n° 1-2, pp. 72-84.

Auteur(s) : M. Chandra et T. J. Tanzi

Framework for the Formal Specification and Verification of Security Guidelines

Advances in Science, Technology and Engineering Systems Journal, Janvier 2018, vol. 3, n° 3, pp. 38-48

Auteur(s) : Z. Zhioua, R. Ameur-Boulifa et Y. Roudier

lien 

Modélisation formelle pour l’ingénierie système

Revue REE (Selection Journées scientifiques URSI 2017), Décembre 2017.

Auteur(s) : S. Coudert et D. Legros

A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems

ACM Transactions on Design Automation of Electronic Systems, Mars 2017, vol. 22, n° 2, pp. 34:1-34:25

Auteur(s) : A. Enrici, L. Apvrille et R. Pacalet

pdf  lien 

François Lefeuvre: A long Way among Waves

Radio Science Bulletin RSB, Mars 2017, n° 360, pp. 69-74.

Auteur(s) : T. J. Tanzi et J. Hamelin

URSI France 2017 Workshop Radio Science for Humanity

Radio Science Bulletin RSB , Mars 2017, n° 360, pp. 62-68.

Auteur(s) : T. J. Tanzi

Les radiosciences au service de l’humanité

Revue REE (Grand dossier), Février 2017, vol. 2017, n° 5, pp. 67-68.

Auteur(s) : T. J. Tanzi et J. Isnard

Behavioural Semantics for Asynchronous Components

Journal of Logical and Algebraic Methods in Programming, Janvier 2017.

Auteur(s) : R. Ameur-Boulifa, L. Henrio, o. Kulnkhina, E. Madelaine et A. Savu

Foreword to Radio Science for Humanity: URSI-France 2017 Workshop

Radio Science Bulletin RSB, Janvier 2017, n° 360, pp. 60-61.

Auteur(s) : T. J. Tanzi et J. Hamelin

Drone "humanitaire" : état de l'art et réflexions

Revue Française de Photogrammétrie et de Télédétection, Janvier 2017, n° 213-214, pp. 63-71.

Auteur(s) : L. Apvrille, T. J. Tanzi, Y. Roudier et J.-L. Dugelay

Wireless Public Safety Networks 3

elsevier, 2017, chap. Safe and Secure Support for Public Safety Networks, pp. 185 - 210

Auteur(s) : L. Apvrille et L. W. Li, in

pdf  lien 

. Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management In book: Information Technology in Disaster Risk Reduction

in Information Technology in Disaster Risk Reduction, IFIP, 2017, pp. 61-76.

Auteur(s) : S. Coudert et T. J. Tanzi

Colloques - 2015 et 2014

24 Publications trouvées pour cette recherche

Modeling Heterogeneous Embedded Systems with TTool

5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe'2018), Dresden, Germany, Mars 2018.

Auteur(s) : D. Genius, M.-M. Louërat, F. Pêcheux, L. Apvrille et H. Stratigopoulos

Autonomous system for data collection: from signal to information

Jourenées scientifiqsues URSI France JS'18, Meudon, France, Mars 2018.

Auteur(s) : T. J. Tanzi et J. Isnard

A Model Compilation Approach for Optimized Implementations of Signal-Processing Systems

MODELSWARD 2018, Funchal Madeira, Portugal, Janvier 2018

Auteur(s) : A. Enrici, J. Lallet, I. Latif, L. Apvrille, R. Pacalet et A. Canuel

pdf 

Evolving Attacker Perspectives for Secure Embedded System Design

6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Funchal, Portugal, Janvier 2018

Auteur(s) : L. W. Li, F. Lugou et L. Apvrille

pdf 

Multi-level Latency Evaluation with an MDE Approach

6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Funchal, Portugal, Janvier 2018

Auteur(s) : D. Genius, L. W. Li, L. Apvrille et T. J. Tanzi

pdf 

Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

International conference on Embedded & Distributed Systems (EDiS 2017), Oran, Algerie, Décembre 2017

Auteur(s) : S. Chabane, R. Ameur-Boulifa et M. Mezghiche

archive 

A Requirements Engineering Approach for Usability-Driven DSL Development

International Conference on Software Language Engineering, Vancouver, Canada, Octobre 2017

Auteur(s) : A. Barisic, D. Blouin, V. Amaral et M. Goulao

archive 

Formal methode for safe and Verification of RailWay Signaling Sustems

Conference on Information Technology in Disaster risk reduction (ITDRR 2017), Sofia, Bulgaria, Octobre 2017.

Auteur(s) : L. Belabed, T. J. Tanzi et S. Coudert

Formal Specification of Security Guidelines for Program Certification

The 11th Theoretical Aspects of Software Engineering Conference (TASE 2017), Nice, France, Septembre 2017.

Auteur(s) : Z. Zhioua, Y. Roudier et R. Ameur-Boulifa

Rethinking of I/O-Automata Composition

Forum on specification & Design Languages (FDL 2017), Verona, Italy, Septembre 2017

Auteur(s) : S. Chabane, R. Ameur-Boulifa et M. Mezghiche

archive 

A Semi-Automated Approach for the Co-refinement of Requirements and Architecture Models

MoDRE, Lisboa, Portugal, Septembre 2017.

Auteur(s) : M. Barkowski, M. Schneider, H. Giese, J. Dyck, D. Tamzalit, D. Blouin, E. Borde et J. Noppen

Security Modeling for Embedded System Design

Fourth International Workshop on Graphical Models for Security, Santa Barbara, CA, USA, Août 2017.

Auteur(s) : L. W. Li, F. Lugou et L. Apvrille

Propagation modelling towards the design of drone-borne GPR for humanitarian applications

in XXXII General Assembly of the International Union of Radio Science, Montréal, Canada, Août 2017.

Auteur(s) : T. J. Tanzi et M. Chandra

System-Level Design for Communication-Centric Task Farm Applications

12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2017), Madrid, Spain, Juillet 2017

Auteur(s) : D. Genius et L. Apvrille

pdf 

Formal Methods for Safe Design and Verification of Transportation Systems

1st Summer School Human Factors Aspects of Cooperative Systems Design, Sophia Antipolis, France, Juillet 2017.

Auteur(s) : L. Belabed, T. J. Tanzi, S. Coudert et D. Legros

Design and Verification of Secure Autonomous Vehicles

12th European ITS Congress, Strasbourg, France, Juin 2017

Auteur(s) : L. Apvrille, L. W. Li et A. Bracquemond

pdf 

Multi-View Design for Cyber-Physical Systems

13th International Conference on ICT in Education, Research, and Industrial Applications, Kiev, Ukraine, Mai 2017

Auteur(s) : H. Zhao, L. Apvrille et F. Mallet

pdf 

Software Stack for Code Generation of Software-Defined Radio

Journées Scientifiques de l'URSI, Sophia-Antipolis, France, Mars 2017

Auteur(s) : A. Canuel, R. Pacalet et L. Apvrille

pdf 

Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

5th International Conference on Model-Driven Engineering and Software Development (Modelsward), Porto, Portugal, Février 2017

Auteur(s) : D. Genius, L. W. Li et L. Apvrille

pdf 

Security-Aware Modeling and Analysis for HW/SW Partitioning

5th International Conference on Model-Driven Engineering and Software Development (Modelsward), Porto, Portugal, Février 2017

Auteur(s) : L. W. Li, F. Lugou et L. Apvrille

pdf 

Tracking Dependent Information Flows

3rd International Conference on Information Systems Security and Privacy (ICISSP 2017), Porto, Portugal, Février 2017.

Auteur(s) : Z. Zhioua, Y. Roudier, R. Ameur-Boulifa, T. Kechiche et S. Short

Drone-Borne GPR Design: Propagation Issues

Journées scientifiques de l'URSI-France (JS'17), Sophia Antipolis, France, Février 2017.

Auteur(s) : M. Chandra et T. J. Tanzi

A State of the Art of Drone (In)Security

Journées scientifiques de l'URSI-France (JS'17), Sophia Antipolis, France, Février 2017.

Auteur(s) : Y. Roudier et T. J. Tanzi

Formal Specification and Verification of Security Guidelines

The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Christchurch, New Zealand, Janvier 2017.

Auteur(s) : Z. Zhioua, Y. Roudier et R. Ameur-Boulifa

Thèses et HDR - 2015 et 2014

Pas de résultats

Brevets - 2015 et 2014

Pas de résultats

Autres - 2015 et 2014

Pas de résultats
Image Retour haut de page