Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes. Incremental and Formal Verification of SysML Models. SN Computer Science, 2024, 5 (6), pp.714. ⟨10.1007/s42979-024-03027-5⟩. ⟨hal-04652175⟩

Ludovic Apvrille. Communication cachée via le champ magnétique émis par un ordinateur. 2024. ⟨hal-04606533⟩

Daniela Genius, Ludovic Apvrille. Cycle-Accurate Virtual Prototyping with Multiplicity. MODELSWARD 2024 : 12th International Conference on Model-Based Software and Systems Engineering, INSTICC, Feb 2024, Rome, Italy. pp.187-194, ⟨10.5220/0012386100003645⟩. ⟨hal-04483274⟩

Ludovic Apvrille, Bastien Sultan. System Architects Are not Alone Anymore: Automatic System Modeling with AI. MODELSWARD 2024 : 12th International Conference on Model-Based Software and Systems Engineering, INSTICC, Feb 2024, Rome, Italy. pp.27-38, ⟨10.5220/0012320100003645⟩. ⟨hal-04483279⟩

Daniela Genius, Ludovic Apvrille. A Tool for Investigating Cyber-Physical Systems via SystemC AMS Virtual Prototypes Derived from SysML Models. DVCon Europe, Accellera, Nov 2023, Munich (Germany), Germany. pp.1-6. ⟨hal-04499955⟩

Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine. Refinements for Open Automata. SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.11-29, ⟨10.1007/978-3-031-47115-5_2⟩. ⟨hal-04271300⟩

Dominik Eisl, Fabian Herzog, Jean-Luc Dugelay, Ludovic Apvrille, Gerhard Rigoll. Introducing A Framework for Single-Human Tracking Using Event-Based Cameras. 2023 IEEE International Conference on Image Processing (ICIP), Oct 2023, Kuala Lumpur, Malaysia. pp.3269-3273, ⟨10.1109/ICIP49359.2023.10222777⟩. ⟨hal-04255949⟩

Ludovic Henrio, Eric Madelaine, Rabéa Ameur-Boulifa, Quentin Corradi. Refinements for Open Automata (Extended Version). RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023. ⟨hal-04193421⟩

Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert. W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. Model-Driven Engineering and Software Development, 1708, Springer Nature Switzerland, pp.203-229, 2023, Communications in Computer and Information Science, 978-3-031-38821-7. ⟨10.1007/978-3-031-38821-7_10⟩. ⟨hal-04177250⟩

Jawher Jerray, Rabea Ameur-Boulifa, Ludovic Apvrille. Integration of Heterogeneous Components for Co-Simulation. 18th International Conference on Software Technologies (ICSOFT 2023), Jul 2023, Rome, Italy. pp.637-644, ⟨10.5220/0012134800003538⟩. ⟨hal-04176025⟩

Philippe A Martin, Tullio Tanzi. General Knowledge Representation and Sharing, with Illustrations in Risk/Emergency Management. Sustainability, 2023, Special Issue "Disaster Risk Reduction: In Support of the Sendai Framework and Improved Societal Well-being", 15 (14), ⟨10.3390/su151410803⟩. ⟨hal-04220699⟩

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⟩

Rabéa Ameur Boulifa. Contributions to the Design of Safe Complex Systems. Computer Science [cs]. UCA, 2023. ⟨tel-04337474v2⟩

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⟩