Tidstam, Anna; Bligård, Lars-Ola; Ekstedt, Fredrik; Voronov, Alexey; Åkesson, Knut; Malmqvist, Johan: Development of Industrial Visualization Tools for Validation of Vehicle Configuration Rules. Proceedings of 9th International Symposium on Tools and Methods of Competitive Engineering, 7-11 May, Karlsruhe, Germany., pp. 14.

Voronov, Alexey; Tidstam, Anna; Åkesson, Knut; Malmqvist, Johan: Verification of Item Usage Rules in Product Configuration. To be published in Proceedings of 9th International Conference on Product Lifecycle Management,

Voronov, Alexey; Åkesson, Knut; Ekstedt, Fredrik: Enumeration of valid partial configurations. Proceedings of Workshop on Configuration, IJCAI 2011, 755 pp. 25-31.

Voronov, Alexey: Using Formal Methods for Product and Production Development -- Industrial Applications for Boolean Satisfiability Solvers. Göteborg : Chalmers University of Technology.

Claessen, Koen; Een, Niklas; Sheeran, Mary; Sörensson, Niklas; Voronov, Alexey; Åkesson, Knut: SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discrete Event Dynamic Systems, 19 (4) pp. 495-524.

Voronov, Alexey; Åkesson, Knut: Verification of Process Operations Using Model Checking. Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on , pp. 415-420. ISBN/ISSN: 978-1-4244-4578-3

Voronov, Alexey; Åkesson, Knut: Verification of Supervisory Control Properties of Finite Automata Extended with Variables. Göteborg : Chalmers University of Technology.

Fhager, Andreas; Chen, Chien-Chih; Voronov, Alexey; Persson, Mikael: On the use of global reconstruction methods for exploiting a priori data in microwave tomography image reconstruction. Proceedings of RVK08/MMWP08, June 9-13 2008, Växjö, Sweden, pp. 183-187.

Voronov, Alexey; Åkesson, Knut: Supervisory Control using Satisfiability Solvers. Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on, pp. 81-86. ISBN/ISSN: 978-1-4244-2592-1

Fhager, Andreas; Voronov, Alexey; Chen, Chien-Chih; Persson, Mikael: Methods for Dielectric Reconstruction in Microwave Tomography. The Second European Conference on Antennas and Propagation (EuCAP 2007), Nov. 11-16, Edinburgh, UK, pp. Tu1.7.5. ISBN/ISSN: 9780863418426

Voronov, Alexey: Regularization in microwave tomography. Göteborg : Chalmers University of Technology.