LabSoc - Publications

Click on the arrow to open the search options

Optionnal
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie
informations sur la saisie

Click on the + icon to open each results.

Journal papers and books/book chapters - 2015 and 2014

14 Publications found for this search

Radio science for humanity

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

Author(s) : T. J. Tanzi and M. Chandra

Drone-borne GPR design: Propagation issues

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

Author(s) : M. Chandra and T. J. Tanzi

Framework for the Formal Specification and Verification of Security Guidelines

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

Author(s) : Z. Zhioua, R. Ameur-Boulifa and Y. Roudier

link 

Formal and Virtual Multi-level Design Space Exploration

in Model-Driven Engineering and Software Development, Luis Pires, Slimane Hammoudi, Bran Selic,, Springer International Publishing, 2018, pp. 47-72

Author(s) : L. W. Li, D. Genius and L. Apvrille

pdf  link 

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

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

Author(s) : S. Coudert and D. Legros

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

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

Author(s) : A. Enrici, L. Apvrille and R. Pacalet

pdf  link 

François Lefeuvre: A long Way among Waves

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

Author(s) : T. J. Tanzi and J. Hamelin

URSI France 2017 Workshop Radio Science for Humanity

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

Author(s) : T. J. Tanzi

Les radiosciences au service de l’humanité

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

Author(s) : T. J. Tanzi and J. Isnard

Behavioural Semantics for Asynchronous Components

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

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

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

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

Author(s) : T. J. Tanzi and J. Hamelin

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

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

Author(s) : L. Apvrille, T. J. Tanzi, Y. Roudier and J.-L. Dugelay

Wireless Public Safety Networks 3

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

Author(s) : L. Apvrille and L. W. Li, in

pdf  link 

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

Author(s) : S. Coudert and T. J. Tanzi

Conferences and workshops - 2015 and 2014

28 Publications found for this search

SysML model transformation for safety and security analysis

ISSA 2018 : International workshop on Interplay of Security, Safety and System/Software, Bercelona, Spain, September 2018

Author(s) : R. Ameur-Boulifa, F. Lugou and L. Apvrille

pdf 

System-Level Design and Virtual Prototyping of a Telecommunication Application on a NUMA Platform

13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Lille, France, July 2018.

Author(s) : D. Genius and L. Apvrille

Early Checking of SysML Models Applied to Protocols

12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Toulouse, France, June 2018

Author(s) : P. De Saqui-Sannes, R. VINGERHOEDS and L. Apvrille

pdf 

On the Design of a side-looking Drone-borne GPR and its Physical Basis

URSI. AT-RASC 2018. Second URSI Atlantic Radio Science Meeting - 2018. , Gran Canarian, Spain, May 2018.

Author(s) : M. Chandra and T. J. Tanzi

Modeling Heterogeneous Embedded Systems with TTool

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

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

Autonomous system for data collection: from signal to information

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

Author(s) : T. J. Tanzi and J. Isnard

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

MODELSWARD 2018, Funchal Madeira, Portugal, January 2018

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

pdf 

Evolving Attacker Perspectives for Secure Embedded System Design

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

Author(s) : L. W. Li, F. Lugou and L. Apvrille

pdf 

Multi-level Latency Evaluation with an MDE Approach

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

Author(s) : D. Genius, L. W. Li, L. Apvrille and 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, December 2017

Author(s) : S. Chabane, R. Ameur-Boulifa and M. Mezghiche

archive 

A Requirements Engineering Approach for Usability-Driven DSL Development

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

Author(s) : A. Barisic, D. Blouin, V. Amaral and 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, October 2017.

Author(s) : L. Belabed, T. J. Tanzi and S. Coudert

Formal Specification of Security Guidelines for Program Certification

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

Author(s) : Z. Zhioua, Y. Roudier and R. Ameur-Boulifa

Rethinking of I/O-Automata Composition

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

Author(s) : S. Chabane, R. Ameur-Boulifa and M. Mezghiche

archive 

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

MoDRE, Lisboa, Portugal, September 2017.

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

Security Modeling for Embedded System Design

Fourth International Workshop on Graphical Models for Security, Santa Barbara, CA, USA, August 2017.

Author(s) : L. W. Li, F. Lugou and 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, August 2017.

Author(s) : T. J. Tanzi and 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, July 2017

Author(s) : D. Genius and 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, July 2017.

Author(s) : L. Belabed, T. J. Tanzi, S. Coudert and D. Legros

Design and Verification of Secure Autonomous Vehicles

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

Author(s) : L. Apvrille, L. W. Li and A. Bracquemond

pdf 

Multi-View Design for Cyber-Physical Systems

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

Author(s) : H. Zhao, L. Apvrille and F. Mallet

pdf 

Software Stack for Code Generation of Software-Defined Radio

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

Author(s) : A. Canuel, R. Pacalet and 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, February 2017

Author(s) : D. Genius, L. W. Li and 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, February 2017

Author(s) : L. W. Li, F. Lugou and L. Apvrille

pdf 

Tracking Dependent Information Flows

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

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

Drone-Borne GPR Design: Propagation Issues

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

Author(s) : M. Chandra and T. J. Tanzi

A State of the Art of Drone (In)Security

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

Author(s) : Y. Roudier and 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, January 2017.

Author(s) : Z. Zhioua, Y. Roudier and R. Ameur-Boulifa

PhD Thesis and habilitations (HDR) - 2015 and 2014

No publications found

Patents - 2015 and 2014

No publications found

Others - 2015 and 2014

No publications found
Image return top of page