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
Evaluating Procedural Alternatives: a case study in e-voting 1-gen-2007 Bryl, Volha; Fabiano, Dalpiaz; Roberta, Ferrario; Mattioli, Andrea; Villafiorita Monteleone, Adolfo
The FSAP/NuSMV-SA Safety Analysis Platform 1-gen-2007 Bozzano, Marco; Villafiorita Monteleone, Adolfo
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
Measuring the Impact of Different Categories of Software Evolution 1-gen-2008 Longo, Francesca; Tiella, Roberto; Tonella, Paolo; 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
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
Supporting Public Administration with an Integrated BPR Environment 1-gen-2009 Ciaghi, Aaron; Weldemariam, Komminist Sisai; Mattioli, Andrea; Villafiorita Monteleone, Adolfo; Phan, Quoc Sang
Evaluating procedural alternatives: a case study in e-voting 1-gen-2009 Bryl, Volha; Fabiano, Dalpiaz; Roberta, Ferrario; 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
Experiments and Data Analysis of Electronic Voting System 1-gen-2009 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
VLPM: a Tool to support BPR in Public Administration 1-gen-2009 Ciaghi, Aaron; Mattioli, Andrea; Villafiorita Monteleone, Adolfo
Formal Analysis of Attacks for e-voting System 1-gen-2009 Weldemariam, Komminist Sisai; Kemmerer, Richard; Villafiorita Monteleone, Adolfo
Modeling and Analysis of Laws using BPR and Goal-oriented framework 1-gen-2010 Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Susi, Angelo; Siena, Alberto
Context Information Refinement for Pervasive Medical Systems 1-gen-2010 Eshete, Birhanu Mekuria; Dawit, Bekele; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Survey: Electronic Voting Development and Trends 1-gen-2010 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
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