Skip to Main content Skip to Navigation

Search by documents



...
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 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-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-02933583v1  Conference papers
Daniela GeniusIlias BourniasLudovic ApvrilleRoselyne Chotin. High-level Partitioning and Design Space Exploration for Cyber Physical Systems
8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, France. pp.84-91, ⟨10.5220/0009171600840091⟩
...
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
...
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-02430903v1  Book sections
Hui ZhaoLudovic ApvrilleFrédéric Mallet. A Model-Based Combination Language for Scheduling Verification
Model-Driven Engineering and Software Development, Springer International Publishing, 2020
...
hal-02337469v1  Conference papers
Hui ZhaoFrédéric MalletLudovic 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-02431949v1  Conference papers
Sarah ChabaneAmeur-Boulifa RabeaMezghiche 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-02364504v1  Conference papers
Tullio Joseph TanziMatteo Bertolini. Towards 3D Simulation to Validate Autonomous Systems Intervention in Disaster Management Environment
4th IFIP Conferenceon Information Technology in Disaster Risk Reduction. ITDRR 2019, Oct 2019, Kiew, Ukraine
hal-02364501v1  Conference papers
Matteo BertolinoTullio Joseph Tanzi. Advanced Robot 3D Simulation Interface for Disaster Management
Kleinheubacher Tagung 2019, URSI Germany, Sep 2019, Miltinberg, Germany
hal-02269614v1  Conference papers
Assioua YasmineAmeur-Boulifa RabeaGuitton-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, Napoli, Italy
...
hal-02308453v1  Conference papers
Assioua YasmineAmeur-Boulifa RabeaGuitton-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-02269604v1  Conference papers
Ameur-Boulifa RabeaCavalli AnaStephane Maag. Verifying complex software control systems from test objectives: application to the ETCS system
ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. ⟨10.5220/0007918203970406⟩
hal-02904831v1  Conference papers
Ameur-Boulifa RabeaAna CavalliStephane Maag. From formal test objectives to TTCN-3 for verifying ETCS complex software control systems
ICSOFT 2019 : 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.156-178, ⟨10.1007/978-3-030-52991-8_8⟩
...
hal-02337448v1  Conference papers
Sahar BerroLudovic ApvrilleGuillaume 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-02275984v1  Conference papers
Radek FujdiakPetr BlažekLudovic ApvrilleZdenek MartinasekPetr Mlynek et al.  Modeling the trade-off between security and performance to support the product life cycle
8th Mediterranean Conference on Embedded Computing MECO2019, Jun 2019, Budva, Montenegro
hal-02364487v1  Book sections
Lilia BelabedTullio Joseph TanziSophie Coudert. Formal Method for RailWays Disasters prevention
Murayama Y., Velev D., Zlateva P. (eds). Information Technology in Disaster Risk Reduction. ITDRR 2017. IFIP Advances in Information and Communication Technology, 516, Springer, pp.161-170, 2019
...
hal-02275365v1  Book sections
Gabriel Pedroza. Towards Safety and Security Co-engineering: Challenging Aspects for a Consistent Intertwining
Security and Safety Interplay of Intelligent Software Systems, pp.3-16, 2019
hal-02269655v1  Book sections
Ameur-Boulifa RabeaFlorian LugouLudovic Apvrille. SysML Model Transformation for Safety and Security Analysis
Security and Safety Interplay of Intelligent Software Systems -, pp.35-49, 2019
hal-02364494v1  Conference papers
Tullio Joseph TanziMadhu Chandra. Autonomous data collection for Disaster management: location aspects
2019 URSI Asia-Pacific Radio Science Conference (AP-RASC 2019), URSI, Mar 2019, New Delhi, India
hal-02364498v1  Conference papers
Madhu ChandraTullio Joseph Tanzi. GPR Autonomous system for Disaster management: location aspects for bean forming
URSI Asia-Pacific Radio Science Conference (AP-RASC 2019), URSI, Mar 2019, New Delhi, India