Ludovic Apvrille
Ludovic Apvrille
Telecom Paris
Verified email at telecom-paris.fr - Homepage
Title
Cited by
Cited by
Year
TURTLE: A real-time UML profile supported by a formal validation toolkit
L Apvrille, JP Courtiat, C Lohr, P de Saqui-Sannes
IEEE transactions on Software Engineering 30 (7), 473-487, 2004
1742004
Security requirements for automotive on-board networks
O Henniger, L Apvrille, A Fuchs, Y Roudier, A Ruddle, B Weyl
2009 9th International Conference on Intelligent Transport Systemsá…, 2009
912009
Car2x communication: securing the last meter-a cost-effective approach for ensuring trust in car2x applications using in-vehicle symmetric cryptography
H Schweppe, Y Roudier, B Weyl, L Apvrille, D Scheuermann
2011 IEEE Vehicular Technology Conference (VTC Fall), 1-5, 2011
842011
A UML-based environment for system design space exploration
L Apvrille, W Muhammad, R Ameur-Boulifa, S Coudert, R Pacalet
2006 13th IEEE International Conference on Electronics, Circuits and Systemsá…, 2006
772006
Autonomous drones for assisting rescue services within the context of natural disasters
L Apvrille, T Tanzi, JL Dugelay
2014 XXXIth URSI General Assembly and Scientific Symposium (URSI GASS), 1-4, 2014
692014
TEPE: a SysML language for time-constrained property modeling and formal verification
D Knorreck, L Apvrille, P de Saqui-Sannes
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
682011
AVATAR: A SysML environment for the formal verification of safety and security properties
G Pedroza, L Apvrille, D Knorreck
2011 11th Annual International Conference on New Technologies of Distributedá…, 2011
662011
Security requirements for automotive on-board networks based on dark-side scenarios
A Ruddle, D Ward, B Weyl, S Idrees, Y Roudier, M Friedewald, ...
EVITA Deliverable D 2 (3), 2009
582009
Secure on-board architecture specification
B Weyl, M Wolf, F Zweers, T Gendrullis, MS Idrees, Y Roudier, ...
Evita Deliverable D 3, 2, 2010
562010
Secure automotive on-board electronics network architecture
L Apvrille, R El Khayari, O Henniger, Y Roudier, H Schweppe, H SeudiÚ, ...
FISITA 2010 world automotive congress, Budapest, Hungary 8, 2010
402010
A new UML profile for real-time system formal design and validation
L Apvrille, P de Saqui-Sannes, C Lohr, P SÚnac, JP Courtiat
International Conference on the Unified Modeling Language, 287-301, 2001
382001
Evaluation of ASIPs design with LISATek
R Muhammad, L Apvrille, R Pacalet
International Workshop on Embedded Computer Systems, 177-186, 2008
272008
Formal system‐level design space exploration
D Knorreck, L Apvrille, R Pacalet
Concurrency and Computation: Practice and Experience 25 (2), 250-264, 2013
262013
Specifying Fractal and GCM components with UML
S Ahumada, L Apvrille, A Cansado, E Madelaine, E Salageanu
XXVI International Conference of the Chilean Society of Computer Scienceá…, 2007
262007
SysML-Sec: A SysML environment for the design and development of secure embedded systems
L Apvrille, Y Roudier
Proc. Conf. System Engineering, 2013
252013
TTool for DIPLODOCUS: an environment for design space exploration
L Apvrille
Proceedings of the 8th international conference on New technologies iná…, 2008
252008
Identifying unknown android malware with feature extractions and classification techniques
L Apvrille, A Apvrille
2015 IEEE Trustcom/BigDataSE/ISPA 1, 182-189, 2015
242015
Prototyping an embedded automotive system from its UML/SysML models
L Apvrille, A Becoulet
242012
Deliverable D2. 3: Security requirements for automotive on-board networks based on dark-side scenarios
A Ruddle, D Ward, B Weyl, S Idrees, Y Roudier, M Friedewald, ...
tech. rep., EVITA, 2009
232009
A formal methodology applied to secure over-the-air automotive applications
G Pedroza, MS Idrees, L Apvrille, Y Roudier
2011 IEEE Vehicular technology conference (VTC Fall), 1-5, 2011
222011
The system can't perform the operation now. Try again later.
Articles 1–20