INGI
Place Sainte Barbe 2/L5.02.01
1348 Louvain-la-Neuve
Eduard Baranov
Assistant de recherche
2020
Sebastio, Stefano ; Baranov, Eduard ; Biondi, Fabrizio ; Decourbe, Olivier ; Given-Wilson, Thomas ; Legay, Axel ; Puodzius, Cassius ; Quilbeuf, Jean. Optimizing symbolic execution for malware behavior classification. In: Computers & Security, Vol. 93, no.?, p. 101775 (2020). doi:10.1016/j.cose.2020.101775 (Accepté/Sous presse).
2019
Baranov, Eduard ; Bliudze, Simon. Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. In: Acta Informatica, Vol. 57, no.6, p. 829-829 (2019). doi:10.1007/s00236-019-00343-9.
2019
Baranov, Eduard ; Bliudze, Simon. Expressiveness of component-based frameworks: A study of the expressiveness of BIP. In: Acta Informatica, (2019). doi:10.1007/s00236-019-00337-7.
2023
Baranov, Eduard ; Larsen, Kim ; Legay, Axel. Statistical Model Checking meets GDPR. AISoLA (Crete, Greece, du 23/10/2023 au 28/10/2023). In: Lecture Notes in Computer Science, Vol. -, no.-, p. - (2024).
2022
Baranov, Eduard ; Chakraborty, Sourav ; Legay, Axel ; Meel, Kuldeep S. ; Variyam, Vinodchandran N. . A Scalable t-wise Coverage Estimator. 44th International Conference on Software Engineering (Pittsburgh USA / Virtual, du 08/05/2022 au 27/05/2022). In: 44th International Conference on Software Engineering (ICSE '22), May 21--29, 2022, Pittsburgh, PA, USA, 2022. 978-1-4503-9221-1/22/05. doi:10.1145/3510003.3510218.
2022
Baranov, Eduard ; Legay, Axel. Baital: An Adaptive Weighted Sampling Platform for Configurable Systems. 26th ACM International Systems and Software Product Line Conference (Graz, Austria, du 12/09/2022 au 16/09/2022). In: 26th ACM International Systems and Software Product Line Conference - Volume B (SPLC '22), September 12--16, 2022, Graz, Austria, 2022. 978-1-4503-9206-8/22/09. doi:10.1145/3503229.3547030.
2022
Baranov, Eduard ; Legay, Axel. Serums Healthcare System: Completed and Secured. 4th International Workshop on Adaptive and Personalized Privacy and Security (Barcelona,Spain/Virtual, 07/07/2022).
2021
Baranov, Eduard ; Bowles, Juliana ; Given-Wilson, Thomas ; Legay, Axel ; Webber, Thais. A Secure User-Centred Healthcare System: Design and Verification. 10th International Symposium "From Data to Models and Back" (Virtual, du 06/12/2021 au 07/12/2021). In: LNCS, Vol. 13268 (2022). doi:10.1007/978-3-031-16011-0_4.
2020
Baranov, Eduard ; Legay, Axel ; Meel, Kuldeep S.. Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Virtual Event, USA, du 08/11/2020 au 13/11/2020). In: ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Founda, Association for Computing Machinery: New York, NY, United States, 2020. 9781450370431. doi:10.1145/3368089.3409744.
2020
Given-Wilson, Thomas ; Baranov, Eduard ; Legay, Axel. Building User Trust of Critical Digital Technologies. 2020 IEEE International Conference on Industrial Technology (ICIT) (Buenos Aires, Argentina, du 26/2/2020 au 28/2/2020). In: 2020 IEEE International Conference on Industrial Technology (ICIT), IEEE, 2020. 9781728157542. doi:10.1109/icit45562.2020.9067154.
2020
Baranov, Eduard ; Given-Wilson, Thomas ; Legay, Axel. Improving Secure and Robust Patient Service Delivery. ISoLA 2021 (Rhodes, Greece, du 19/10/2021 au 21/10/2021). In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Vol. 12476, p. 404--418 (October 2020). doi:10.1007/978-3-030-61362-4_23 (Accepté/Sous presse).
2020
Paigwar, Anshul ; Baranov, Eduard ; Renzaglia, Alessandro ; Laugier, Christian ; Legay, Axel. Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. IEEE Intelligent Vehicles Symposium (IV) 2020 ((Virtual) Las Vegas, NV, United States, du 19/10/2020 au 13/11/2020). In: IEEE Intelligent Vehicles Symposium. Proceedings, Vol. , no., p. 737 - 743 (2020). doi:10.1109/IV47402.2020.9304821.