FormaliSE@ICSE HAL FormaliSE 2021-9th International Conference on Formal Methods in Software Engineering FormaliSE 2021-9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France
SAC 2021-36th ACM/SIGAPP Symposium on Applied Computing SAC 2021-36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event, Republic of Korea., South Korea. pp.1-10, ⟨10.1145/3412841.3441885⟩ SAC
ARES 2020-International Conference on Availability, Reliability and Security ARES 2020-International Conference on Availability, Reliability and Security, Aug 2020, Virtual Event, Ireland. pp.1-10 ARES
IEEE/ACM 12th International Conference on Utility and Cloud ComputingCompanion (UCC ’19 Companion) UCC 2019-12th IEEE/ACM International Conference on Utility and Cloud Computing UCC 2019-12th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2019, Auckland, New Zealand. pp.93-100, ⟨10.1145/3368235.3368872⟩ UCC Companion
Tests and Proofs ISBN: 9783030311568 TAP@FM International Conference on Tests and Proofs (TAP) International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩ Tests and Proofs-13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings Lecture Notes in Computer Science Lecture Notes in Computer Science-Tests and Proofs
CloudCom 2018-10th IEEE International Conference on Cloud Computing Technology and Science CloudCom 2018-10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.99-106, ⟨10.1109/CloudCom2018.2018.00031⟩ CloudCom
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174613 TACAS (1) Lecture Notes in Computer Science Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems TACAS 2019 TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩