Skip to Main content Skip to Navigation

Search by documents



...
hal-03689243v1  Conference papers
Assioua YasmineRabéa Ameur-BoulifaPatricia Guitton-OuhamouRenaud Pacalet. Automatic Support for Requirements Validation
11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France
...
hal-03689438v1  Conference papers
Tullio TanziLudovic Apvrille. 3D Simulation for Disaster Management: toward a new approach
3rd URSI Atlantic Radio Science Meeting, May 2022, Maspalomas, Spain
...
emse-03559558v1  Conference papers
Bastien SultanLudovic ApvrillePhilippe Jaillon. Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec
10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2022), Feb 2022, Online, United States. 13p
...
hal-03575960v1  Conference papers
Ludovic ApvrillePierre de Saqui-SannesOana HotescuAlessandro 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-03575972v1  Conference papers
Bastien SultanLudovic ApvrillePhilippe 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⟩
...
tel-03576841v1  Theses
Maysam Zoor. Latency verification in execution traces of HW/SW partitioning model
Embedded Systems. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT037⟩
...
hal-03423073v1  Journal articles
Pierre de Saqui-SannesLudovic ApvrilleRob Vingerhoeds. Checking SysML Models Against Safety and Security Properties
Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2021, pp.1 - 13. ⟨10.2514/1.i010950⟩
hal-03483455v1  Journal articles
Renaud PacaletMatteo BertolinoLudovic ApvrilleAndrea Enrici. Multi-resource scheduling for FPGA systems
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2021, 87, pp.104373. ⟨10.1016/j.micpro.2021.104373⟩
...
hal-03349254v1  Conference papers
Maysam ZoorLudovic ApvrilleRenaud 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-03450395v2  Book sections
Philippe MartinTullio Tanzi. General Knowledge Representation and Sharing for Disaster Management
Y. Murayama; D. Velez; P. Zlateva. Information Technology in Disaster Risk Reduction, 622, Springer International Publishing, pp.116-131, 2021, IFIP Advances in Information and Communication Technology, 978-3-030-81469-4. ⟨10.1007/978-3-030-81469-4_10⟩
hal-03318675v1  Conference papers
Salim KissiYassamine SeladjiAmeur-Boulifa Rabea. Detection of Security Vulnerabilities Induced by Integer Errors
16th International Conference on Software Technologies, Jul 2021, Online Streaming, Portugal. pp.177-184, ⟨10.5220/0010551301770184⟩
hal-03322370v1  Conference papers
Sophie Coudert. Proving the Safety of a Sliding Window Protocol with Event-B
International Conference on Rigorous State-Based Methods, ABZ 2021, Jun 2021, Ulm, Germany
...
hal-03349263v1  Conference papers
Alessandro Tempia CalvinoLudovic 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-03349284v1  Conference papers
Daniela GeniusLudovic 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⟩
...
tel-03276708v1  Theses
Matteo Bertolino. Efficient scheduling of applications onto cloud FPGAs
Modeling and Simulation. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT001⟩
...
hal-02915937v1  Conference papers
Maysam ZoorLudovic ApvrilleRenaud Pacalet. SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting
17th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2020), Oct 2020, Montreal, Canada. ⟨10.1145/1122445.1122456⟩
...
hal-02933575v1  Conference papers
Fellipe Guilherme Rey de SouzaJuliana de Melo BezerraCelso Massaki HirataPierre de Saqui-SannesLudovic Apvrille. Combining STPA with SysML Modeling
The 14th annual Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada
...
hal-02457543v1  Conference papers
Bogdan UscumlicAndrea EnriciRenaud PacaletAmna GharbiLudovic Apvrille et al.  Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures
2020 IEEE International Conference on Communications (ICC): Communication Software, Services and Multimedia Applications Symposium, Jun 2020, Dublin, Ireland
...
hal-03203091v1  Conference papers
Fellipe Guilherme Rey de SouzaJuliana De Melo BezerraCelso HirataPierre De Saqui-SannesLudovic Apvrille. Combining STPA with SysML Modeling
The 14th annual IEEE International Systems Conference (SysCon 2020), Apr 2020, Montréal (virtual), Canada
hal-02933496v1  Journal articles
Petr MlynekRadek FujdiakPavel MrnustikBohuslav KrenaLudovic Apvrille. Co-Engineering Gap Analysis of ANSI/ISA‑62443‑3‑3
International journal of advances in telecommunications, electrotechnics, signals and systems, International science and engineering society, 2020, 9 (1), pp.1. ⟨10.11601/ijates.v9i1.285⟩
hal-02933602v1  Conference papers
Maysam ZoorLudovic ApvrilleRenaud Pacalet. Impact of Security Measures on Performance Aspects in SysML Models
8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, France. pp.373-380, ⟨10.5220/0008970203730380⟩
hal-02953962v1  Conference papers
Daniela GeniusIlias BourniasLudovic ApvrilleRoselyne Chotin. High-level Partitioning and Design Space Exploration for Cyber Physical Systems
Modelsward 2020 - 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.84-91, ⟨10.5220/0009171600840091⟩
hal-03161772v1  Conference papers
Daniela GeniusIlias BourniasLudovic ApvrilleRoselyne Chotin. Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices
MODELSWARD 2020: Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.74-96, ⟨10.1007/978-3-030-67445-8_4⟩
...
hal-02442221v1  Conference papers
Assioua YasmineAmeur-Boulifa RabeaGuitton-Ouhamou Patricia. Towards Formal Verification of Autonomous Driving Supervisor Functions
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
hal-02933667v1  Conference papers
Daniela GeniusLudovic Apvrille. Hardware / Software / Analog System Partitioning with SysML and SystemC-AMS
10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France