BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × The Netherlands
1 × USA
2 × Estonia
Collaborated with:
A.Lluch-Lafuente F.Gadducci ∅ M.Tribastone R.Bruni A.Corradini S.Gilmore F.Corradini F.Fornari A.Polini B.R.0001 F.Tiezzi M.H.t.Beek A.Legay L.Cardelli M.Tschaikowski
Talks about:
model (5) system (3) verif (3) counterpart (2) framework (2) properti (2) quantit (2) process (2) analysi (2) adapt (2)

Person: Andrea Vandin

DBLP DBLP: Vandin:Andrea

Contributed to:

SPLC 20152015
IFM 20142014
FASE 20122012
ICGT 20122012
WRLA 20122012
GT-VMT 20112011
ICGT 20102010
ASE 20172017
POPL 20162016
QAPL 20172017

Wrote 12 papers:

SPLC-2015-BeekLLV #analysis #constraints #modelling #probability #product line #statistics
Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
IFM-2014-GilmoreTV #analysis #evaluation
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems (SG, MT, AV), pp. 71–86.
FASE-2012-BruniCGLV #adaptation #concept #framework
A Conceptual Framework for Adaptation (RB, AC, FG, ALL, AV), pp. 240–254.
ICGT-2012-GadducciLV #approximate #infinity #modelling
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models (FG, ALL, AV), pp. 51–65.
ICGT-2012-Vandin #specification #verification
Specification and Verification of Modal Properties for Structured Systems (AV), pp. 423–425.
WRLA-2012-BruniCGLV #adaptation #maude #modelling #self
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (RB, AC, FG, ALL, AV), pp. 118–138.
GT-VMT-2011-VandinL #graph #maude #model checking #towards
Towards a Maude Tool for Model Checking Temporal Graph Properties (AV, ALL).
ICGT-2010-GadducciLV #calculus #higher-order #semantics #μ-calculus
Counterpart Semantics for a Second-Order μ-Calculus (FG, ALL, AV), pp. 282–297.
ASE-2017-CorradiniFP0TV #framework #modelling #named #process #verification
BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
ASE-2017-CorradiniFP0TV17a #named #process #tool support #verification
BProVe: tool support for business process verification (FC, FF, AP, BR0, FT, AV), pp. 937–942.
POPL-2016-CardelliTTV #difference #symbolic computation
Symbolic computation of differential equivalences (LC, MT, MT, AV), pp. 137–150.
QAPL-2017-Vandin #abstraction
Language-based Abstractions for Dynamical Systems (AV), pp. 15–24.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.