Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 34 results.
Pages
-
- Speech
(2021) The 40th International Symposium on Reliable Distributed Systems (SRDS) — -
- Speech
(2021) SPIN 2021 - 27th International SPIN Symposium on Model Checking of Software — Online -
- Speech
(2020) SSS 2020: Stabilization, Safety, and Security of Distributed Systems — -
- Journal article
(2022) Applied Soft Computing — Vol. 127, p. 109373 (2022) -
-
- Speech
(2020) Teaching and Learning Computer Networking During the Pandemic and Beyond — Online -
- Speech
(2020) ARES 2020: The 15th International Conference on Availability, Reliability and Security — Virtual Event Ireland -
- Journal article
(2020) Innovations in Systems and Software Engineering — Vol. 16, no.2, p. 101-120 (2020) -
- Journal article
(2020) Theoretical Computer Science — Vol. 837, p. 54-83 (2020) -
- Journal article
(2020) International Journal on Software Tools for Technology Transfer — Vol. 22, no.5, p. 563-564 (2020) -
- Speech
(2019) The ACM Special Interest Group on Data Communication - SIGCOMM '19 — Beijing, China -
- Journal article
(2018) Leveraging Applications of Formal Methods, Verification and Validation. Modeling — , p. pp 486-501 (2018) -
- Journal article
(2019) Computers & Security — Vol. 85, no.85, p. 436-451 (2019) -
- Journal article
(2016) Information Sciences — -
- Speech
(2018) 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE) — -
- Speech
(2017) International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems — -
-
- Journal article
(2018) Computers and Security — -
- Journal article
(2018) Concurrency and Computation: Practice and Experience — -
- Journal article
(2018) Journal of Reliable Intelligent Environments — Vol. 4, no. 2, p. 107-120 (2018) -
- Speech
(2015) 8th Interaction and Concurrency Experience (ICE 2015) — -
-
- Speech
(2016) Theoretical Aspects of Computing – ICTAC 2016 —