Counterpart Semantics for a Second-Order µ-Calculus. - Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (ICGT, 2010)

Towards a Maude Tool for Model Checking Temporal Graph Properties. - Andrea Vandin; Alberto Lluch-Lafuente (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

A Conceptual Framework for Adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (FASE, 2012)

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. - Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (ICGT, 2012)

Specification and Verification of Modal Properties for Structured Systems. - Andrea Vandin (ICGT, 2012)

State Space c-Reductions of Concurrent Systems in Rewriting Logic. - Alberto Lluch-Lafuente; José Meseguer 001; Andrea Vandin (ICFEM, 2012)

Adaptable Transition Systems. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (WADT, 2012)

Counterpart Semantics for a Second-Order μ-Calculus. - Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Fundam. Informaticae, 2012)

MultiVeStA: statistical model checking for discrete event simulators. - Stefano Sebastio; Andrea Vandin (VALUETOOLS, 2013)

Adaptation is a Game. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Adv. Math. Commun., 2013)

Reasoning (on) Service Component Ensembles in Rewriting Logic. - Lenz Belzner; Rocco De Nicola; Andrea Vandin; Martin Wirsing (Specification, Algebra, and Software, 2014)

Distributed statistical analysis of complex systems modeled through a chemical metaphor. - Danilo Pianini; Stefano Sebastio; Andrea Vandin (HPCS, 2014)

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. - Stephen Gilmore; Mirco Tribastone; Andrea Vandin (IFM, 2014)

Awareness and Control in Adaptable Transition Systems. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (PNSE @ Petri Nets, 2015)

A White Box Perspective on Behavioural Adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Software, Services, and Systems, 2015)

Forward and Backward Bisimulations for Chemical Reaction Networks. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CONCUR, 2015)

Differential Bisimulation for a Markovian Process Algebra. - Giulio Iacobelli; Mirco Tribastone; Andrea Vandin (MFCS (1), 2015)

Statistical analysis of probabilistic models of software product lines with quantitative constraints. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (SPLC, 2015)

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (FMSPLE, 2015)

Modelling and analyzing adaptive self-assembly strategies with Maude. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Alberto Lluch-Lafuente; Andrea Vandin (Sci. Comput. Program., 2015)

Tools for Ensemble Design and Runtime. - Dhaminda B. Abeywickrama; Jacques Combaz; Vojtech Horký; Jaroslav Keznikl; Jan Kofron; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Philip Mayer; Giacoma Valentina Monreale; Ugo Montanari; Carlo Pinciroli; et al. (The ASCENS Approach, 2015)

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. - Roberto Bruni 001; Andrea Corradini 001; Fabio Gadducci; Matthias M. Hölzl; Alberto Lluch-Lafuente; Andrea Vandin; Martin Wirsing (The ASCENS Approach, 2015)

The SCEL Language: Design, Implementation, Verification. - Rocco De Nicola; Diego Latella; Alberto Lluch-Lafuente; Michele Loreti; Andrea Margheri; Mieke Massink; Andrea Morichetta 001; Rosario Pugliese; Francesco Tiezzi 001; Andrea Vandin (The ASCENS Approach, 2015)

Statistical Model Checking for Product Lines. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (ISoLA (1), 2016)

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. - Vincenzo Ciancia; Diego Latella; Mieke Massink; Rytis Paskauskas; Andrea Vandin (ISoLA (1), 2016)

Quantitative Abstractions for Collective Adaptive Systems. - Andrea Vandin; Mirco Tribastone (SFM, 2016)

Efficient Syntax-Driven Lumping of Differential Equations. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (TACAS, 2016)

Syntactic Markovian Bisimulation for Chemical Reaction Networks. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Models, Algorithms, Logics and Tools, 2017)

EGAC: a genetic algorithm to compare chemical reaction networks. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (GECCO, 2017)

Transient and Steady-State Statistical Analysis for Discrete Event Simulators. - Stephen Gilmore; Daniël Reijsbergen; Andrea Vandin (IFM, 2017)

BProVe: a formal verification framework for business process models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

BProVe: tool support for business process verification. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (ASE, 2017)

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (TACAS (2), 2017)

Language-based Abstractions for Dynamical Systems. - Andrea Vandin (QAPL@ETAPS, 2017)

Maximal aggregation of polynomial dynamical systems. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Proc. Natl. Acad. Sci. USA, 2017)

Backward Invariance for Linear Differential Algebraic Equations. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CDC, 2018)

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. - Andrea Vandin; Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente (FM, 2018)

Differential Equivalence Yields Network Centrality. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ISoLA (3), 2018)

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2018)

Statistical Analysis of CARMA Models: an Advanced Tutorial. - Vashti Galpin; Anastasis Georgoulas; Michele Loreti; Andrea Vandin (WSC, 2018)

Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. - Mirco Tribastone; Andrea Vandin (WSC, 2018)

Replicated Computations Results (RCR) Report for "A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds". - Andrea Vandin (ACM Trans. Model. Comput. Simul., 2018)

A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. - Isabel Cristina Pérez-Verona; Mirco Tribastone; Andrea Vandin (CMSB, 2019)

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (IFM, 2019)

UTOPIC: Under-Approximation Through Optimal Control. - Josu Doncel; Nicolas Gast; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2019)

Comparing chemical reaction networks: A categorical and algorithmic perspective. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Theor. Comput. Sci., 2019)

Symbolic computation of differential equivalences. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Theor. Comput. Sci., 2019)

RCR Report for Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL. - Andrea Vandin (ACM Trans. Model. Comput. Simul., 2019)

Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios". - Christian Bach; Christian Toftemann Bæk; Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (Zenodo, 2019)

Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (VaMoS, 2020)

Improved estimations of stochastic chemical kinetics by finite state expansion. - Tabea Waizmann; Luca Bortolussi; Andrea Vandin; Mirco Tribastone (CoRR, 2020)

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (IEEE Trans. Software Eng., 2020)

Reducing Boolean Networks with Backward Boolean Equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2021)

MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. - Andrea Vandin; Daniele Giachini; Francesco Lamperti; Francesca Chiaromonte (DataMod, 2021)

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2021)

Lumpability for Uncertain Continuous-Time Markov Chains. - Luca Cardelli; Radu Grosu; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2021)

Exact maximal reduction of stochastic reaction networks by species lumping. - Luca Cardelli; Isabel Cristina Pérez-Verona; Mirco Tribastone; Max Tschaikowski; Andrea Vandin; Tabea Waizmann (Bioinform., 2021)

Quantitative Security Risk Modeling and Analysis with RisQFLan. - Maurice H. ter Beek; Axel Legay; Alberto Lluch-Lafuente; Andrea Vandin (Comput. Secur., 2021)

Automated and Distributed Statistical Analysis of Economic Agent-Based Models. - Andrea Vandin; Daniele Giachini; Francesco Lamperti; Francesca Chiaromonte (CoRR, 2021)

A formal approach for the analysis of BPMN collaboration models. - Flavio Corradini; Fabrizio Fornari 001; Andrea Polini; Barbara Re 001; Francesco Tiezzi 001; Andrea Vandin (J. Syst. Softw., 2021)

A large-scale assessment of exact lumping of quantitative models in the BioModels repository. - Isabel Cristina Pérez-Verona; Mirco Tribastone; Andrea Vandin (Theor. Comput. Sci., 2021)

Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement. - Roberto Casaluce; Andrea Burattin; Francesca Chiaromonte; Andrea Vandin (Business Process Management Workshops, 2022)

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2022)

Formal Analysis of Lending Pools in Decentralized Finance. - Massimo Bartoletti; James Hsin-yu Chiang; Tommi A. Junttila; Alberto Lluch-Lafuente; Massimiliano Mirelli; Andrea Vandin (ISoLA (3), 2022)

An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2022)

Minimization of Dynamical Systems over Monoids. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CoRR, 2022)

Differential Equivalence for Linear Differential Algebraic Equations. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2022)

Approximate Constrained Lumping of Polynomial Differential Equations. - Alexander Leguizamon-Robayo; Antonio Jiménez-Pastor; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2023)

Minimization of Dynamical Systems over Monoids. - Georgios Argyris; Alberto Lluch-Lafuente; Alexander Leguizamon-Robayo; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2023)

Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes. - Simone Tonini; Fernando Barsacchi; Francesca Chiaromonte; Daniele Licari; Andrea Vandin (ICPE (Companion), 2023)

Formal lumping of polynomial differential equations through approximate equivalences. - Luca Cardelli; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (J. Log. Algebraic Methods Program., 2023)

Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. - Luca Cardelli; Radu Grosu; Kim Guldstrand Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2023)

Reducing Boolean networks with backward equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (BMC Bioinform., 2023)

Approximate Reductions of Rational Dynamical Systems in CLUE. - Antonio Jiménez-Pastor; Alexander Leguizamon-Robayo; Max Tschaikowski; Andrea Vandin (CMSB, 2024)

Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining. - Roberto Casaluce; Andrea Burratin; Francesca Chiaromonte; Alberto Lluch-Lafuente; Andrea Vandin (DAMOCLES@AVI, 2024)

Efficient Network Embedding by Approximate Equitable Partitions. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ICDM, 2024)

Investigating Functional Data Analysis for Wearable Physiological Sensor Data in Stress Evaluation. - Luca Carmisciano; Tobia Boschi; Francesca Chiaromonte; Franca Delmastro; Andrea Vandin (ISCC, 2024)

White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. - Roberto Casaluce; Max Tschaikowski; Andrea Vandin (ISoLA (1), 2024)

Formal Approaches for Modeling and Analysis of Business Process Collaborations. - Flavio Corradini; Fabrizio Fornari 001; Barbara Re 001; Lorenzo Rossi 001; Andrea Polini; Francesco Tiezzi 001; Andrea Vandin (ISoLA (1), 2024)

Optimality-Preserving Reduction of Chemical Reaction Networks. - Kim G. Larsen; Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ISoLA (2), 2024)

Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation. - Lorenzo Rossi 001; Andrea Vandin (SIGSIM-PADS, 2024)

Towards visualizing and analysing legal proceedings with process mining. - Vittoria Caponecchia; Bernardo D'Agostino; Giovanni Comandè; Daniele Licari; Andrea Vandin (PLC@ICPM, 2024)

Dissimilarity for Linear Dynamical Systems. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST+FORMATS, 2024)

Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa. - Andrea Vandin (AISoLA, 2024)

Accurate and fast anomaly detection in industrial processes and IoT environments. - Simone Tonini; Andrea Vandin; Francesca Chiaromonte; Daniele Licari; Fernando Barsacchi (CoRR, 2024)

Approximate Constrained Lumping of Chemical Reaction Networks. - Alexander Leguizamon-Robayo; Antonio Jiménez-Pastor; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CoRR, 2024)

White-box validation of quantitative product lines by statistical model checking and process mining. - Roberto Casaluce; Andrea Burattin; Francesca Chiaromonte; Alberto Lluch-Lafuente; Andrea Vandin (J. Syst. Softw., 2024)

Proper Lumping for Positive Bilinear Control Systems. - Antonio Jiménez-Pastor; Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2024)

Stochastic conformance checking based on variable-length Markov chains. - Emilio Incerto; Andrea Vandin; Sima Sarv Ahrabi (Inf. Syst., 2025)

Coarse-Graining Complex Networks for Control Equivalence. - Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2025)

Approximate regular equivalence by partition refinement. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Appl. Netw. Sci., 2025)