Andrea Vandin
Andrea Vandin
Sant'Anna School for Advanced Studies, Italy
Email verificata su santannapisa.it - Home page
Titolo
Citata da
Citata da
Anno
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin
International Conference on Fundamental Approaches to Software Engineering …, 2012
1002012
MultiVeStA: Statistical model checking for discrete event simulators
S Sebastio, A Vandin
IMT Institute for Advanced Studies Lucca, 2013
752013
The SCEL language: design, implementation, verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems, 3-71, 2015
552015
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
26th International Conference on Concurrency Theory, CONCUR 2015, 226--239, 2015
452015
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
392016
Statistical analysis of probabilistic models of software product lines with quantitative constraints
MH ter Beek, A Legay, AL Lafuente, A Vandin
Proceedings of the 19th International Conference on Software Product Line, 11-15, 2015
382015
ERODE: A tool for the evaluation and reduction of ordinary differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
International Conference on Tools and Algorithms for the Construction and …, 2017
352017
Maximal aggregation of polynomial dynamical systems
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Proceedings of the National Academy of Sciences 114 (38), 10029-10034, 2017
292017
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin
International Symposium on Leveraging Applications of Formal Methods, 657-673, 2016
292016
Modelling and analyzing adaptive self-assembly strategies with Maude
R Bruni, A Corradini, F Gadducci, A Lluch-Lafuente, A Vandin
292012
Efficient syntax-driven lumping of differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
International Conference on Tools and Algorithms for the Construction and …, 2016
272016
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
AV Luca Cardelli, Mirco Tribastone, Max Tschaikowski
31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, 485--494, 2016
27*2016
Reasoning (on) service component ensembles in rewriting logic
L Belzner, R De Nicola, A Vandin, M Wirsing
Specification, Algebra, and Software, 188-211, 2014
252014
Statistical model checking for product lines
MH Ter Beek, A Legay, AL Lafuente, A Vandin
International Symposium on Leveraging Applications of Formal Methods, 114-133, 2016
232016
A framework for quantitative modeling and analysis of highly (re) configurable systems
MH ter Beek, A Legay, AL Lafuente, A Vandin
IEEE Transactions on Software Engineering, 2018
222018
Distributed statistical analysis of complex systems modeled through a chemical metaphor
D Pianini, S Sebastio, A Vandin
2014 International Conference on High Performance Computing & Simulation …, 2014
222014
BProVe: a formal verification framework for business process models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
212017
Modelling and analyzing adaptive self-assembly strategies with Maude
R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin
Science of Computer Programming 99, 75-94, 2015
212015
Differential bisimulation for a Markovian process algebra
G Iacobelli, M Tribastone, A Vandin
International Symposium on Mathematical Foundations of Computer Science, 293-306, 2015
202015
Quantitative analysis of probabilistic models of software product lines with statistical model checking
MH ter Beek, A Legay, AL Lafuente, A Vandin
6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS …, 2015
182015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20