LADC (Companion)

Keyphrases

Publications

2021

10th Latin-American Symposium on Dependable Computing, LADC 2021, Florianópolis, Brazil, November 22-26, 2021 - Companion Volume LADC (Companion) (2021)
Lucas C. Cordeiro
Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. LADC (Companion) (2021)
Enrico Schiavone, Nicola Nostro, Francesco Brancati
A MDE Tool for Security Risk Assessment of Enterprises. LADC (Companion) (2021)
Mirko Staderini, András Pataricza, Andrea Bondavalli
Static Analysis Tools Applied to Smart Contracts. LADC (Companion) (2021)
André A. S. Ivo, Sheila G. Ribeiro, Fátima Mattiello-Francisco, Rogério Ishibashi
On the use of ontology-based integration architecture in Cemaden's Natural Disaster Observational Network. LADC (Companion) (2021)
Muhammad Atif, Andrea Ceccarelli, Andrea Bondavalli
Reliable Traffic Sign Recognition System. LADC (Companion) (2021)