The following pages link to S. Gnesi (Q246445):
Displaying 28 items.
- An experience in using machine learning for short-term predictions in smart transportation systems (Q511935) (← links)
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← 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)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428) (← links)
- Language and communication problems in formalization: a natural language approach (Q2117584) (← links)
- On testing UML statecharts (Q2500697) (← links)
- A formal specification and validation of a critical system in presence of Byzantine errors (Q2729089) (← links)
- Finite approximations for model checking non-finite-state processes (Q2747754) (← links)
- Logical specification and analysis of fault tolerant systems through partial model checking (Q2849551) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section (Q3507368) (← links)
- (Q3814799) (← links)
- Dynamic Programming as Graph Searching: An Algebraic Approach (Q3926375) (← links)
- (Q3960141) (← links)
- (Q4260381) (← links)
- (Q4318992) (← links)
- An action-based framework for veryfying logical and behavioural properties of concurrent systems (Q4697197) (← links)
- (Q4952318) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- Modelling Dynamic Software Architectures using Typed Graph Grammars (Q5403458) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464474) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation (Q6162105) (← links)
- Coherent modal transition systems refinement (Q6197588) (← links)
