The following pages link to Stefania Gnesi (Q246445):
Displayed 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)
- Finite Approximations for Model Checking Non-finite-state Processes (Q2747754) (← links)
- (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)
- From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL (Q6199107) (← links)