关注
Ludovic Apvrille
Ludovic Apvrille
Telecom Paris
在 telecom-paris.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
2032004
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
1552009
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
1482014
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
1182011
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
1062011
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
962006
Security requirements for automotive on-board networks based on dark-side scenarios
A Ruddle, B Weyl, S Idrees, Y Roudier, M Friedewald, T Leimbach, ...
European Commission, 2009
862009
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
852011
SysML-Sec: A model driven approach for designing safe and secure systems
Y Roudier, L Apvrille
2015 3rd International Conference on Model-Driven Engineering and Software …, 2015
712015
Secure on-board architecture specification
B Weyl, M Wolf, F Zweers, T Gendrullis, MS Idrees, Y Roudier, ...
Evita Deliverable D 3, 2, 2010
672010
SysML-Sec: A SysML environment for the design and development of secure embedded systems
L Apvrille, Y Roudier
APCOSEC, Asia-Pacific Council on Systems Engineering, 8-11, 2013
632013
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
552010
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, ...
EVITA project, 2009
482009
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
422001
Facial makeup detection technique based on texture and shape analysis
N Kose, L Apvrille, JL Dugelay
2015 11th IEEE International Conference and Workshops on Automatic Face and …, 2015
382015
Towards the model-driven engineering of secure yet safe embedded systems
L Apvrille, Y Roudier
arXiv preprint arXiv:1404.1985, 2014
342014
Autonomous drones for disasters management: Safety and security verifications
L Apvrille, Y Roudier, TJ Tanzi
2015 1st URSI Atlantic Radio Science Conference (URSI AT-RASC), 1-2, 2015
332015
An educational case study of using sysml and ttool for unmanned aerial vehicles design
L Apvrille, P de Saqui-Sannes, R Vingerhoeds
IEEE Journal on Miniaturization for Air and Space Systems 1 (2), 117-129, 2020
322020
Ttool for diplodocus: An environment for design space exploration
L Apvrille
Proceedings of the 8th international conference on New technologies in …, 2008
322008
Prototyping an embedded automotive system from its UML/SysML models
L Apvrille, A Becoulet
Embedded Real Time Software and Systems (ERTS2012), 2012
312012
系统目前无法执行此操作,请稍后再试。
文章 1–20