Publications

(2021). Model-Driven Architecture Based Security Analysis. Systems Engineering, Wiley.

Cite

(2020). HSDN-GRA: a Hybrid SDN-based Geographic Routing Protocol with Multi-agent Approach. International Journal of Communication Systems.

Cite

(2020). A Study on SysML and AltaRica Models Transformation. IEEE International Systems Conference.

Cite

(2020). Dynamic Fault Tree Generation for Safety Critical Systems within a Systems Engineering Approach. IEEE Systems Journal.

Cite

(2019). Transformation-based Approach to Security Verification for Cyber-Physical Systems. IEEE Systems Journal.

Cite

(2019). Improved Safety Analysis Integration in Systems Engineering Approach. Applied Sciences, Multidisciplinary Digital Publishing Institute (MDPI), Special Issue: Modeling, Algorithm, and Reliability Issues in Mechatronic Engineering.

Cite

(2019). Survey on IoV Routing Protocols: Security and Network Architecture. International Journal of Communication Systems.

Cite

(2018). Modélisation et validation des systèmes embarqués communicants. Embedded SEC.

Cite

(2018). Credit Based Incentive Approach for V2V Cooperation in Vehicular Cloud Computing. Lecture Notes in Computer Science, Internet of Vehicles. Technologies and Services Towards Smart City, International Conference Internet of Vehicles.

Cite

(2018). Attack Modeling and Verification for Connected System Security. IEEE System of Systems Engineering Conference.

Cite

(2018). AltaRica 3.0 Code Generation from SysML Models. European Safety and Reliability Conference.

Cite

(2018). Verification and Validation of the Consistency between Multi-Domain System Models. IEEE International Systems Conference.

Cite

(2018). Toward a Hybrid SDN Architecture for V2V Communication in IoV Environment. International Conference on Software Defined Systems.

Cite

(2018). SafeSysE: A Safety Analysis Integration In Systems Engineering Approach. IEEE Systems Journal.

Cite

(2018). New robust protocol for IoV communications, Challenges of the Internet of Things: Technology, Use, Ethics. ISTE / Wiley.

Cite

(2017). Communicating embedded systems modeling and validation. IEEE International Symposium on Systems Engineering.

Cite

(2017). Improved System Architecture and Behavior Based on FMEA Recommendations. European Safety and Reliability Conference.

Cite

(2017). Free Open Source Fault Tree Analysis Tools Survey. IEEE International Systems Conference.

Cite

(2017). Panorama sur les communications dans les réseaux véhiculaires. Colloque Territoires Intelligents : un modèe si smart ?.

Cite

(2017). Enhanced System Architecture and Behavior Using FMEA Recommandations. International Congress on Design and Modelling of Mechanical Systems.

Cite

(2017). Nouveau protocole robuste pour les communications dans l'IoV. Internet des objets, ISTE OpenScience.

Cite

(2016). Topology-Based Safety Analysis for Safety Critical Cyber-Physical Systems. Procedia Computer Science, Complex Adaptive Systems Conference.

Cite

(2016). Redundancy Handling with Model-Based Systems Engineering. European Safety and Reliability Conference.

Cite

(2016). Flight Control System Modeling with SysML to Support Validation, Qualification and Certification. IFAC Symposium on Control in Transportation Systems.

Cite

(2016). An Integrated Design Methodology for Safety Critical Systems. IEEE International Systems Conference.

Cite

(2015). SysML Extensions for Safety-Critical Mechatronic Systems Design. IEEE International Symposium on Systems Engineering.

Cite

(2014). SysML Safety Profile for Mechatronics. France-Japan / Europe-Asia Congress on Mecatronics.

Cite DOI

(2014). Automatic Fault Tree Generation from SysML System Models. IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

Cite

(2014). Extended Mechatronic Systems Architecture Modeling with SysML for Enhanced Safety Analysis. IEEE International Systems Conference.

Cite

(2013). Towards an Integrated Approach of Safety Analysis for Mechatronic Systems Design. INSIGHT, International Council on Systems Engineering.

Cite DOI

(2013). Systems Engineering and Safety Analysis Integrated Design Process. Workshop on Mechatronics Design.

Cite

(2013). Safety Analysis Integration in a SysML-Based Complex System Design Process. IEEE International Systems Conference.

Cite DOI

(2013). Towards the Integration of Safety Analysis in a Model-Based System Engineering Approach with SysML. Lecture Notes in Mechanical Engineering, International Conference Design and Modeling of Mechanical Systems.

Cite DOI

(2012). Safety Analysis using Model Checking for Mechatronic Systems: Integration in Model-Based Systems Engineering Design Process. Research and Innovation for transport systems of the future.

Cite

(2012). SysML and Safety Analysis for Mechatronic Systems. France-Japan / Europe-Asia Congress on Mechatronics/ International Workshop on Research and Education in Mechatronics.

Cite

(2012). SysML Parametric Models for Complex System Performance Analysis - A Case Study. International Conference on Simulation and Modeling Methodologies, Technologies and Applications.

Cite

(2011). Parametric Analysis of Mechatronic System Performance using SysML Models: a Case Study. International Workshop on Research and Education in Mechatronics.

Cite

(2005). Efficient and Effective Array Bound Checking. ACM Transactions on Programming Languages and Systems Journal.

Cite

(2003). Sequencing Fortran Program Array Verifications. ACM SIGPLAN Fortran Forum Journal.

Cite

(2003). Automatic Detection of Uninitialized Variables. Lecture Notes in Computer Science, 12th International Conference on Compiler Construction, Warsaw, Poland.

Cite

(2003). Alias Verification for Fortran Code Optimization (extended version). Journal of Universal Computer Science.

Cite

(2003). Advanced Program Analyses and Applications. Conférence Internationale Rencontres en Informatique Vietnam-France.

Cite

(2002). Alias Verification for Fortran Code Optimization. Electronic Notes in Theoretical Computer Science - Elsevier Science, International Workshop on Compiler Optimization Meets Compiler Verification, Grenoble, France.

Cite

(2001). Array Resizing for Code Debugging, Maintenance and Reuse. ACM SIGLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering.

Cite

(2001). Efficient Intraprocedural Array Bound Checking. International Workshop on Automated Program Analysis, Testing and Verification.

Cite