Searching for authors named "Cinzia Bernardeschi" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Data Flow control systems: example of safety validation
- …Data Flow Control Systems: an Example of Safety Validation Cinzia Bernardeschi, Luca Simoncini…
- Cited by 2 (2 self) – Add To MetaCart
-
A space-aware bytecode verifier for Java Cards
- …A space-aware bytecode verifier for Java Cards Cinzia Bernardeschi, Giuseppe Lettieri, Luca…
- Cited by 2 (1 self) – Add To MetaCart
-
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study
- …Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study Cinzia Bernardeschi…
- Cited by 3 (2 self) – Add To MetaCart
-
Java Bytecode Verification With Dynamic Structures
- … gets worse. Many approaches are trying to develop an on-card verifier Cinzia Bernardeschi, Luca Martini…
- Add To MetaCart
-
Proving Safety Properties for Embedded Control Systems
- …Proving Safety Properties for Embedded Control Systems Cinzia Bernardeschi 1 , Alessandro…
- Cited by 2 (0 self) – Add To MetaCart
-
A Formal Verification Environment for Railway Signaling System Design
- … Verification Environment for Railway Signaling System Design * CINZIA BERNARDESCHI cinzia…
- Cited by 7 (5 self) – Add To MetaCart
Showing 1 through 6.
