Alexey Voronov
Alexey Voronov
Senior Researcher, RISE Research Institutes of Sweden
Verified email at ri.se
Title
Cited by
Cited by
Year
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
872016
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 (4), 495, 2009
292009
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
232017
Verification of process operations using model checking
A Voronov, K Akesson
2009 IEEE International Conference on Automation Science and Engineering …, 2009
212009
Comparison of free-floating car sharing services in cities
S Habibi, F Sprei, C Englund, S Pettersson, A Voronov, J Wedlin, ...
ECEEE Summer Study, 2017
152017
Interaction protocol for highway platoon merge
HH Bengtsson, L Chen, A Voronov, C Englund
2015 IEEE 18th International Conference on Intelligent Transportation …, 2015
152015
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
122019
Enumeration of valid partial configurations
A Voronov, K Åkesson, F Ekstedt
Proceedings of Workshop on Configuration, IJCAI 2011 755, 25-31, 2011
122011
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
https://github.com/alexvoronov/geonetworking/releases/tag/v1.0.0, 2016
11*2016
Cooperative speed harmonization for efficient road utilization
C Englund, L Chen, A Voronov
2014 7th International Workshop on Communication Technologies for Vehicles …, 2014
112014
Supervisory control using satisfiability solvers
A Voronov, K Akesson
2008 9th International Workshop on Discrete Event Systems, 81-86, 2008
112008
On formal methods for large-scale product configuration
A Voronov
Chalmers University of Technology, 2013
92013
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
7*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
72012
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
62018
Radar reflecting pavement markers for vehicle automation
A Voronov, J Hultén, J Wedlin, C Englund
Trafikverket, 2016
52016
Verification of supervisory control properties of finite automata extended with variables
A Voronov, K Åkesson
Chalmers University of Technology, 2009
52009
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
42016
Interactive test tool for interoperable C-ITS development
A Voronov, C Englund, HH Bengtsson, L Chen, J Ploeg, J de Jonhg, ...
2015 IEEE 18th International Conference on Intelligent Transportation …, 2015
42015
Methods for dielectric reconstruction in microwave tomography
A Fhager, A Voronov, C Chen, M Persson
IET Digital Library, 2007
32007
The system can't perform the operation now. Try again later.
Articles 1–20