| 2025 | ATVA | Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. | Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2025 | BPM | From Text to Process: Leveraging LLMs to Unveil Italian Lawmaking. | Matilde Contestabile, Chiara Ferrara, Alberto Giovannetti, Giovanni Parrillo, Andrea Vandin |
| 2024 | ICDM | Efficient Network Embedding by Approximate Equitable Partitions. | Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2024 | ISCC | Investigating Functional Data Analysis for Wearable Physiological Sensor Data in Stress Evaluation. | Luca Carmisciano, Tobia Boschi, Francesca Chiaromonte, Franca Delmastro, Andrea Vandin |
| 2024 | ISoLA | White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. | Roberto Casaluce, Max Tschaikowski, Andrea Vandin |
| 2024 | ISoLA | Formal Approaches for Modeling and Analysis of Business Process Collaborations. | Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin |
| 2024 | ISoLA | Optimality-Preserving Reduction of Chemical Reaction Networks. | Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2024 | PADS | Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation. | Lorenzo Rossi, Andrea Vandin |
| 2024 | VECoS | Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa. | Andrea Vandin |
| 2023 | LICS | Minimization of Dynamical Systems over Monoids. | Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2022 | BPM | Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement. | Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Andrea Vandin |
| 2022 | ISoLA | Formal Analysis of Lending Pools in Decentralized Finance. | Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin |
| 2021 | LICS | 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 |
| 2019 | IFM | 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 |
| 2018 | FM | QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. | Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente |
| 2018 | ISoLA | Differential Equivalence Yields Network Centrality. | Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2018 | WSC | Statistical Analysis of CARMA Models: an Advanced Tutorial. | Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin |
| 2018 | WSC | Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. | Mirco Tribastone, Andrea Vandin |
| 2017 | GECCO | EGAC: a genetic algorithm to compare chemical reaction networks. | Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2017 | IFM | Transient and Steady-State Statistical Analysis for Discrete Event Simulators. | Stephen Gilmore, Danil Reijsbergen, Andrea Vandin |
| 2017 | TACAS | ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | ISoLA | Statistical Model Checking for Product Lines. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2016 | ISoLA | A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. | Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin |
| 2016 | LICS | Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | POPL | Symbolic computation of differential equivalences. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | TACAS | Efficient Syntax-Driven Lumping of Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | CONCUR | Forward and Backward Bisimulations for Chemical Reaction Networks. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | MFCS | Differential Bisimulation for a Markovian Process Algebra. | Giulio Iacobelli, Mirco Tribastone, Andrea Vandin |
| 2015 | SPLC | Statistical analysis of probabilistic models of software product lines with quantitative constraints. | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
| 2014 | IFM | An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. | Stephen Gilmore, Mirco Tribastone, Andrea Vandin |
| 2012 | FASE | A Conceptual Framework for Adaptation. | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2012 | ICFEM | State Space c-Reductions of Concurrent Systems in Rewriting Logic. | Alberto Lluch-Lafuente, Jos Meseguer, Andrea Vandin |