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⟩

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⟩

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⟩

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⟩

Pierre de Saqui-Sannes, Ludovic Apvrille, Rob Vingerhoeds. Checking SysML Models Against Safety and Security Properties. Journal of Aerospace Information Systems, 2021, pp.1 - 13. ⟨10.2514/1.i010950⟩. ⟨hal-03423073⟩

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet. Execution Trace Analysis for a Precise Understanding of Latency Violations. International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Fukuoka (virtual), Japan. ⟨hal-03349254⟩

Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur Boulifa. Detection of Security Vulnerabilities induced by Integer errors. ICSOFT 2021, Jul 2021, Online Streaming, France. ⟨hal-03860231⟩

Benjamin Dauphin. Liveness analysis techniques and run-time environment for memory management of dataflow applications. Embedded Systems. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT004⟩. ⟨tel-03682675⟩

Alessandro Tempia Calvino, Ludovic Apvrille. Direct Model-checking of SysML Models. 9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.216-223, ⟨10.5220/0010256302160223⟩. ⟨hal-03349263⟩

Daniela Genius, Ludovic Apvrille. Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping. 9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.224-231, ⟨10.5220/0010257202240231⟩. ⟨hal-03349284⟩

Matteo Bertolino. Efficient scheduling of applications onto cloud FPGAs. Modeling and Simulation. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT001⟩. ⟨tel-03276708⟩

Rabea Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional equivalences based on open pNets. 2021. ⟨hal-03103607⟩