PUBLICATIONS

to

1778 Results

Vinicius Vielmo Cogo, Alysson Bessani. Brief Announcement: Auditable Register Emulations. In 35th International Symposium on Distributed Computing (DISC 2021), pages 53:1-53:4. Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2021 [Biblios]
D. Costa, M. A. Martins. Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. Journal of Logical and Algebraic Methods in Programming, 121, Elsevier, 2021 [Biblios]
Ilir Gashi, Michael Kamp, Pedro Ferreira, Iberia Medeiros. Third International Workshop on Data-Centric Dependability and Security (DCDS), IEEE, 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2021 [Biblios]
Joao Caseirito, Iberia Medeiros. Finding Web Application Vulnerabilities with an Ensemble Fuzzing. In 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S). IEEE, 2021 [Biblios]