Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(63)
Komminist Weldemariam
21
Andrea Mattioli
8
Roberto Sebastiani
5
Fausto Giunchiglia
5
Marco Bozzano
5
Conferences
(15)
ICDS
4
CRiSIS
4
AIMSA
2
SAFECOMP
2
FM
2
Journals
(8)
IJIS
2
JAR
2
Metal Finishing
2
STTT
1
AICOM
1
Keywords
(108)
Embed
Subscribe
Academic
Authors
Adolfo Villafiorita
Edit
Adolfo Villafiorita
Fondazione Bruno Kessler
Publications: 47
|
Citations: 236
|
G-Index: 14
|
H-Index: 8
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Artificial Intelligence
,
Security & Privacy
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
63 co-authors
from 1994 to 2011
; Cited by
290 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(47)
BibTeX
|
RIS
|
RefWorks
Download
Formal analysis of an electronic voting system: An experience report
Komminist Weldemariam
,
Richard A. Kemmerer
,
Adolfo Villafiorita
Journal:
Metal Finishing
, vol. 84, no. 10, pp. 1618-1637, 2011
Vote verification through open standard: A roadmap
Ali Fawzi Najm Al-Shammari
,
Komminist Weldemariam
,
Adolfo Villafiorita
,
Sergio Tessaris
Published in 2011.
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications
Birhanu Eshete
,
Adolfo Villafiorita
,
Komminist Weldemariam
Conference:
Availability, Reliability and Security - IEEEARES
, 2011
Procedural security analysis: A methodological approach
Komminist Weldemariam
,
Adolfo Villafiorita
Journal:
Metal Finishing
, vol. 84, no. 7, pp. 1114-1129, 2011
Context Information Refinement for Pervasive Medical Systems
(
Citations: 1
)
Dawit Bekele
,
Birhanu Eshete
,
Adolfo Villafiorita
,
Komminist Weldemariam
Conference:
International Conference on the Digital Society - ICDS
, pp. 210-215, 2010
Order by:
Citations
(236 times by 157 publications)
Robust electronic voting: Introducing robustness in Civitas
Fateme Shirazi
,
Stephan Neumann
,
Ines Ciolacu
,
Melanie Volkamer
Published in 2011.
On validation of the safety analysis of modern railway systems
Oleg Lisagor
,
Linling Sun
,
Tim Kelly
,
Chao Liu
,
Ru Niu
Conference:
IEEE International Conference on Service Operations and Logistics, and Informatics - SOLI
, 2011
Formalization of Receipt-Freeness in the Context of Electronic Voting
Katharina Braunlich
,
Rudiger Grimm
Conference:
Availability, Reliability and Security - IEEEARES
, 2011
Compositional Synthesis of Temporal Fault Trees from State Machines
Nidhal Mahmud
,
Martin Walker
,
Yiannis Papadopoulos
Conference:
Availability, Reliability and Security - IEEEARES
, 2011
Automatic safety analysis of networked control system based on failure propagation model
Ru Niu
,
Tao Tang
,
Oleg Lisagor
,
John McDermid
Conference:
IEEE International Conference on Vehicular Electronics and Safety - ICVES
, 2011
Comments