Alberto Pasquini

Publication Activity (10 Years)

Years Active: 1993-2015
Publications (10 Years): 0

Top Topics

Fault Tolerance

Top Venues

Publications

Alberto Pasquini, Martina Ragosta, Ivonne A. Herrera, Audun Vennesland
Towards a measure of Resilience. ATACCS (2015)
Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. SAFECOMP (2013)
David Navarre, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta
Model-based dynamic distribution of user interfaces of critical interactive systems. ATACCS (2013)
Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta, E. Rigaud, S. Silvagni
Using complementary models-based approaches for representing and analysing ATM systems' variability. ATACCS (2012)
Alberto Pasquini, Simone Pozzi, Luca Save
A critical view of severity classification in risk assessment methods. Reliab. Eng. Syst. Saf. 96 (1) (2011)
Célia Martinie, Philippe A. Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi
Formal tasks and systems models as a tool for specifying and assessing automation designs. ATACCS (2011)
Adalberto Nobiato Crespo, Alberto Pasquini, Mario Jino, José Carlos Maldonado
Applying Code Coverage Approach to an Infinite Failure Software Reliability Model. SBES (2009)
Adalberto Nobiato Crespo, Mario Jino, Alberto Pasquini, José Carlos Maldonado
A binomial software reliability model based on coverage of structural testing criteria. Empir. Softw. Eng. 13 (2) (2008)
Alberto Pasquini, Simone Pozzi, Luca Save
The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects. SAFECOMP (2008)
Alberto Pasquini, Simone Pozzi
Evaluation of air traffic management procedures - safety assessment in an experimental environment. Reliab. Eng. Syst. Saf. 89 (1) (2005)
Alberto Pasquini, Simone Pozzi
Safety Assessment of Experimental Air Traffc Management Procedures. SAFECOMP (2003)
Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini
Contradictions and critical issues during system evolution. SAC (2002)
Alberto Pasquini, Giuliano Pistolesi, Antonio Rizzo
Reliability analysis of systems based on software and human resources. IEEE Trans. Reliab. 50 (4) (2001)
Márcio Eduardo Delamaro, José Carlos Maldonado, Alberto Pasquini, Aditya P. Mathur
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Empir. Softw. Eng. 6 (2) (2001)
Alberto Pasquini, Antonio Rizzo, Luca Save, Mark-Alexander Sujan
Quantitative Evaluation and Operative Usage of Interactive Systems. ISSRE (2001)
Karama Kanoun, Alberto Pasquini
Safety, reliability and security of industrial computer systems. Reliab. Eng. Syst. Saf. 71 (3) (2001)
Alberto Pasquini, Antonio Rizzo, Luca Save
Analysis of Incidents Involving Interactive Systems. SAFECOMP (2001)
Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini
Dependability Evaluation: Model and Method Based on Activity Theory. SAFECOMP (2000)
Adalberto Nobiato Crespo, Mário Jino, Alberto Pasquini, José Carlos Maldonado
A Binomial Software Reliability Model Based on Coverage of Structural Testing Criteria. SBES (2000)
W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini
Test set size minimization and fault detection effectiveness: A case study in a space application. J. Syst. Softw. 48 (2) (1999)
Jørgen Bøegh, Stefano De Panfilis, Barbara A. Kitchenham, Alberto Pasquini
A Method for Software Quality Planning, Control, and Evaluation. IEEE Softw. 16 (2) (1999)
Mark C. K. Yang, W. Eric Wong, Alberto Pasquini
Applying testability to reliability estimation. ISSRE (1998)
Adalberto Nobiato Crespo, Alberto Pasquini, Mário Jino, José Carlos Maldonado
Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software. SBES (1997)
Alberto Pasquini, Giuliano Pistolesi, S. Risuleo, Antonio Rizzo, V. Veneziano
Reliability analysis of systems based on software and human resources. ISSRE (1997)
Barbara A. Kitchenham, Stephen G. Linkman, Alberto Pasquini, Vincenzo Nanni
The SQUID approach to defining a quality model. Softw. Qual. J. 6 (3) (1997)
W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application. COMPSAC (1997)
Alberto Pasquini, Elio De Agostino, Giuseppe Di Marco
An input-domain based method to estimate software reliability. IEEE Trans. Reliab. 45 (1) (1996)
Adalberto Nobiato Crespo, Paolo Matrella, Alberto Pasquini
Sensitivity of reliability growth models to operational profile errors. ISSRE (1996)
Alberto Pasquini
Empirical Validation of a Domain Test Selection Criterion. J. Syst. Softw. 35 (2) (1996)
Bruno Ciciani, Alberto Pasquini
Software Reliability Models and Test Coverage. SAFECOMP (1996)
Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo
An Holistic Approach to Dependability? SAFECOMP (1996)
Alberto Pasquini, Adalberto Nobiato Crespo, Paolo Matrella
Sensitivity of reliability-growth models to operational profile errors vs. testing accuracy [software testing]. IEEE Trans. Reliab. 45 (4) (1996)
Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini
On the correlation between code coverage and software reliability. ISSRE (1995)
Alberto Pasquini
Reliability growth modelling of software for process control systems. ISSRE (1994)
Farokh B. Bastani, Alberto Pasquini
Assessment of a sampling method for measuring safety-critical software reliability. ISSRE (1994)
Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini
Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. ICSE (1993)