Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. - Farokh B. Bastani; Giuseppe DiMarco; Alberto Pasquini (ICSE, 1993)

Assessment of a sampling method for measuring safety-critical software reliability. - Farokh B. Bastani; Alberto Pasquini (ISSRE, 1994)

Reliability growth modelling of software for process control systems. - Alberto Pasquini (ISSRE, 1994)

On the correlation between code coverage and software reliability. - Fabio Del Frate; Praerit Garg; Aditya P. Mathur; Alberto Pasquini (ISSRE, 1995)

Sensitivity of reliability growth models to operational profile errors. - Adalberto Nobiato Crespo; Paolo Matrella; Alberto Pasquini (ISSRE, 1996)

Software Reliability Models and Test Coverage. - Bruno Ciciani; Alberto Pasquini (SAFECOMP, 1996)

An Holistic Approach to Dependability? - Alberto Pasquini; Winfried Görke; Karama Kanoun; Antonio Rizzo (SAFECOMP, 1996)

Empirical Validation of a Domain Test Selection Criterion. - Alberto Pasquini (J. Syst. Softw., 1996)

An input-domain based method to estimate software reliability. - Alberto Pasquini; Elio De Agostino; Giuseppe Di Marco (IEEE Trans. Reliab., 1996)

Sensitivity of reliability-growth models to operational profile errors vs. testing accuracy [software testing]. - Alberto Pasquini; Adalberto Nobiato Crespo; Paolo Matrella (IEEE Trans. Reliab., 1996)

Reliability analysis of systems based on software and human resources. - Alberto Pasquini; Giuliano Pistolesi; S. Risuleo; Antonio Rizzo; V. Veneziano (ISSRE, 1997)

Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software. - Adalberto Nobiato Crespo; Alberto Pasquini; Mário Jino; José Carlos Maldonado (SBES, 1997)

The SQUID approach to defining a quality model. - Barbara A. Kitchenham; Stephen G. Linkman; Alberto Pasquini; Vincenzo Nanni (Softw. Qual. J., 1997)

Applying testability to reliability estimation. - Mark C. K. Yang; W. Eric Wong; Alberto Pasquini (ISSRE, 1998)

Test set size minimization and fault detection effectiveness: A case study in a space application. - W. Eric Wong; Joseph Robert Horgan; Aditya P. Mathur; Alberto Pasquini (J. Syst. Softw., 1999)

A Method for Software Quality Planning, Control, and Evaluation. - Jørgen Bøegh; Stefano De Panfilis; Barbara A. Kitchenham; Alberto Pasquini (IEEE Softw., 1999)

Dependability Evaluation: Model and Method Based on Activity Theory. - Mark-Alexander Sujan; Antonio Rizzo; Alberto Pasquini (SAFECOMP, 2000)

Quantitative Evaluation and Operative Usage of Interactive Systems. - Alberto Pasquini; Antonio Rizzo; Luca Save; Mark-Alexander Sujan (ISSRE, 2001)

Analysis of Incidents Involving Interactive Systems. - Alberto Pasquini; Antonio Rizzo; Luca Save (SAFECOMP, 2001)

Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. - Márcio Eduardo Delamaro; José Carlos Maldonado; Alberto Pasquini; Aditya P. Mathur (Empir. Softw. Eng., 2001)

Safety, reliability and security of industrial computer systems. - Karama Kanoun; Alberto Pasquini (Reliab. Eng. Syst. Saf., 2001)

Reliability analysis of systems based on software and human resources. - Alberto Pasquini; Giuliano Pistolesi; Antonio Rizzo (IEEE Trans. Reliab., 2001)

Contradictions and critical issues during system evolution. - Mark-Alexander Sujan; Antonio Rizzo; Alberto Pasquini (SAC, 2002)

Safety Assessment of Experimental Air Traffc Management Procedures. - Alberto Pasquini; Simone Pozzi (SAFECOMP, 2003)

Evaluation of air traffic management procedures - safety assessment in an experimental environment. - Alberto Pasquini; Simone Pozzi (Reliab. Eng. Syst. Saf., 2005)

The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects. - Alberto Pasquini; Simone Pozzi; Luca Save (SAFECOMP, 2008)

A binomial software reliability model based on coverage of structural testing criteria. - Adalberto Nobiato Crespo; Mário Jino; Alberto Pasquini; José Carlos Maldonado (Empir. Softw. Eng., 2008)

Applying Code Coverage Approach to an Infinite Failure Software Reliability Model. - Adalberto Nobiato Crespo; Alberto Pasquini; Mário Jino; José Carlos Maldonado (SBES, 2009)

Formal tasks and systems models as a tool for specifying and assessing automation designs. - Célia Martinie; Philippe A. Palanque; Eric Barboni; Marco Winckler; Martina Ragosta; Alberto Pasquini; Paola Lanzi (ATACCS, 2011)

A critical view of severity classification in risk assessment methods. - Alberto Pasquini; Simone Pozzi; Luca Save (Reliab. Eng. Syst. Saf., 2011)

Using complementary models-based approaches for representing and analysing ATM systems' variability. - Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta; E. Rigaud; Sara Silvagni (ATACCS, 2012)

Model-based dynamic distribution of user interfaces of critical interactive systems. - David Navarre; Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta (ATACCS, 2013)

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. - Célia Martinie; Philippe A. Palanque; Martina Ragosta; Mark-Alexander Sujan; David Navarre; Alberto Pasquini (SAFECOMP, 2013)

Towards a measure of Resilience. - Alberto Pasquini; Martina Ragosta; Ivonne A. Herrera; Audun Vennesland (ATACCS, 2015)