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 | 204 | 2004 |
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 | 156 | 2009 |
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 | 151 | 2014 |
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 | 117 | 2011 |
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 | 105 | 2011 |
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 | 96 | 2006 |
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 | 89 | 2009 |
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 | 85 | 2011 |
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 | 74 | 2015 |
Secure on-board architecture specification B Weyl, M Wolf, F Zweers, T Gendrullis, MS Idrees, Y Roudier, ... Evita Deliverable D 3, 2, 2010 | 66 | 2010 |
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 | 62 | 2013 |
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 | 59 | 2010 |
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 | 49 | 2009 |
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 | 42 | 2001 |
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 | 40 | 2015 |
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 | 39 | 2015 |
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 | 35 | 2020 |
Towards the model-driven engineering of secure yet safe embedded systems L Apvrille, Y Roudier arXiv preprint arXiv:1404.1985, 2014 | 33 | 2014 |
Ttool for diplodocus: An environment for design space exploration L Apvrille Proceedings of the 8th international conference on New technologies in …, 2008 | 32 | 2008 |
Identifying unknown android malware with feature extractions and classification techniques L Apvrille, A Apvrille 2015 IEEE Trustcom/BigDataSE/ISPA 1, 182-189, 2015 | 31 | 2015 |