Prof. Cinzia Bernardeschi

Università di Pisa · Dipartimento di Ingegneria dell'Informazione · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Cinzia Bernardeschi

Avizienis – Basic Concepts and Taxonomy of Dependable and… – Dependable And Secure Systems (Computer Engineering – sede di Pisa, 1º anno · 2º semestre · Cybersecurity · 9 CFU)
Nicol – Model-Based Evaluation – Dependable And Secure Systems (Computer Engineering – sede di Pisa, 1º anno · 2º semestre · Cybersecurity · 9 CFU)
John Knight. Fundamentals of Dependable Computing for Software – Dependable And Secure Systems (Computer Engineering – sede di Pisa, 1º anno · 2º semestre · Cybersecurity · 9 CFU)
Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer, – Dependable And Secure Systems (Computer Engineering – sede di Pisa, 1º anno · 2º semestre · Cybersecurity · 9 CFU)
Tomas Kulik – A Survey of Practical Formal Methods for… – Dependable And Secure Systems (Computer Engineering – sede di Pisa, 1º anno · 2º semestre · Cybersecurity · 9 CFU)

Materie del prof. Cinzia Bernardeschi

Dependable And Secure Systems Canale unico

Corso di laurea: Computer Engineering – sede di Pisa · Laurea magistrale (LM-32) · 1º anno · 2º semestre · Cybersecurity · 9 CFU

Pisa · Dipartimento di Ingegneria dell'Informazione · 9 CFU · apri nel catalogo · Computer Engineering – sede di Pisa · 1º anno · 2º semestre ›

Il docente indica 5 testi · da studiare tutti

Avizienis – Basic Concepts and Taxonomy of Dependable and…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Nicol – Model-Based Evaluation Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

John Knight. Fundamentals of Dependable Computing for Software Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Tomas Kulik – A Survey of Practical Formal Methods for…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Slides e materiale aggiuntivo fornito dal docente.

Argomenti del programma: Dependability and security. Non-malicious/malicious faults, errors and failures. Availability, Reliability, Safety, Confidentiality, Integrity, Maintainability. Hazard Analysis and risk assessment. Dependability design principles . Error detection and recovery. Fault masking. Redundant architectures. Hardware redundancy: Passive, Active and Hybrid techniques. Information redundancy: Coding.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Dependable And Secure Systems Canale unico

Corso di laurea: Cybersecurity – sede di Pisa · Laurea magistrale (LM-66) · 2º anno · 2º semestre · 9 CFU / 1º anno · 2º semestre · 9 CFU

Pisa · Dipartimento di Ingegneria dell'Informazione · 9 CFU · apri nel catalogo · Cybersecurity – sede di Pisa · 2º anno · 2º semestre ›

Il docente indica 5 testi · da studiare tutti

Avizienis – Basic Concepts and Taxonomy of Dependable and…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Nicol – Model-Based Evaluation Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

John Knight. Fundamentals of Dependable Computing for Software Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Tomas Kulik – A Survey of Practical Formal Methods for…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Slides e materiale aggiuntivo fornito dal docente.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Fondamenti di Informatica Canale unico

Corso di laurea: Ingegneria Biomedica – sede di Pisa · Laurea triennale (L-8) · 1º anno · 1º semestre · 6 CFU

Pisa · Dipartimento di Ingegneria dell'Informazione · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Cinzia Bernardeschi per Dependable And Secure Systems (Computer Engineering – sede di Pisa, canale unico)?

Avizienis – Basic Concepts and Taxonomy of Dependable and…; Nicol – Model-Based Evaluation; John Knight. Fundamentals of Dependable Computing for Software; Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,; Tomas Kulik – A Survey of Practical Formal Methods for…

Quali libri consiglia il prof. Cinzia Bernardeschi per Dependable And Secure Systems (Cybersecurity – sede di Pisa, canale unico)?