Sfoglia per Autore
Counterpart semantics for a second-order mu-calculus
2010-01-01 Gadducci, F; Lluch Lafuente, A; Vandin, A
Towards a Maude tool for model checking temporal graph properties
2011-01-01 Vandin, A; Luch Lafuente, A
A conceptual framework for adaptation
2012-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Counterpart semantics for a second-order mu-calculus
2012-01-01 Gadducci, F; Lluch Lafuente, A; Vandin, A
State space c-reductions of concurrent systems in rewriting logic
2012-01-01 Lluch Lafuente, A; Meseguer, J; Vandin, A
Modelling and analyzing adaptive self-assembly strategies with Maude
2012-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Exploiting over- and under-approximations for infinite-state counterpart models
2012-01-01 Gadducci, F; Lluch Lafuente, A; Vandin, A
Specification and verification of modal properties for structured systems
2012-01-01 Vandin, A
MultiVeStA: Statistical model checking for discrete event simulators
2013-01-01 Sebastio, S; Vandin, A
Adaptable transition systems
2013-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Distributed statistical analysis of complex systems modeled through a chemical metaphor
2014-01-01 Pianini, D; Sebastio, S; Vandin, A
An analysis pathway for the quantitative evaluation of public transport systems
2014-01-01 Gilmore, S; Tribastone, M; Vandin, A
Reasoning (on) service component ensembles in rewriting logic
2014-01-01 Belzner, L; De Nicola, R; Vandin, A; Wirsing, M
A white box perspective on behavioural adaptation
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Tools for ensemble design and runtime
2015-01-01 Abeywickrama, D B; Combaz, J; Horky, V; Keznikl, J; Kofron, J; Luch Lafuente, A; Loreti, M; Margheri, A; Mayer, P; Monreale, V; Montanari, U; Pinciroli, C; Tuma, P; Vandin, A; Vassev, E
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
2015-01-01 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
Awareness and Control in Adaptable Transition Systems
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
The SCEL language: Design, implementation, verification
2015-01-01 De Nicola, R; Latella, D; Lluch Lafuente, A; Loreti, M; Margheri, A; Massink, M; Morichetta, A; Pugliese, R; Tiezzi, F; Vandin, A
Differential bisimulation for a Markovian process algebra
2015-01-01 Iacobelli, G; Tribastone, M; Vandin, A
Statistical analysis of probabilistic models of software product lines with quantitative constraints
2015-01-01 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Counterpart semantics for a second-order mu-calculus | 1-gen-2010 | Gadducci, F; Lluch Lafuente, A; Vandin, A | |
Towards a Maude tool for model checking temporal graph properties | 1-gen-2011 | Vandin, A; Luch Lafuente, A | |
A conceptual framework for adaptation | 1-gen-2012 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
Counterpart semantics for a second-order mu-calculus | 1-gen-2012 | Gadducci, F; Lluch Lafuente, A; Vandin, A | |
State space c-reductions of concurrent systems in rewriting logic | 1-gen-2012 | Lluch Lafuente, A; Meseguer, J; Vandin, A | |
Modelling and analyzing adaptive self-assembly strategies with Maude | 1-gen-2012 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
Exploiting over- and under-approximations for infinite-state counterpart models | 1-gen-2012 | Gadducci, F; Lluch Lafuente, A; Vandin, A | |
Specification and verification of modal properties for structured systems | 1-gen-2012 | Vandin, A | |
MultiVeStA: Statistical model checking for discrete event simulators | 1-gen-2013 | Sebastio, S; Vandin, A | |
Adaptable transition systems | 1-gen-2013 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
Distributed statistical analysis of complex systems modeled through a chemical metaphor | 1-gen-2014 | Pianini, D; Sebastio, S; Vandin, A | |
An analysis pathway for the quantitative evaluation of public transport systems | 1-gen-2014 | Gilmore, S; Tribastone, M; Vandin, A | |
Reasoning (on) service component ensembles in rewriting logic | 1-gen-2014 | Belzner, L; De Nicola, R; Vandin, A; Wirsing, M | |
A white box perspective on behavioural adaptation | 1-gen-2015 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
Tools for ensemble design and runtime | 1-gen-2015 | Abeywickrama, D B; Combaz, J; Horky, V; Keznikl, J; Kofron, J; Luch Lafuente, A; Loreti, M; Margheri, A; Mayer, P; Monreale, V; Montanari, U; Pinciroli, C; Tuma, P; Vandin, A; Vassev, E | |
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking | 1-gen-2015 | ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A | |
Awareness and Control in Adaptable Transition Systems | 1-gen-2015 | Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A | |
The SCEL language: Design, implementation, verification | 1-gen-2015 | De Nicola, R; Latella, D; Lluch Lafuente, A; Loreti, M; Margheri, A; Massink, M; Morichetta, A; Pugliese, R; Tiezzi, F; Vandin, A | |
Differential bisimulation for a Markovian process algebra | 1-gen-2015 | Iacobelli, G; Tribastone, M; Vandin, A | |
Statistical analysis of probabilistic models of software product lines with quantitative constraints | 1-gen-2015 | ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile