Mathieu Jan

Mathieu Jan

CEA, List
Verified email at cea.fr
Cited by 1651
real time systems embedded systems applied formal methods formal safety and security
Yiannis Kantaros

Yiannis Kantaros

Assistant Professor, Washington University in St. Louis
Verified email at wustl.edu
Cited by 1628
Robotics Task and Motion Planning Machine Learning Applied Formal Methods
Christos Tsigkanos

Christos Tsigkanos

University of Athens, Greece
Verified email at aerospace.uoa.gr
Cited by 1150
Software Engineering Dependable Systems Applied Formal Methods
Sajed Miremadi, Ph.D.

Sajed Miremadi, Ph.D.

Volvo Cars Corporation
Verified email at volvocars.com
Cited by 574
Applied Formal Methods
Paolo Modesti

Paolo Modesti

Senior Lecturer in Cybersecurity, Teesside University, UK, Europe
Verified email at tees.ac.uk
Cited by 293
Security Protocols Applied Formal Methods Language Based Security Code Generation
David Sinclair

David Sinclair

School of Computing, Lero, Dublin City University
Verified email at computing.dcu.ie
Cited by 231
Software Engineering Distributed Systems Cloud Computing Applied Formal Methods Artificial Intelligrnace in Strategic Games
Xusheng Luo

Xusheng Luo

Postdoctoral Associate at Carnegie Mellon University; Duke
Verified email at andrew.cmu.edu
Cited by 162
Planning and Control Applied Formal Methods Robotics Cyber-Physical Systems