IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 86
Titolo Data di pubblicazione Autore(i) File
Specification of the Control Logic of an eVoting System in UML: the ProVotE experience 1-gen-2006 Tiella, Roberto; Villafiorita Monteleone, Adolfo; Tomasi, Stefano
FSMC+, a tool for the generation of Java code from statecharts 1-gen-2007 Tiella, Roberto; Villafiorita Monteleone, Adolfo; Silvia, Tomasi
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach 1-gen-2007 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
The FSAP/NuSMV-SA Safety Analysis Platform 1-gen-2007 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Evaluating Procedural Alternatives: a case study in e-voting 1-gen-2007 Bryl, Volha; Fabiano, Dalpiaz; Roberta, Ferrario; Mattioli, Andrea; Villafiorita Monteleone, Adolfo
Formal Procedural Security Modeling and Analysis 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Measuring the Impact of Different Categories of Software Evolution 1-gen-2008 Longo, Francesca; Tiella, Roberto; Tonella, Paolo; Villafiorita Monteleone, Adolfo
Modeling and Analysis of Procedural Security 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Methodology for Assessing Procedural Security: A Case Study in E-Voting 1-gen-2008 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Experiments and Data Analysis of Electronic Voting System 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Evaluating procedural alternatives: a case study in e-voting 1-gen-2009 Bryl, Volha; Fabiano, Dalpiaz; Roberta, Ferrario; Mattioli, Andrea; Villafiorita Monteleone, Adolfo
Supporting Public Administration with an Integrated BPR Environment 1-gen-2009 Ciaghi, Aaron; Weldemariam, Komminist Sisai; Mattioli, Andrea; Villafiorita Monteleone, Adolfo; Phan, Quoc Sang
VLPM: a Tool to support BPR in Public Administration 1-gen-2009 Ciaghi, Aaron; Mattioli, Andrea; Villafiorita Monteleone, Adolfo
Managing Requirements for e-voting Systems: Issues and Approaches Motivated by a Case Study 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Development, Formal Verification and Evaluation of an eVoting System with VVPAT 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Tiella, Roberto
Formal Analysis of Attacks for e-voting System 1-gen-2009 Weldemariam, Komminist Sisai; Kemmerer, Richard; Villafiorita Monteleone, Adolfo
Context Information Refinement for Pervasive Medical Systems 1-gen-2010 Eshete, Birhanu Mekuria; Dawit, Bekele; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Formal Specification and Analysis of an e-Voting System 1-gen-2010 Weldemariam, Komminist Sisai; Richard, Kemmerer; Villafiorita Monteleone, Adolfo
ICT for Good: Opportunities, Challenges and the Way Forward 1-gen-2010 Weldemariam, Komminist Sisai; Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Mostrati risultati da 21 a 40 di 86
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile