Alexey Voronov
Alexey Voronov
Verified email at - Homepage
Cited by
Cited by
The grand cooperative driving challenge 2016: boosting the introduction of cooperative automated vehicles
C Englund, L Chen, J Ploeg, E Semsar-Kazerooni, A Voronov, ...
IEEE Wireless Communications 23 (4), 146-152, 2016
Cooperative automated maneuvering at the 2016 grand cooperative driving challenge
J Ploeg, E Semsar-Kazerooni, AIM Medina, JFCM de Jongh, ...
IEEE Transactions on Intelligent Transportation Systems 19 (4), 1213-1226, 2017
Free-floating car-sharing electrification and mode displacement: Travel time and usage patterns from 12 cities in Europe and the United States
F Sprei, S Habibi, C Englund, S Pettersson, A Voronov, J Wedlin
Transportation Research Part D: Transport and Environment 71, 127-140, 2019
Interaction protocol for highway platoon merge
HH Bengtsson, L Chen, A Voronov, C Englund
2015 IEEE 18th International Conference on Intelligent Transportation …, 2015
SAT-solving in practice, with a tutorial example from supervisory control
K Claessen, N Een, M Sheeran, N Sörensson, A Voronov, K Åkesson
Discrete Event Dynamic Systems 19, 495-524, 2009
Comparison of free-floating car-sharing services in cities
S Habibi, F Sprei, C Englund, S Pettersson, A Voronov, J Wedlin, ...
European Council of Energy Efficient Economy (ECEEE) Summer Study, Presqu …, 2017
Verification of process operations using model checking
A Voronov, K Akesson
2009 IEEE International Conference on Automation Science and Engineering …, 2009
Cooperative speed harmonization for efficient road utilization
C Englund, L Chen, A Voronov
2014 7th International Workshop on Communication Technologies for Vehicles …, 2014
Enumeration of valid partial configurations
A Voronov, K Åkesson, F Ekstedt
Proceedings of workshop on configuration, IJCAI 2011, 25-31, 2011
DockStream: a docking wrapper to enhance de novo molecular design
J Guo, JP Janet, MR Bauer, E Nittinger, KA Giblin, K Papadopoulos, ...
Journal of cheminformatics 13 (1), 1-21, 2021
On formal methods for large-scale product configuration
A Voronov
PQDT-Global, 2013
Guest editorial introduction to the special issue on the 2016 grand cooperative driving challenge
J Ploeg, C Englund, H Nijmeijer, E Semsar-Kazerooni, SE Shladover, ...
IEEE Transactions on Intelligent Transportation Systems 19 (4), 1208-1212, 2018
Implementation of ETSI ITS G5 GeoNetworking stack, in Java: CAM-DENM / ASN.1 PER / BTP / GeoNetworking
A Voronov, J De Jongh, D Heuven, A Severinson, 2016
Supervisory control using satisfiability solvers
A Voronov, K Akesson
2008 9th International Workshop on Discrete Event Systems, 81-86, 2008
Study of communication needs ininteraction between trucks and surrounding traffic in platooning
J Andersson, C Englund, A Voronov
Radar reflecting pavement markers for vehicle automation
A Voronov, J Hultén, J Wedlin, C Englund
Trafikverket, 2016
Comparing Electric Vehicles And Fossil Driven Vehicles In Free-floating Car Sharing Services
H Engdahl, C Englund, S Habibi, S Pettersson, F Sprei, A Voronov, ...
EEVC-2017, 2017
Development of industrial visualization tools for validation of vehicle configuration rules
A Tidstam, LO Bligård, F Ekstedt, A Voronov, K Åkesson, J Malmqvist
Proceedings of 9th International Symposium on Tools and Methods of …, 2012
Verification of supervisory control properties of finite automata extended with variables
A Voronov, K Åkesson
Chalmers University of Technology, 2009
The application of data mining techniques to model visual distraction of bicyclists
C Englund, M Nilsson, A Voronov
Expert Systems with Applications 52, 99-107, 2016
The system can't perform the operation now. Try again later.
Articles 1–20