( en | de | ru )

 

Disambiguation of "Matteucci, Ilaria"

Author of the publication

copydeleteadd this publication to your clipboard
A Quantitative Partial Model-Checking Function and Its Optimisation.

, , , and . LPAR, volume 46 of EPiC Series in Computing, page 319-337. EasyChair, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ilaria Rinaldi

Ilaria Pascucci

Ilaria Marchetti

Ilaria Menapace

Ilaria Sy

 

Other publications of authors with the same name

Improving Vehicle Safety Through a Fog Collaborative Infrastructure., , , and . SMARTCOMP, page 446-451. IEEE Computer Society, (2018)Demo: CANDY CREAM., and . SAFECOMP Workshops, volume 11699 of Lecture Notes in Computer Science, page 203-209. Springer, (2019)Elective temporal logic., and . QoSA/ISARCS, page 143-152. ACM, (2011)Partial Model Checking for the Verification and Synthesis of Secure Service Compositions., and . EuroPKI, volume 8341 of Lecture Notes in Computer Science, page 1-11. Springer, (2013)Implementing CAN bus security by TOUCAN., , , and . MobiHoc, page 399-400. ACM, (2019)Efficient Detection of Conflicts in Data Sharing Agreements., , , and . ICISSP (Revised Selected Papers), volume 867 of Communications in Computer and Information Science, page 148-172. Springer, (2017)A Uniform Approach to Security and Fault-Tolerance Specification and Analysis., , , and . WADS, volume 5835 of Lecture Notes in Computer Science, page 172-201. Springer, (2008)CNL4DSA: a controlled natural language for data sharing agreements., , and . SAC, page 616-620. ACM, (2010)There are Two Sides to Every Question - Controller Versus Attacker., , and . Programming Languages with Applications to Biology and Security, volume 9465 of Lecture Notes in Computer Science, page 304-318. Springer, (2015)CAHOOT: a Context-Aware veHicular intrusiOn detectiOn sysTem., , , , , and . TrustCom, page 1211-1218. IEEE, (2022)