Alberto Pasquini

According to our database, Alberto Pasquini authored at least 34 papers between 1993 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Towards a measure of Resilience.

Alberto Pasquini, Martina Ragosta, Ivonne A. Herrera, Audun Vennesland

Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, 2015

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

Proceedings of the Computer Safety, Reliability, and Security, 2013

Model-based dynamic distribution of user interfaces of critical interactive systems.

David Navarre, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013

2012

Using complementary models-based approaches for representing and analysing ATM systems' variability.

Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta, E. Rigaud, S. Silvagni

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2012

2011

A critical view of severity classification in risk assessment methods.

Alberto Pasquini, Simone Pozzi, Luca Save

Reliab. Eng. Syst. Saf., 2011

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

Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, 2011

2009

Applying Code Coverage Approach to an Infinite Failure Software Reliability Model.

Adalberto Nobiato Crespo, Alberto Pasquini, Mário Jino, José Carlos Maldonado

Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009

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

The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects.

Alberto Pasquini, Simone Pozzi, Luca Save

Proceedings of the Computer Safety, 2008

2005

Evaluation of air traffic management procedures - safety assessment in an experimental environment.

Alberto Pasquini, Simone Pozzi

Reliab. Eng. Syst. Saf., 2005

2003

Safety Assessment of Experimental Air Traffc Management Procedures.

Alberto Pasquini, Simone Pozzi

Proceedings of the Computer Safety, 2003

2002

Contradictions and critical issues during system evolution.

Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

2001

Reliability analysis of systems based on software and human resources.

Alberto Pasquini, Giuliano Pistolesi, Antonio Rizzo

IEEE Trans. Reliab., 2001

Safety, reliability and security of industrial computer systems.

Karama Kanoun, Alberto Pasquini

Reliab. Eng. Syst. Saf., 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

Analysis of Incidents Involving Interactive Systems.

Alberto Pasquini, Antonio Rizzo, Luca Save

Proceedings of the Computer Safety, 2001

Quantitative Evaluation and Operative Usage of Interactive Systems.

Alberto Pasquini, Antonio Rizzo, Luca Save, Mark-Alexander Sujan

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

2000

Dependability Evaluation: Model and Method Based on Activity Theory.

Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini

Proceedings of the Computer Safety, 2000

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

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

1998

Applying testability to reliability estimation.

Mark C. K. Yang, W. Eric Wong, Alberto Pasquini

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

1997

The SQUID approach to defining a quality model.

Barbara A. Kitchenham, Stephen G. Linkman, Alberto Pasquini, Vincenzo Nanni

Softw. Qual. J., 1997

Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software.

Adalberto Nobiato Crespo, Alberto Pasquini, Mário Jino, José Carlos Maldonado

Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

Reliability analysis of systems based on software and human resources.

Alberto Pasquini, Giuliano Pistolesi, S. Risuleo, Antonio Rizzo, V. Veneziano

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

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

An input-domain based method to estimate software reliability.

Alberto Pasquini, Elio De Agostino, Giuseppe Di Marco

IEEE Trans. Reliab., 1996

Empirical Validation of a Domain Test Selection Criterion.

Alberto Pasquini

J. Syst. Softw., 1996

An Holistic Approach to Dependability?

Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo

Proceedings of the 15th International Conference on Computer Safety, 1996

Software Reliability Models and Test Coverage.

Bruno Ciciani, Alberto Pasquini

Proceedings of the 15th International Conference on Computer Safety, 1996

Sensitivity of reliability growth models to operational profile errors.

Adalberto Nobiato Crespo, Paolo Matrella, Alberto Pasquini

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995

On the correlation between code coverage and software reliability.

Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994

Reliability growth modelling of software for process control systems.

Alberto Pasquini

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Assessment of a sampling method for measuring safety-critical software reliability.

Farokh B. Bastani, Alberto Pasquini

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1993

Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation.

Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini

Proceedings of the 15th International Conference on Software Engineering, 1993