logo EDITE Ludovic APVRILLE
Identité
Ludovic APVRILLE
État académique
Thèse soutenue le 2002-06-01
Titulaire d'une HDR (ou équivalent) 2012-11-01
Laboratoire: personnel permanent
Direction de thèses (depuis 2007)
0.5
Encadrement de thèses (depuis 2007)
0.5
Propositions de sujets de thèse
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
doi:ISBN
Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method
;
Studia Informatica Universalis, Vol. 8, No. 3, pp. 47--69 2010-10
DK:S4D:10
Interactive System Level Debugging of Systems-on-Chip
S4D 2010, Southampton, UK 2010-09
LA:FISITA-2010
SECURE AUTOMOTIVE ON-BOARD ELECTRONICS NETWORK ARCHITECTURE
FISITA 2010 World Automotive Congress, Budapest, Hungary 2010-06
LA:ERTS2-10
TURTLE: Four Weddings and a Tutorial
Embedded Real Time Software and Systems (ERTS2'2010), Toulouse, France 2010-05
OH-ITST-09
Security requirements for automotive on-board networks
The 9th International Conference on ITS Telecommunication (ITST'2009) 2009-10
LA:SAFA-09
A UML Framework for the Dimensioning and Formal Verification of Embedded Systems
Second annual SAFA workshop, Sophia-Antipolis, France 2009-09
LA:NOT-09
Nouvelle approche TURTLE pour le dimensionnement et la validation de systemes répartis temps réel
9th annual international conference on New Technologies of Distributed Systems (NOTERE'2009), Montreal, Canada 2009-07
PS:EWDC-09
Making Formal Verification Amenable to Real-Time UML Practitioners
12th European Workshop on Dependable Computing, Toulouse, France 2009-05