Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Equipe System on Chip collection
Homepage
Browse by search
Overview
Homepage HAL Télécom Paris
Homepage
Latest publications
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⟩
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 (MODELSWARD 2022), Feb 2022, Online, United States. 13p. ⟨emse-03559558⟩
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, American Institute of Aeronautics and Astronautics, 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⟩
Philippe Martin, Tullio 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-03450395v2⟩
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⟩
Maysam Zoor, Ludovic Apvrille, Renaud 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-02915937⟩
Amna Gharbi, Andrea Enrici, Bogdan Uscumlic, Ludovic Apvrille, Renaud Pacalet. Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms. Euromicro DSD 2020, Aug 2020, Portorož, Slovenia. ⟨hal-02894654v2⟩
Fellipe Guilherme Rey de Souza, Juliana de Melo Bezerra, Celso Massaki Hirata, Pierre de Saqui-Sannes, Ludovic Apvrille. Combining STPA with SysML Modeling. The 14th annual Systems conference SYSCON (SYSCON 2020), Aug 2020, Montréal, Canada. ⟨hal-02933575⟩
Bogdan Uscumlic, Andrea Enrici, Renaud Pacalet, Amna Gharbi, Ludovic 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-02457543⟩
Fellipe Guilherme Rey de Souza, Juliana De Melo Bezerra, Celso Hirata, Pierre De Saqui-Sannes, Ludovic Apvrille. Combining STPA with SysML Modeling. The 14th annual IEEE International Systems Conference (SysCon 2020), Apr 2020, Montréal (virtual), Canada. ⟨hal-03203091⟩
Daniela Genius, Ludovic Apvrille. Hardware / Software / Analog System Partitioning with SysML and SystemC-AMS. 10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France. ⟨hal-02933667⟩
Assioua Yasmine, Ameur-Boulifa Rabea, Guitton-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-02442221⟩
Daniela Genius, Ludovic Apvrille. Hardware / Software / Analog System Partitioning with SysML and SystemC-AMS. 10th European Congress on Embedded Real Time Systems (ERTS2020), Jan 2020, Toulouse, France. ⟨hal-02981751⟩
Hui Zhao, Ludovic Apvrille, Frédéric Mallet. A Model-Based Combination Language for Scheduling Verification. Model-Driven Engineering and Software Development, Springer International Publishing, 2020. ⟨hal-02430903⟩
Hui Zhao, Frédéric Mallet, Ludovic Apvrille. A Language-based Multi-view Approach for Combining Functional and Security Models. APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia. ⟨hal-02337469⟩
Sarah Chabane, Rabéa Ameur-Boulifa, Mezghiche Mohamed. Vers une conception de systèmes réactifs synchrones sûrs. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02431949⟩
Tullio Tanzi, Matteo Bertolino. 3D Simulation to Validate Autonomous Intervention Systems Architecture for Disaster Management. 4th International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2019, Kyiv, Ukraine. pp.196-211, ⟨10.1007/978-3-030-48939-7_17⟩. ⟨hal-03374239⟩
Assioua Yasmine, Ameur-Boulifa Rabea, Guitton-Ouhamou Patricia. Requirements to Models of Automotive Software: Application to the Automatic Park Assist function. 5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy. ⟨hal-02308453⟩
Benjamin Dauphin, Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications. Euromicro Conference on Digital System Design, Aug 2019, Kalithea, Greece. ⟨hal-02275905⟩
Sahar Berro, Ludovic Apvrille, Guillaume Duc. Optimizing System Architecture Cost and Security Countermeasures. Sixth International Workshop on Graphical Models for Security (GamSec 2019), Jun 2019, Hoboken, NJ, United States. ⟨hal-02337448⟩