SST/ICTM Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM)
SST/ICTM/INGI Pôle en ingénierie informatique (INGI)
2025
Article de journal
Baranov, E., & Legay, A. (2025). Baital: Sampling configurable systems with high t-wise coverage. Science of Computer Programming, 240, 103209. https://doi.org/10.1016/j.scico.2024.103209 (Original work published 2025)
2024
Article de journal
Rong Gu, Baranov, E., Afshin Ameri, Cristina Cerschi Seceleanu, Eduard Paul Enoiu, Baran Çürüklü, Legay, A., & Kristina Lundqvist. (2024). Synthesis and verification of mission plans for multiple autonomous agents under complex road conditions. ACM Transactions on Software Engineering and Methodology, 33(7), 1-46. https://doi.org/10.1145/3672445 (Original work published 2024)
Baranov, E., Sourav Chakraborty, Legay, A., Kuldeep S. Meel, & N. Variyam Vinodchandran. (2024). A Scalable t-wise Coverage Estimator: Algorithms and Applications. IEEE Transactions on Software Engineering, 50(8), 2021-2039. https://doi.org/10.1109/TSE.2024.3419919 (Original work published 2024)
Papier de conférence
Baranov, E., Legay, A., & Vivian, M. (2024). Fuzzing an Industrial Proprietary Protocol. Published. Formal Methods for Industrial Critical Systems, Milan, Italy. https://doi.org/10.1007/978-3-031-68150-9_7
2023
Papier de conférence
Baranov, E., Larsen, K., & Legay, A. (2023). Statistical Model Checking meets GDPR. Published. AISoLA, Crete, Greece.
2022
Papier de conférence
Baranov, E., & Legay, A. (2022). Baital: An Adaptive Weighted Sampling Platform for Configurable Systems. 26th ACM International Systems and Software Product Line Conference - Volume B (SPLC ’22), September 12--16, 2022, Graz, Austria. Published. 26th ACM International Systems and Software Product Line Conference, Graz, Austria. https://doi.org/10.1145/3503229.3547030
Baranov, E., & Legay, A. (2022). Serums Healthcare System: Completed and Secured. 4th International Workshop on Adaptive and Personalized Privacy and Security, Barcelona,Spain/Virtual.
Baranov, E., Chakraborty, S., Legay, A., Meel, K. S., & Variyam, V. N. (2022). A Scalable t-wise Coverage Estimator. 44th International Conference on Software Engineering (ICSE ’22), May 21--29, 2022, Pittsburgh, PA, USA. Published. 44th International Conference on Software Engineering, Pittsburgh USA / Virtual. https://doi.org/10.1145/3510003.3510218
2021
Papier de conférence
Baranov, E., Bowles, J., Given-Wilson, T., Legay, A., & Webber, T. (2021). A Secure User-Centred Healthcare System: Design and Verification. Published. 10th International Symposium “From Data to Models and Back”, Virtual. https://doi.org/10.1007/978-3-031-16011-0_4
2020
Papier de conférence
Given-Wilson, T., Baranov, E., & Legay, A. (2020). Building User Trust of Critical Digital Technologies. 2020 IEEE International Conference on Industrial Technology (ICIT). Published. 2020 IEEE International Conference on Industrial Technology (ICIT), Buenos Aires, Argentina. https://doi.org/10.1109/icit45562.2020.9067154
Baranov, E., Legay, A., & Meel, K. S. (2020). Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage. ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Founda. Published. 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA. https://doi.org/10.1145/3368089.3409744
Paigwar, A., Baranov, E., Renzaglia, A., Laugier, C., & Legay, A. (2020). Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. Published. IEEE Intelligent Vehicles Symposium (IV) 2020, (Virtual) Las Vegas, NV, United States. https://doi.org/10.1109/IV47402.2020.9304821
Baranov, E., Given-Wilson, T., & Legay, A. (2020). Improving Secure and Robust Patient Service Delivery. Accepted/in-press. ISoLA 2021, Rhodes, Greece. https://doi.org/10.1007/978-3-030-61362-4_23
Article de journal
Sebastio, S., Baranov, E., Biondi, F., Decourbe, O., Given-Wilson, T., Legay, A., Puodzius, C., & Quilbeuf, J. (2020). Optimizing symbolic execution for malware behavior classification. Computers & Security, 93(?), 101775. https://doi.org/10.1016/j.cose.2020.101775 (Original work published 2020)
2019
Article de journal
Baranov, E., & Bliudze, S. (2019). Expressiveness of component-based frameworks: A study of the expressiveness of BIP. Acta Informatica. Published. https://doi.org/10.1007/s00236-019-00337-7 (Original work published 2019)
Baranov, E., & Bliudze, S. (2019). Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica, 57(6), 829. https://doi.org/10.1007/s00236-019-00343-9 (Original work published 2019)
2018
Document de travail
Baranov, E., Biondi, F., Decourbe, O., Given-Wilson, T., Legay, A., Puodzius, C., Quilbeuf, J., & Sebastio, S. (2018). Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report.