ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Cinzia Bernardeshi

Registered user since Sun 28 Oct 2018

Name: Cinzia Bernardeshi

Bio: Cinzia Bernardeschi received the Laurea degree in Computer Science in 1987 and the PhD degree in 1996, both from the University of Pisa, Pisa, Italy. She is associate professor of Computer Science Foundations at the Department of Information Engineering , School of Engineering of the University of Pisa . Her main research interests are in the area of software engineering, dependable systems and application of formal methods for specification and verification of safety-critical systems. Recent work includes reliability and security issues of cyber physical systems.

Country: Italy

Affiliation: Univ. of Pisa

Personal website: http://www.iet.unipi.it/c.bernardeschi/

Research interests: Model-based design, formal methods, formal verification,co-simulation. Fault-tolerant systems design.

Contributions

InterAVT 2019Committee Member in Program Committee within the InterAVT-track
Author of FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems within the InterAVT-track
MeTRiD 2019Author of Modeling and Simulation of Attacks on Cyber-physical Systems within the MeTRiD-track
Show activities from other conferences

ETAPS 2019-profile
View general profile