Alberto Pasquini

39 papers A* 1A 7B 9Misc 1Journal 12Unranked 7

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