-
1مؤتمر
المؤلفون: 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)
-
2مؤتمر
المؤلفون: 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)
-
3تقريرIn industrial embedded software, are some compilation errors easier to localize and fix than others?
المؤلفون: 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
-
4تقرير
-
5
المؤلفون: 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 -
6مؤتمر
المؤلفون: 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)
-
7تقرير
-
8تقرير
المؤلفون: 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
-
9مؤتمر
المؤلفون: 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)
-
10مؤتمر
المؤلفون: 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)