The following pages link to Marco Bozzano (Q470018):
Displayed 22 items.
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits (Q470020) (← links)
- Formal reliability analysis of redundancy architectures (Q667523) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Diagnosability of fair transition systems (Q2152493) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- Analysis of cyclic fault propagation via ASP (Q2694609) (← links)
- (Q2763695) (← links)
- (Q2848685) (← links)
- (Q2849590) (← links)
- Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic (Q3449766) (← links)
- Formal Safety Assessment via Contract-Based Design (Q3457781) (← links)
- Symbolic Fault Tree Analysis for Reactive Systems (Q3510794) (← links)
- An effective fixpoint semantics for linear logic programs (Q4452612) (← links)
- (Q4472240) (← links)
- Model checking linear logic specifications (Q4669651) (← links)
- (Q4804903) (← links)
- On the Relations between Disjunctive and Linear Logic Programming (Q4923519) (← links)
- A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis (Q5423879) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703769) (← links)
- Computer Aided Verification (Q5716575) (← links)