Search by documents

121 results  save search


...
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-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-02275984v1  Conference papers
Renaud PacaletRadek FujdiakPetr BlažekLudovic ApvrillePetr 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-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-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-02288550v1  Conference papers
Ludovic ApvrilleLetitia W. Li. Harmonizing Safety, Security and Performance Requirements in Embedded Systems
Design Automation and Test in Europe conference (DATE, Mar 2019, Firenze, Italy
...
hal-01963837v1  Conference papers
Daniela GeniusRodrigo Cortés PortoLudovic ApvrilleFrançois Pêcheux. A Tool for High-Level Modeling of Analog/Mixed Signal Embedded Systems
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.435-442, ⟨10.5220/0007520804350442⟩
...
hal-02080768v1  Conference papers
Hui ZhaoLudovic ApvrilleFrédéric Mallet. Meta-models Combination for Reusing Verification Techniques
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
hal-02288551v1  Conference papers
Andrea EnriciLudovic ApvrilleRenaud Pacalet. Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-Software Systems
7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Feb 2019, Prague, Czech Republic
hal-02288553v1  Conference papers
Maciej BielskiRenaud PacaletAlvise Rigo. Dynamic guest memory resizing for disaggregated systems – paravirtualized approach
27th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2019), Feb 2019, Pavia, Italy
hal-02364477v1  Directions of work or proceedings
Orhan AltanMadhu ChandraF SunarTullio J. Tanzi. •Intelligent Systems for Crisis Management: Gi4DM 2018
Lecture Notes in Geoinformation and Cartography, Springer, 2019, 978-3-030-05329-1. ⟨10.1007/978-3-030-05330-7 2019⟩
hal-02288056v1  Book sections
Andrea EnriciJulien LalletRenaud PacaletLudovic ApvrilleKarol Desnos et al.  Model-Based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC
Communications in Computer and Information Science, Model-Driven Engineering and Software Development, Springer, pp.56_81, 2019
hal-02288090v1  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-02287860v1  Conference papers
Pierre de Saqui-SannesRob VingerhoedsLudovic Apvrille. Early Checking of SysML Models Applied to Protocols
12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France
hal-02287920v1  Conference papers
Madhu ChandraTullio J. Tanzi. On the Design of a side-looking Drone-borne GPR and its Physical Basis
URSI. AT-RASC 2018. Second URSI Atlantic Radio Science Meeting - 2018., May 2018, Gran Canarian, Spain
hal-02287833v1  Journal articles
Madhu ChandraTullio J. Tanzi. Drone-borne GPR design: Propagation issues
Comptes Rendus Physique, 2018, 19 (1-2), pp.72-84
hal-02412355v1  Conference papers
Tullio J. TanziJean Isnard. Autonomous system for data collection: from signal to information
Jourenées scientifiqsues URSI France JS'18, Mar 2018, Meudon, France
hal-02287726v1  Conference papers
Letitia W. LiFlorian LugouLudovic Apvrille. Evolving Attacker Perspectives for Secure Embedded System Design
6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Jan 2018, Funchal, Portugal
hal-01666413v1  Conference papers
Sarah ChabaneAmeur-Boulifa RabeaMohamed Mezghiche. Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications
International conference on Embedded & Distributed Systems (EDiS 2017), Dec 2017, Oran, Algeria
hal-02287828v1  Journal articles
Sophie CoudertDominique Legros. Modélisation formelle pour l’ingénierie système
Revue REE (Selection Journées scientifiques URSI 2017), 2017
hal-01649727v1  Conference papers
Ankica BarisicDominique BlouinVasco AmaralMiguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
hal-02412316v1  Conference papers
Lilia BelabedTullio J. TanziSophie Coudert. Formal methode for safe and Verification of RailWay Signaling Sustems
Conference on Information Technology in Disaster risk reduction (ITDRR 2017), Oct 2017, Sofia, Bulgaria
hal-01666415v1  Conference papers
Sarah ChabaneAmeur-Boulifa RabeaMohamed Mezghiche. Rethinking of I/O-Automata Composition
Forum on specification & Design Languages (FDL 2017), Sep 2017, Verona, Italy