Tape Mbo’e: A First Experimental Assessment
Grau, Ilse, Travassos, Guilherme H., Cernuzzi, Luca, Villafiorita, Adolfo
Published in CLEI electronic journal (01.04.2015)
Published in CLEI electronic journal (01.04.2015)
Get full text
Journal Article
E-Infrastructure and e-Services for Developing Countries: Third International ICST Conference, AFRICOMM 2011, Zanzibar, Tansania, November 23-24, 2011, Revised Selected Papers
Popescu-Zeletin, Radu, Jonas, Karl, Rai, Idris A, Glitho, Roch, Villafiorita, Adolfo
Year of Publication 2012
Get full text
Year of Publication 2012
eBook
The FSAP/NuSMV-SA safety analysis platform
BOZZANO, Marco, VILLAFIORITA, Adolfo
Published in International journal on software tools for technology transfer (01.02.2007)
Published in International journal on software tools for technology transfer (01.02.2007)
Get full text
Journal Article
Procedural security analysis: A methodological approach
Weldemariam, Komminist, Villafiorita, Adolfo
Published in The Journal of systems and software (01.07.2011)
Published in The Journal of systems and software (01.07.2011)
Get full text
Journal Article
Formal analysis of an electronic voting system: An experience report
Weldemariam, Komminist, Kemmerer, Richard A., Villafiorita, Adolfo
Published in The Journal of systems and software (01.10.2011)
Published in The Journal of systems and software (01.10.2011)
Get full text
Journal Article
Tape Mbo'e (TME): A Service-Oriented Method
Grau, Ilse, Cernuzzi, Luca, Villafiorita, Adolfo
Published in 2013 32nd International Conference of the Chilean Computer Science Society (SCCC) (01.11.2013)
Published in 2013 32nd International Conference of the Chilean Computer Science Society (SCCC) (01.11.2013)
Get full text
Conference Proceeding
Development, Formal Verification, and Evaluation of an E-Voting System With VVPAT
Villafiorita, A., Weldemariam, K., Tiella, R.
Published in IEEE transactions on information forensics and security (01.12.2009)
Published in IEEE transactions on information forensics and security (01.12.2009)
Get full text
Journal Article
Tape Mbo´e: A First Experimental Assessment
Ilse Grau, Guilherme H. Travassos, Luca Cernuzzi, Adolfo Villafiorita
Published in CLEI electronic journal (01.04.2015)
Get full text
Published in CLEI electronic journal (01.04.2015)
Journal Article
Beyond food sharing: Supporting food waste reduction with ICTs
Ciaghi, Aaron, Villafiorita, Adolfo
Published in 2016 IEEE International Smart Cities Conference (ISC2) (01.09.2016)
Published in 2016 IEEE International Smart Cities Conference (ISC2) (01.09.2016)
Get full text
Conference Proceeding