Andrea Vandin

According to our database, Andrea Vandin authored at least 86 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Proper Lumping for Positive Bilinear Control Systems.

Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

IEEE Trans. Autom. Control., November, 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., April, 2024

Efficient Network Embedding by Approximate Equitable Partitions.

Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

CoRR, 2024

Accurate and fast anomaly detection in industrial processes and IoT environments.

Simone Tonini, Andrea Vandin, Francesca Chiaromonte, Daniele Licari, Fernando Barsacchi

CoRR, 2024

Dissimilarity for Linear Dynamical Systems.

Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation.

Lorenzo Rossi, Andrea Vandin

Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2024

Optimality-Preserving Reduction of Chemical Reaction Networks.

Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

Formal Approaches for Modeling and Analysis of Business Process Collaborations.

Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining.

Roberto Casaluce, Max Tschaikowski, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Investigating Functional Data Analysis for Wearable Physiological Sensor Data in Stress Evaluation.

Luca Carmisciano, Tobia Boschi, Francesca Chiaromonte, Franca Delmastro, Andrea Vandin

Proceedings of the IEEE Symposium on Computers and Communications, 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

Proceedings of the First International Workshop on Detection And Mitigation Of Cyber attacks that exploit human vuLnerabilitiES (DAMOCLES 2024) co-located with 17th International Conference on Advanced Visual Interfaces (AVI 2024), 2024

Approximate Reductions of Rational Dynamical Systems in CLUE.

Antonio Jiménez-Pastor, Alexander Leguizamon-Robayo, Max Tschaikowski, Andrea Vandin

Proceedings of the Computational Methods in Systems Biology, 2024

2023

Reducing Boolean networks with backward equivalence.

Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

BMC Bioinform., December, 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., November, 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., August, 2023

Coarse-graining Complex Networks for Control Equivalence.

Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

CoRR, 2023

Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes.

Simone Tonini, Fernando Barsacchi, Francesca Chiaromonte, Daniele Licari, Andrea Vandin

Proceedings of the Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023

Minimization of Dynamical Systems over Monoids.

Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Approximate Constrained Lumping of Polynomial Differential Equations.

Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Differential Equivalence for Linear Differential Algebraic Equations.

Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

IEEE Trans. Autom. Control., 2022

Minimization of Dynamical Systems over Monoids.

Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

CoRR, 2022

An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations.

Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence.

Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Computational Methods in Systems Biology, 2022

Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement.

Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Andrea Vandin

Proceedings of the Business Process Management Workshops, 2022

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

A formal approach for the analysis of BPMN collaboration models.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin

J. Syst. Softw., 2021

Automated and Distributed Statistical Analysis of Economic Agent-Based Models.

Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte

CoRR, 2021

Quantitative Security Risk Modeling and Analysis with RisQFLan.

Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin

Comput. Secur., 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

Lumpability for Uncertain Continuous-Time Markov Chains.

Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking.

Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte

Proceedings of the From Data to Models and Back, 2021

Reducing Boolean Networks with Backward Boolean Equivalence.

Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Computational Methods in Systems Biology, 2021

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

Improved estimations of stochastic chemical kinetics by finite state expansion.

Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone

CoRR, 2020

Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios.

Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

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

Dataset, June, 2019

RCR Report for Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL.

Andrea Vandin

ACM Trans. Model. Comput. Simul., 2019

Symbolic computation of differential equivalences.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Theor. Comput. Sci., 2019

Comparing chemical reaction networks: A categorical and algorithmic perspective.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Theor. Comput. Sci., 2019

UTOPIC: Under-Approximation Through Optimal Control.

Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 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

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository.

Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin

Proceedings of the Computational Methods in Systems Biology, 2019

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

Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial.

Mirco Tribastone, Andrea Vandin

Proceedings of the 2018 Winter Simulation Conference, 2018

Statistical Analysis of CARMA Models: an Advanced Tutorial.

Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin

Proceedings of the 2018 Winter Simulation Conference, 2018

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Differential Equivalence Yields Network Centrality.

Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems.

Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Backward Invariance for Linear Differential Algebraic Equations.

Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Maximal aggregation of polynomial dynamical systems.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proc. Natl. Acad. Sci. USA, 2017

Language-based Abstractions for Dynamical Systems.

Andrea Vandin

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

BProVe: tool support for business process verification.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Transient and Steady-State Statistical Analysis for Discrete Event Simulators.

Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

EGAC: a genetic algorithm to compare chemical reaction networks.

Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Syntactic Markovian Bisimulation for Chemical Reaction Networks.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Efficient Syntax-Driven Lumping of Differential Equations.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Quantitative Abstractions for Collective Adaptive Systems.

Andrea Vandin, Mirco Tribastone

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Model Checking for Product Lines.

Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

The SCEL Language: Design, Implementation, Verification.

Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing

Proceedings of the Software Engineering for Collective Autonomic Systems, 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, Petr Tuma, Andrea Vandin, Emil Vassev

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Modelling and analyzing adaptive self-assembly strategies with Maude.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Sci. Comput. Program., 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

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

Statistical analysis of probabilistic models of software product lines with quantitative constraints.

Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the 19th International Conference on Software Product Line, 2015

Differential Bisimulation for a Markovian Process Algebra.

Giulio Iacobelli, Mirco Tribastone, Andrea Vandin

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Forward and Backward Bisimulations for Chemical Reaction Networks.

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Proceedings of the 26th International Conference on Concurrency Theory, 2015

A White Box Perspective on Behavioural Adaptation.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the Software, 2015

Awareness and Control in Adaptable Transition Systems.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems.

Stephen Gilmore, Mirco Tribastone, Andrea Vandin

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Distributed statistical analysis of complex systems modeled through a chemical metaphor.

Danilo Pianini, Stefano Sebastio, Andrea Vandin

Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Reasoning (on) Service Component Ensembles in Rewriting Logic.

Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing

Proceedings of the Specification, Algebra, and Software, 2014

2013

Adaptation is a Game.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Tiny Trans. Comput. Sci., 2013

MultiVeStA: statistical model checking for discrete event simulators.

Stefano Sebastio, Andrea Vandin

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

2012

Counterpart Semantics for a Second-Order μ-Calculus.

Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Fundam. Informaticae, 2012

Adaptable Transition Systems.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

State Space c-Reductions of Concurrent Systems in Rewriting Logic.

Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin

Proceedings of the Formal Methods and Software Engineering, 2012

Specification and Verification of Modal Properties for Structured Systems.

Andrea Vandin

Proceedings of the Graph Transformations - 6th International Conference, 2012

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models.

Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the Graph Transformations - 6th International Conference, 2012

A Conceptual Framework for Adaptation.

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Towards a Maude Tool for Model Checking Temporal Graph Properties.

Andrea Vandin, Alberto Lluch-Lafuente

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Counterpart Semantics for a Second-Order <i>µ</i>-Calculus.

Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin

Proceedings of the Graph Transformations - 5th International Conference, 2010