المؤلفون: Aghvamipanah, Mahmoud, Amini, Morteza, Artho, Cyrille, Balliu, Musard

المصدر: 2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P) EUROSP Security and Privacy (EuroS&P), 2024 IEEE 9th European Symposium on. :600-616 Jul, 2024

Relation: 2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P)

المؤلفون: Eshghie, Mojtaba, Jafari, Mikael, Artho, Cyrille

المصدر: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) SANER-C Software Analysis, Evolution and Reengineering - Companion (SANER-C), 2024 IEEE International Conference on. :23-34 Mar, 2024

Relation: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)

المؤلفون: Fu, Han, Eldh, Sigrid, Wiklund, Kristian, Ermedahl, Andreas, Haller, Philipp, Artho, Cyrille

مصطلحات موضوعية: Computer Science - Software Engineering, D.2.5

URL الوصول: http://arxiv.org/abs/2404.14823

المؤلفون: Liu, Ye, Li, Yi, Artho, Cyrille, Liu, Yixuan

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2403.13279

المؤلفون: Artho, Cyrille, Parízek, Pavel, Qu, Daohan, Galgali, Varadraj, Yi, Pu Luke

المصدر: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :3-22

مصطلحات موضوعية: Java, JPF, Program analysis, Software model checking

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-346541
https://doi.org/10.1007/978-3-031-57249-4_1

المؤلفون: Fu, Han, Eldh, Sigrid, Wiklund, Kristian, Ermedahl, Andreas, Artho, Cyrille

المصدر: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ISSREW Software Reliability Engineering Workshops (ISSREW), 2022 IEEE International Symposium on. :61-66 Oct, 2022

Relation: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

المؤلفون: Eshghie, Mojtaba, Ahrendt, Wolfgang, Artho, Cyrille, Hildebrandt, Thomas Troels, Schneider, Gerardo

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2305.08254

المؤلفون: Eshghie, Mojtaba, Ahrendt, Wolfgang, Artho, Cyrille, Hildebrandt, Thomas Troels, Schneider, Gerardo

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Computers and Society, Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2305.04581

المؤلفون: Artho, Cyrille, Benali, Adam, Ramler, Rudolf

المصدر: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) QRS Software Quality, Reliability and Security (QRS), 2021 IEEE 21st International Conference on. :328-336 Dec, 2021

Relation: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)

المؤلفون: Birgersson, Marcus, Artho, Cyrille, Balliu, Musard

المصدر: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) QRS Software Quality, Reliability and Security (QRS), 2021 IEEE 21st International Conference on. :102-113 Dec, 2021

Relation: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)