Alberto Pasquini

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. ATACSS 2012: 146-157

Alberto Pasquini, Simone Pozzi, Luca Save: A critical view of severity classification in risk assessment methods. Rel. Eng. & Sys. Safety 96(1): 53-63 (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. ATACSS 2011: 50-59

Adalberto Nobiato Crespo, Mario Jino, Alberto Pasquini, José Carlos Maldonado: A binomial software reliability model based on coverage of structural testing criteria. Empirical Software Engineering 13(2): 185-209 (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: 387-400

Alberto Pasquini, Simone Pozzi: Evaluation of air traffic management procedures - safety assessment in an experimental environment. Rel. Eng. & Sys. Safety 89(1): 105-117 (2005)

Alberto Pasquini, Simone Pozzi: Safety Assessment of Experimental Air Traffc Management Procedures. SAFECOMP 2003: 354-367

Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini: Contradictions and critical issues during system evolution. SAC 2002: 711-715

Márcio Eduardo Delamaro, José Carlos Maldonado, Alberto Pasquini, Aditya P. Mathur: Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Empirical Software Engineering 6(2): 111-142 (2001)

Alberto Pasquini, Antonio Rizzo, Luca Save, Mark-Alexander Sujan: Quantitative Evaluation and Operative Usage of Interactive Systems. ISSRE 2001: 356-361

Alberto Pasquini, Antonio Rizzo, Luca Save: Analysis of Incidents Involving Interactive Systems. SAFECOMP 2001: 100-108

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

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. Journal of Systems and Software 48(2): 79-89 (1999)

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

Massimo Felici, Karama Kanoun, Alberto Pasquini (Eds.): Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings. Lecture Notes in Computer Science 1698, Springer 1999, isbn 3-540-66488-2

Barbara Kitchenham, Stephen G. Linkman, Alberto Pasquini, Vincenzo Nanni: The SQUID approach to defining a quality model. Software Quality Journal 6(3): 211-233 (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: 522-528

Alberto Pasquini: Empirical Validation of a Domain Test Selection Criterion. Journal of Systems and Software 35(2): 107-117 (1996)

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