Eliciting information for safety assessmentPASQUINI, Alberto; POZZI, Simone; MCAULEY, Gerard et al.Safety science. 2008, Vol 46, Num 10, pp 1469-1482, issn 0925-7535, 14 p.Article

Analysis of incidents involving interactive systemsPASQUINI, Alberto; RIZZO, Antonio; SAVE, Luca et al.Lecture notes in computer science. 2001, pp 100-108, issn 0302-9743, isbn 3-540-42607-8Conference Paper

Evaluating the contribution of Desktop VR for safety-critical applicationsJOHNSON, C.Lecture notes in computer science. 1999, pp 67-78, issn 0302-9743, isbn 3-540-66488-2Conference Paper

A first step towards the integration of accident reports and constructive design documentsJOHNSON, C.Lecture notes in computer science. 1999, pp 286-296, issn 0302-9743, isbn 3-540-66488-2Conference Paper

A critical view of severity classification in risk assessment methods : Safecomp 2008PASQUINI, Alberto; POZZI, Simone; SAVE, Luca et al.Reliability engineering & systems safety. 2011, Vol 96, Num 1, pp 53-63, issn 0951-8320, 11 p.Article

Evaluation of air traffic management procedures: safety assessment in an experimental environmentPASQUINI, Alberto; POZZI, Simone.Reliability engineering & systems safety. 2005, Vol 89, Num 1, pp 105-117, issn 0951-8320, 13 p.Conference Paper

Dependability requirements and security architectures for the healthcare/medical sectorTROUESSIN, G.Lecture notes in computer science. 1999, pp 445-458, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Computer safety, reliability and security (Toulouse, 27-29 September 1999)Felici, Massimo; Kanoun, Karama; Pasquini, Alberto et al.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66488-2, XVIII, 482 p, isbn 3-540-66488-2Conference Proceedings

Patterns for safer human-computer interfacesHUSSEY, A.Lecture notes in computer science. 1999, pp 103-112, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Programming rule static verification for reliable softwareROBERT, P.Lecture notes in computer science. 1999, pp 239-249, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Safety evaluation of a Train Leader Telephone SystemDAHLL, G.Lecture notes in computer science. 1999, pp 46-57, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Safety assessment of experimental Air Traffic management proceduresPASQUINI, Alberto; POZZI, Simone.Lecture notes in computer science. 2003, pp 354-367, issn 0302-9743, isbn 3-540-20126-2, 14 p.Conference Paper

Automated black-box testing with abstract VDM oraclesAICHERNIG, B. K.Lecture notes in computer science. 1999, pp 250-259, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Monitoring Resilience. A socio-technical perspective on incident reportingPASQUINI, Alberto; POZZI, Simone; SAVE, Luca et al.Collection Sciences économiques et sociales. 2008, pp 215-218, isbn 978-2-35671-012-3, 1Vol, 4 p.Conference Paper

Human performance reliability in the design-for-usability life cycle for safety human-computer interfacesLEITE FILGUEIRAS, L. V.Lecture notes in computer science. 1999, pp 79-88, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Extendable ground-to-air communication architecture for CoDySaPAKSTAS, A; SHAGAEV, I.Lecture notes in computer science. 1999, pp 187-201, issn 0302-9743, isbn 3-540-66488-2Conference Paper

On formal languages for sequences of authorization transformationsYUN BAI; VARADHARAJAN, V.Lecture notes in computer science. 1999, pp 375-384, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Assessment and Certification of safety - critical digital architectures: The ACRuDA ProjectSONNECK, G; SCHOITSCH, E.Lecture notes in computer science. 1999, pp 39-45, issn 0302-9743, isbn 3-540-66488-2Conference Paper

A method for operator error detection based on plan recognitionMO, J; CROUZET, Y.Lecture notes in computer science. 1999, pp 125-138, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Hardware redundant vital computers : Demonstration of safety on the basis of current standardsKREBS, H; MITRA, S.Lecture notes in computer science. 1999, pp 153-162, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Hazard analysis in formal specificationSERE, K; TROUBITSYNA, E.Lecture notes in computer science. 1999, pp 350-360, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Modeling safety-critical systems with Z and Petri netsHEINER, M; HEISEL, M.Lecture notes in computer science. 1999, pp 361-374, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Safety analysis techniques for validating formal models during verificationDE LEMOS, R; SAEED, A.Lecture notes in computer science. 1999, pp 58-66, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Software reliability engineering in industryMUSA, J. D.Lecture notes in computer science. 1999, pp 1-12, issn 0302-9743, isbn 3-540-66488-2Conference Paper

Dependability evaluation : Model and method based on activity theorySUJAN, Mark-Alexander; RIZZO, Antonio; PASQUINI, Alberto et al.Lecture notes in computer science. 2000, pp 406-419, issn 0302-9743, isbn 3-540-41186-0Conference Paper