Cinzia Bernardeschi

From MaRDI portal
Person:264191

Available identifiers

zbMath Open bernardeschi.cinziaDBLP71/1762WikidataQ58997722 ScholiaQ58997722MaRDI QIDQ264191

List of research outcomes





PublicationDate of PublicationType
Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system2016-04-06Paper
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation2004-11-19Paper
https://portal.mardi4nfdi.de/entity/Q48187312004-10-01Paper
Abstract interpretation of operational semantics for secure information flow.2003-01-21Paper
Formally verifying fault tolerant system designs2001-10-01Paper
Temporal analysis of data flow control systems1998-11-15Paper
A Petri nets semantics for data flow networks1995-12-13Paper

Research outcomes over time

This page was built for person: Cinzia Bernardeschi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:264191&oldid=10601666"
Powered by MediaWiki