The following pages link to Alessandro Fantechi (Q246444):
Displaying 19 items.
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- Compositionality and bisimulation: A negative result (Q1182130) (← links)
- Model checking for action-based logics (Q1326587) (← links)
- Assisting requirement formalization by means of natural language translation (Q1329090) (← links)
- Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker (Q2065535) (← links)
- Language and communication problems in formalization: a natural language approach (Q2117584) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- Formally verifying fault tolerant system designs (Q2730080) (← links)
- Finite approximations for model checking non-finite-state processes (Q2747754) (← links)
- (Q3030238) (← links)
- (Q4260381) (← links)
- An action-based framework for veryfying logical and behavioural properties of concurrent systems (Q4697197) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464474) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900951) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Editorial (Q5970748) (← links)
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation (Q6162105) (← links)
- Coherent modal transition systems refinement (Q6197588) (← links)
- Compositional verification of railway interlocking systems (Q6610256) (← links)
