default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlberto Pasquini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[c24]Alberto Pasquini, Martina Ragosta
, Ivonne A. Herrera, Audun Vennesland:
Towards a measure of Resilience. ATACCS 2015: 121-128- [e3]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:
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. ACM 2015, ISBN 978-1-4503-3562-1 [contents] - 2013
- [c23]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: 66-75 - [c22]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: 216-227 - [e2]Antonio Moccia, Alberto Pasquini, Eduardo Garcia:
International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '13, Naples, Italy, May 28-30, 2013. ACM 2013, ISBN 978-1-4503-2249-2 [contents] - 2012
- [c21]Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta, E. Rigaud, Sara Silvagni:
Using complementary models-based approaches for representing and analysing ATM systems' variability. ATACCS 2012: 146-157 - 2011
- [j12]Alberto Pasquini, Simone Pozzi, Luca Save:
A critical view of severity classification in risk assessment methods. Reliab. Eng. Syst. Saf. 96(1): 53-63 (2011) - [c20]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: 50-59
2000 – 2009
- 2009
- [c19]Adalberto Nobiato Crespo, Alberto Pasquini, Mário Jino, José Carlos Maldonado:
Applying Code Coverage Approach to an Infinite Failure Software Reliability Model. SBES 2009: 216-226 - 2008
- [j11]Adalberto Nobiato Crespo, Mário Jino, Alberto Pasquini, José Carlos Maldonado:
A binomial software reliability model based on coverage of structural testing criteria. Empir. Softw. Eng. 13(2): 185-209 (2008) - [c18]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 - 2005
- [j10]Alberto Pasquini, Simone Pozzi:
Evaluation of air traffic management procedures - safety assessment in an experimental environment. Reliab. Eng. Syst. Saf. 89(1): 105-117 (2005) - 2003
- [c17]Alberto Pasquini, Simone Pozzi:
Safety Assessment of Experimental Air Traffc Management Procedures. SAFECOMP 2003: 354-367 - 2002
- [c16]Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini:
Contradictions and critical issues during system evolution. SAC 2002: 711-715 - 2001
- [j9]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): 111-142 (2001) - [j8]Karama Kanoun, Alberto Pasquini:
Safety, reliability and security of industrial computer systems. Reliab. Eng. Syst. Saf. 71(3): 227-228 (2001) - [j7]Alberto Pasquini, Giuliano Pistolesi, Antonio Rizzo:
Reliability analysis of systems based on software and human resources. IEEE Trans. Reliab. 50(4): 337-345 (2001) - [c15]Alberto Pasquini, Antonio Rizzo, Luca Save, Mark-Alexander Sujan:
Quantitative Evaluation and Operative Usage of Interactive Systems. ISSRE 2001: 356-361 - [c14]Alberto Pasquini, Antonio Rizzo, Luca Save:
Analysis of Incidents Involving Interactive Systems. SAFECOMP 2001: 100-108 - 2000
- [c13]Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini:
Dependability Evaluation: Model and Method Based on Activity Theory. SAFECOMP 2000: 406-419 - [c12]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: 211-226
1990 – 1999
- 1999
- [j6]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): 79-89 (1999) - [j5]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): 69-77 (1999) - [e1]Massimo Felici, Karama Kanoun, Alberto Pasquini:
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 [contents] - 1998
- [c11]Mark C. K. Yang, W. Eric Wong, Alberto Pasquini:
Applying testability to reliability estimation. ISSRE 1998: 90-99 - 1997
- [j4]Barbara A. Kitchenham, Stephen G. Linkman, Alberto Pasquini, Vincenzo Nanni:
The SQUID approach to defining a quality model. Softw. Qual. J. 6(3): 211-233 (1997) - [c10]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 - [c9]Alberto Pasquini, Giuliano Pistolesi, S. Risuleo, Antonio Rizzo, V. Veneziano:
Reliability analysis of systems based on software and human resources. ISSRE 1997: 348-355 - [c8]Adalberto Nobiato Crespo, Alberto Pasquini, Mário Jino, José Carlos Maldonado:
Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software. SBES 1997: 379-394 - 1996
- [j3]Alberto Pasquini:
Empirical Validation of a Domain Test Selection Criterion. J. Syst. Softw. 35(2): 107-117 (1996) - [j2]Alberto Pasquini, Elio De Agostino, Giuseppe Di Marco:
An input-domain based method to estimate software reliability. IEEE Trans. Reliab. 45(1): 95-105 (1996) - [j1]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): 531-540 (1996) - [c7]Adalberto Nobiato Crespo, Paolo Matrella, Alberto Pasquini:
Sensitivity of reliability growth models to operational profile errors. ISSRE 1996: 35-44 - [c6]Bruno Ciciani, Alberto Pasquini:
Software Reliability Models and Test Coverage. SAFECOMP 1996: 105-114 - [c5]Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo:
An Holistic Approach to Dependability? SAFECOMP 1996: 149-154 - 1995
- [c4]Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini:
On the correlation between code coverage and software reliability. ISSRE 1995: 124-132 - 1994
- [c3]Farokh B. Bastani, Alberto Pasquini:
Assessment of a sampling method for measuring safety-critical software reliability. ISSRE 1994: 93-102 - [c2]Alberto Pasquini:
Reliability growth modelling of software for process control systems. ISSRE 1994: 323-328 - 1993
- [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-29 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
