Baranov, Eduard ; Sourav Chakraborty ; Legay, Axel ; Kuldeep S. Meel ; N. Variyam Vinodchandran. A Scalable t-wise Coverage Estimator: Algorithms and Applications. In: IEEE Transactions on Software Engineering, Vol. 50, no.8, p. 2021-2039 (2024). doi:10.1109/TSE.2024.3419919.

http://hdl.handle.net/2078.1/299350

Rong Gu ; Baranov, Eduard ; Afshin Ameri ; Cristina Cerschi Seceleanu ; Eduard Paul Enoiu ; Baran Çürüklü ; Legay, Axel ; Kristina Lundqvist. Synthesis and verification of mission plans for multiple autonomous agents under complex road conditions. In: ACM Transactions on Software Engineering and Methodology, Vol. 33, no.7, p. 1-46 (2024). doi:10.1145/3672445.

http://hdl.handle.net/2078.1/299320

Baranov, Eduard ; Legay, Axel ; Vivian, Martin. Fuzzing an Industrial Proprietary Protocol. Formal Methods for Industrial Critical Systems (Milan, Italy, du 09/09/2024 au 11/09/2024). In: Lecture Notes in Computer Science, Vol. 14952, no.1, p. 119-135 (2024). doi:10.1007/978-3-031-68150-9_7.

http://hdl.handle.net/2078.1/299349

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).

http://hdl.handle.net/2078.1/279969

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.

http://hdl.handle.net/2078.1/261824

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.

http://hdl.handle.net/2078.1/263419

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).

http://hdl.handle.net/2078.1/263425

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.

http://hdl.handle.net/2078.1/263422

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).

http://hdl.handle.net/2078.1/229941

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.

http://hdl.handle.net/2078.1/235231

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.

http://hdl.handle.net/2078.1/229942

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).

http://hdl.handle.net/2078.1/237453

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.

http://hdl.handle.net/2078.1/237733

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.

http://hdl.handle.net/2078.1/251520

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.

http://hdl.handle.net/2078.1/216643

Baranov, Eduard ; Biondi, Fabrizio ; Decourbe, Olivier ; Given-Wilson, Thomas ; Legay, Axel ; Puodzius, Cassius ; Quilbeuf, Jean ; Sebastio, Stefano. Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report, 2018.

https://hdl.handle.net/2078.1/210548