Andrea Vandin

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 67

Top Topics

Boolean Networks

Differential Equations

Chemical Reaction

Top Venues

Theor. Comput. Sci.

Publications

Lorenzo Rossi, Andrea Vandin
Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation. SIGSIM-PADS (2024)
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
White-box validation of quantitative product lines by statistical model checking and process mining. J. Syst. Softw. 210 (2024)
Simone Tonini, Andrea Vandin, Francesca Chiaromonte, Daniele Licari, Fernando Barsacchi
Accurate and fast anomaly detection in industrial processes and IoT environments. CoRR (2024)
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
White-box validation of quantitative product lines by statistical model checking and process mining. CoRR (2024)
Roberto Casaluce, Andrea Burratin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining. DAMOCLES@AVI (2024)
Simone Tonini, Fernando Barsacchi, Francesca Chiaromonte, Daniele Licari, Andrea Vandin
Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes. ICPE (Companion) (2023)
Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Proper Lumping for Positive Bilinear Control Systems. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24 (1) (2023)
Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Coarse-graining Complex Networks for Control Equivalence. CoRR (2023)
Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134 (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. LICS (2023)
Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Approximate Constrained Lumping of Polynomial Differential Equations. CMSB (2023)
Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68 (11) (2023)
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB (2022)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. CoRR (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. CoRR (2022)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. 67 (7) (2022)
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Andrea Vandin
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement. Business Process Management Workshops (2022)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) (2022)
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST (2022)
Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
Exact maximal reduction of stochastic reaction networks by species lumping. CoRR (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS (2021)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR (2021)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180 (2021)
Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Lumpability for Uncertain Continuous-Time Markov Chains. QEST (2021)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR (2021)
Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte
Automated and Distributed Statistical Analysis of Economic Agent-Based Models. CoRR (2021)
Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
A large-scale assessment of exact lumping of quantitative models in the BioModels repository. Theor. Comput. Sci. 893 (2021)
Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. DataMod (2021)
Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37 (15) (2021)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB (2021)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109 (2021)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS (2020)
Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone
Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR (2020)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46 (3) (2020)
Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. CMSB (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Symbolic computation of differential equivalences. Theor. Comput. Sci. 777 (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. 765 (2019)
Andrea Vandin
RCR Report for Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
UTOPIC: Under-Approximation Through Optimal Control. QEST (2019)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST (2018)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR (2018)
Andrea Vandin
Replicated Computations Results (RCR) Report for "A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds". ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC (2018)
Mirco Tribastone, Andrea Vandin
Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. WSC (2018)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Backward Invariance for Linear Differential Algebraic Equations. CDC (2018)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Differential Equivalence Yields Network Centrality. ISoLA (3) (2018)
Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM (2018)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR (2017)
Andrea Vandin
Language-based Abstractions for Dynamical Systems. QAPL@ETAPS (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) (2017)
Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin
Transient and Steady-State Statistical Analysis for Discrete Event Simulators. IFM (2017)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
BProVe: tool support for business process verification. ASE (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools (2017)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
BProVe: a formal verification framework for business process models. ASE (2017)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
EGAC: a genetic algorithm to compare chemical reaction networks. GECCO (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114 (38) (2017)
Andrea Vandin, Mirco Tribastone
Quantitative Abstractions for Collective Adaptive Systems. SFM (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Syntax-Driven Lumping of Differential Equations. TACAS (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Symbolic computation of differential equivalences. POPL (2016)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. ISoLA (1) (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS (2016)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Statistical Model Checking for Product Lines. ISoLA (1) (2016)
Giulio Iacobelli, Mirco Tribastone, Andrea Vandin
Differential Bisimulation for a Markovian Process Algebra. MFCS (1) (2015)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99 (2015)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC (2015)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems (2015)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets (2015)
Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software (2014)
Danilo Pianini, Stefano Sebastio, Andrea Vandin
Distributed statistical analysis of complex systems modeled through a chemical metaphor. HPCS (2014)
Stephen Gilmore, Mirco Tribastone, Andrea Vandin
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. IFM (2014)
Stefano Sebastio, Andrea Vandin
MultiVeStA: statistical model checking for discrete event simulators. VALUETOOLS (2013)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013)
Andrea Vandin
Specification and Verification of Modal Properties for Structured Systems. ICGT (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA (2012)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A Conceptual Framework for Adaptation. FASE (2012)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118 (1-2) (2012)
Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Adaptable Transition Systems. WADT (2012)
Andrea Vandin, Alberto Lluch-Lafuente
Towards a Maude Tool for Model Checking Temporal Graph Properties. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
-Calculus. ICGT (2010)