Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 75
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
Mostrati risultati da 1 a 20 di 75
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