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

8 Publications trouvées pour cette recherche

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 

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

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 

Toward a Methodology for Unified Verification of Hardware/Software Co-designs

Journal of Cryptographic Engineering, Novembre 2016, pp. 1-12

Auteur(s) : F. Lugou, L. Apvrille et A. Francillon

pdf  archive  lien 

Sécurite des véhicules connectés et/ou autonomes

MISC Multi-System & Internet Cookbook, Septembre 2016, n° 87, pp. 56-65.

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

Towards "Drone-Borne" Disaster Management: Future Application Scenarios

isprs-annals, Juin 2016, vol. III, n° 8, pp. 181-189

Auteur(s) : T. J. Tanzi, M. Chandra, J. Isnard, D. Camara, O. Sebastien et F. Harivello

lien 

Ventilation contrôlée par des framboises (Une du magazine)

Hackable, Mars 2016, n° 11.

Auteur(s) : L. Apvrille et A. Apvrille

Model-Driven Engineering and Software Development

Springer International Publishing, Switzerland, 2016, chap. Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec, pp. 293-308

Auteur(s) : L. Apvrille et Y. Roudier, in

pdf  lien 

Colloques - 2015 et 2014

22 Publications trouvées pour cette recherche

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

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

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 

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

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

Formal Methods for Safe Design of Autonomous Systems dedicated to risk management

First IFIP conference on information technology in disaster risk reduction (ITDRR 2016), Sofia, Bulgaria, Novembre 2016.

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

Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration

DASIP'2016 ( Conference on Design & Architectures for Signal & Image Processing), Rennes, France, Octobre 2016

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

pdf 

Security Guidelines: Requirements Engineering for Verifying Code Quality

ESPRE 2016 -- 3rd Evolving Security & Privacy Requirements Engineering Workshop, Beijing, China, Septembre 2016.

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

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies

1st Int. Workshop on Collaborative Modelling in MDE, St-Malo, France, Septembre 2016

Auteur(s) : I. David, E. Syriani, C. Verbrugge, D. Buchs, D. Blouin, A. Cicchetti et K. Vanherpen

pdf 

Propagation Issues Relevant to the Design of a Drone-Borne GPR (Ground Penetrating Radars)

Kleinheubacher Tagung 2016 (KHB-2016). , Miltenberg, Germany, Septembre 2016.

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

Survey on memory and devices disaggregation solutions for HPC systems

19th IEEE International Conference on Computational Science and Engineering - CSE 2016, Paris, France, Août 2016

Auteur(s) : M. Bielski, Ch. Pinto, D. Raho et R. Pacalet

pdf 

Towards “drone-borne” disaster management.

XXIII ISPRS CONGRESS , Prague, Czech Republic, Juillet 2016.

Auteur(s) : T. J. Tanzi, M. Chandra, J. Isnard, D. Camara, O. Sebastien et F. Harivello

Model-Driven Engineering for Designing Safe and Secure Embedded Systems

IEEE workshop on Architecture Centric Virtual Integration, Venize, Italy, Avril 2016

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

pdf 

Post-Disaster Robotic System: Architectural and Energetic aspects

Journées Scientifiques de l'URSI France 2016, Rennes, Frnce, Mars 2016.

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

SysML Models and Model Transformation for Security

Conferénce on Model-Driven Engineering and Software Development (Modelsward'2016), Rome, Italy, Février 2016

Auteur(s) : F. Lugou, L. W. Li, L. Apvrille et R. Ameur-Boulifa

pdf 

Virtual Yet Precise Prototyping: An Automotive Case Study

8th European Congress on Embedded Real Time Software and Systems (ERTS2'2016), Toulouse, Janvier 2016

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

pdf 

Making Modeling Assumptions an Explicit Part of Real-Time Systems Models

8th European Congress on Embedded Real Time Software and Systems (ERTS2'2016), Toulouse, France, Janvier 2016

Auteur(s) : P. De Saqui-Sannes et L. Apvrille

pdf 

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