Daniela Genius, Ludovic Apvrille. Hierarchical Design of Cyber-Physical Systems. 11th International Conference on Model-Based Software and Systems Engineering - MODELSWARD, INSTICC, Feb 2023, Lisbon (virtual ), Portugal. pp.117-124, ⟨10.5220/0011654400003402⟩. ⟨hal-04001693⟩

Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert. Mutation of Formally Verified SysML Models. 11th internationl conference on Model-Based Software and Systems Engineering (Modelsward'2023), Feb 2023, Lisbonne, Portugal. ⟨hal-04002298⟩

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert. Execution trace analysis for a precise understanding of latency violations. Software and Systems Modeling, 2023, ⟨10.1007/s10270-022-01076-z⟩. ⟨hal-03930026⟩

Assioua Yasmine, Rabéa Ameur-Boulifa, Patricia Guitton-Ouhamou, Renaud Pacalet. Automatic Support for Requirements Validation. 11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France. ⟨hal-03689243⟩

Tullio Tanzi, Ludovic Apvrille. 3D Simulation for Disaster Management: toward a new approach. 3rd URSI Atlantic Radio Science Meeting, May 2022, Maspalomas, Spain. ⟨hal-03689438⟩

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional Equivalences Based on Open pNets. Journal of Logical and Algebraic Methods in Programming, In press. ⟨hal-03894031⟩

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon. Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. 10th International Conference on Model-Driven Engineering and Software Development, 2022, Vienna, Austria. ⟨10.5220/0010832300003119⟩. ⟨hal-03575972⟩

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino. SysML Models Verification Relying on Dependency Graphs. 10th International Conference on Model-Driven Engineering and Software Development, 2022, Vienna, Austria. ⟨10.5220/0010792900003119⟩. ⟨hal-03575960⟩

Maysam Zoor. Latency verification in execution traces of HW/SW partitioning model. Embedded Systems. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT037⟩. ⟨tel-03576841⟩

Amna Gharbi. Constraint programming for design space exploration of dataflow applications on multi-bus architectures. Hardware Architecture [cs.AR]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT018⟩. ⟨tel-03515492⟩