selected publications

• academic article

  • Drone "humanitaire" : état de l'art et réflexions.  Revue Française de Photogrammétrie et de Télédétection.  63-71. 2017
  • TOWARDS A NEW ARCHITECTURE FOR AUTONOMOUS DATA COLLECTION.  The international archives of the photogrammetry, remote sensing and spatial information sciences/International archives of the photogrammetry, remote sensing and spatial information sciences.  XL-3/W3:363-369. 2015
  • SherlockDroid: a research assistant to spot unknown malware in Android marketplaces.  Journal of Computer Virology and Hacking Techniques.  11:235-245. 2015
  • Model the System from Adversary Viewpoint: Threats Identification and Modeling.  arXiv (Cornell University).  165:45-58. 2014
  • Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems.  arXiv (Cornell University).  148:15-30. 2014
  • Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons.  Techniques et sciences informatiques.  30:309-337. 2011
  • TEPE.  ACM SIGSOFT Software Engineering Notes.  36:1-8. 2011

• chapter

  • SysML-Sec Attack Graphs: Compact Representations for Complex Attacks.  Lecture notes in computer science. 35-49. 2016
  • Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec.  Communications in computer and information science. 293-308. 2015
  • A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes.  Lecture notes in computer science. 370-385. 2014
  • Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models.  Lecture notes in computer science. 91-106. 2013
  • Fast Simulation Techniques for Design Space Exploration.  Lecture notes in business information processing. 308-327. 2009

• conference paper

  • Software Stack for Code Generation of Software-Defined Radio.  HAL (Le Centre pour la Communication Scientifique Directe). 2017
  • Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration.  HAL (Le Centre pour la Communication Scientifique Directe). 2016
  • Model-Driven Engineering for Designing Safe and Secure Embedded Systems.  . 4-7. 2016
  • Making Modeling Assumptions an Explicit Part of Real-Time Systems Models.  HAL (Le Centre pour la Communication Scientifique Directe). 2016
  • Virtual Yet Precise Prototyping: An Automotive Case Study.  HAL (Le Centre pour la Communication Scientifique Directe). 2016
  • Identifying Unknown Android Malware with Feature Extractions and Classification Techniques.  2015 IEEE Trustcom/BigDataSE/ISPA. 182-189. 2015
  • Autonomous drones for disasters management: Safety and security verifications.  . 2015
  • UAVs for humanitarian missions: Autonomy and reliability.  . 271-278. 2014
  • Autonomous drones for assisting rescue services within the context of natural disasters.  . 1-4. 2014
  • Safety properties modelling.  . 198-202. 2014
  • Communication Patterns: a Novel Modeling Approach for Software Defined Radio Systems.  HAL (Le Centre pour la Communication Scientifique Directe). 2014
  • Fast Evaluation of Power Consumption of Embedded Systems Using DIPLODOCUS.  . 138-144. 2013
  • Towards the model-driven engineering of security requirements for embedded systems.  . 55-64. 2013
  • AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties.  . 1-10. 2011
  • An Interactive System Level Simulation Environment for Systems- on-Chip.  HAL (Le Centre pour la Communication Scientifique Directe). 2010
  • Security requirements for automotive on-board networks.  . 641-646. 2009