Handling causality and schedulability when designing and prototyping cyber-physical systems von Cortés Porto, Rodrigo, Genius, Daniela, Apvrille, Ludovic

Volltext

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems von Apvrille, Ludovic, Roudier, Yves

Volltext

Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography von Schweppe, H., Roudier, Y., Weyl, B., Apvrille, L., Scheuermann, D.

Volltext

Model the System from Adversary Viewpoint: Threats Identification and Modeling von Sabir Idrees, Muhammad, Roudier, Yves, Apvrille, Ludovic

Volltext

Execution trace analysis for a precise understanding of latency violations von Zoor, Maysam, Apvrille, Ludovic, Pacalet, Renaud, Coudert, Sophie

Volltext

A Hierarchical Design Tool for SystemC AMS von Genius, Daniela, Apvrille, Ludovic

Volltext

AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models von Sultan, Bastien, Frénot, Léon, Apvrille, Ludovic, Jaillon, Philippe, Coudert, Sophie

Volltext

SysML-Sec Attack Graphs: Compact Representations for Complex Attacks von Apvrille, Ludovic, Roudier, Yves

Volltext

SherlockDroid: a research assistant to spot unknown malware in Android marketplaces von Apvrille, Axelle, Apvrille, Ludovic

Volltext

Multi-resource scheduling for FPGA systems von Bertolino, Matteo, Pacalet, Renaud, Apvrille, Ludovic, Enrici, Andrea

Volltext

A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems von Enrici, Andrea, Apvrille, Ludovic, Pacalet, Renaud

Volltext

An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design von Apvrille, Ludovic, de Saqui-Sannes, Pierre, Vingerhoeds, Rob

Volltext

Drone "humanitaire" : état de l'art et réflexions von Apvrille, Ludovic, Tanzi, Tullio, Roudier, Yves, Dugelay, Jean-Luc

Volltext

Incremental and Formal Verification of SysML Models von Coudert, Sophie, Apvrille, Ludovic, Sultan, Bastien, Hotescu, Oana, de Saqui-Sannes, Pierre

Volltext

Co-Engineering Gap Analysis of ANSI/ISA‑62443‑3‑3 von Mlynek, Petr, Fujdiak, Radek, Mrnustik, Pavel, Krena, Bohuslav, Apvrille, Ludovic

Volltext

Formal system-level design space exploration von Knorreck, Daniel, Apvrille, Ludovic, Pacalet, Renaud

Volltext

High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool von Genius, Daniela, Apvrille, Ludovic, Li, Letitia W.

Volltext

SMASHUP: a toolchain for unified verification of hardware/software co-designs von Lugou, Florian, Apvrille, Ludovic, Francillon, Aurélien

Volltext

A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes von Enrici, Andrea, Apvrille, Ludovic, Pacalet, Renaud

Volltext

TURTLE: a real-time UML profile supported by a formal validation toolkit von Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.

Volltext