Výsledky vyhledávání - "Loiacono, Carmelo"

Formal Verification of Embedded Systems for Remote Attestation

Autor: Cabodi, Gianpiero, Camurati, Paolo Enrico, Loiacono, Carmelo, Pipitone, Giovanni, Savarese, Francesco, Vendraminetto, Danilo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2153::1a80f69b3187fe1864f77a7e31131e11
http://hdl.handle.net/11583/2614525

Zobrazit plný text záznamu

To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

Autor: Camurati, Paolo Enrico, Loiacono, Carmelo, Pasini, Paolo, Patti, Denis, Quer, Stefano

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2153::6c35dcb757e8ad25b3575e3219645760
http://hdl.handle.net/11583/2573937

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Periodical

Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

Autor: Cabodi, Gianpiero, Loiacono, Carmelo, Palena, Marco, Pasini, Paolo, Patti, Denis, Quer, Stefano, Vendraminetto, Danilo, Biere, Armin, Heljanko, Keijo

Publikováno v: Journal on Satisfiability, Boolean Modeling and Computation; June 2015, Vol. 9 Issue: 1 p135-172, 38p

Zobrazit plný text záznamu