Andrea Vandin - RankMe

113 papers A* 7A 2B 11C 2Misc 2Journal 46Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Large Language Models for Patent Classification: Strengths, Trade-offs, and the Long Tail Effect. CoRR Lorenzo Emer, Marco Lippi, Andrea Mina, Andrea Vandin
2026	—	`ed.`	Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings QEST+FORMATS Pavithra Prabhakar, Andrea Vandin
2026	J	`jnl`	Replicated Computations Results (RCR) Report for "Towards Standardizing Validation Practices in Agent-Based Modeling: A Hierarchical ABM Validation Framework'. ACM Trans. Model. Comput. Simul. Andrea Vandin
2025	J	`jnl`	Approximate regular equivalence by partition refinement. Appl. Netw. Sci. Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	J	`jnl`	Coarse-Graining Complex Networks for Control Equivalence. IEEE Trans. Autom. Control. Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	B	`conf`	Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. ATVA Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	J	`jnl`	Statistical Model Checking of NetLogo Models. CoRR Marco Pangallo, Daniele Giachini, Andrea Vandin
2025	J	`jnl`	Stochastic conformance checking based on variable-length Markov chains. Inf. Syst. Emilio Incerto, Andrea Vandin, Sima Sarv Ahrabi
2025	J	`jnl`	The ProLiFIC dataset: Leveraging LLMs to Unveil the Italian Lawmaking Process. CoRR Matilde Contestabile, Chiara Ferrara, Alberto Giovannetti, Giovanni Parrillo, Andrea Vandin
2024	J	`jnl`	Accurate and fast anomaly detection in industrial processes and IoT environments. CoRR Simone Tonini, Andrea Vandin, Francesca Chiaromonte, Daniele Licari, Fernando Barsacchi
2024	J	`jnl`	Approximate Constrained Lumping of Chemical Reaction Networks. CoRR Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Approximate Reductions of Rational Dynamical Systems in CLUE. CMSB Antonio Jiménez-Pastor, Alexander Leguizamon-Robayo, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Dissimilarity for Linear Dynamical Systems. QEST+FORMATS Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	A*	`conf`	Efficient Network Embedding by Approximate Equitable Partitions. ICDM Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	Efficient Network Embedding by Approximate Equitable Partitions. CoRR Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining. DAMOCLES@AVI Roberto Casaluce, Andrea Burratin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
2024	—	`conf`	Formal Approaches for Modeling and Analysis of Business Process Collaborations. ISoLA (1) Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin
2024	C	`conf`	Investigating Functional Data Analysis for Wearable Physiological Sensor Data in Stress Evaluation. ISCC Luca Carmisciano, Tobia Boschi, Francesca Chiaromonte, Franca Delmastro, Andrea Vandin
2024	—	`conf`	Optimality-Preserving Reduction of Chemical Reaction Networks. ISoLA (2) Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	Proper Lumping for Positive Bilinear Control Systems. IEEE Trans. Autom. Control. Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation. SIGSIM-PADS Lorenzo Rossi, Andrea Vandin
2024	—	`conf`	Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa. AISoLA Andrea Vandin
2024	—	`conf`	Towards visualizing and analysing legal proceedings with process mining. PLC@ICPM Vittoria Caponecchia, Bernardo D'Agostino, Giovanni Comandè, Daniele Licari, Andrea Vandin
2024	—	`conf`	White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. ISoLA (1) Roberto Casaluce, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	White-box validation of quantitative product lines by statistical model checking and process mining. CoRR Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
2024	J	`jnl`	White-box validation of quantitative product lines by statistical model checking and process mining. J. Syst. Softw. Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
2023	J	`jnl`	Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	—	`conf`	Approximate Constrained Lumping of Polynomial Differential Equations. CMSB Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Coarse-graining Complex Networks for Control Equivalence. CoRR Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	A*	`conf`	Minimization of Dynamical Systems over Monoids. LICS Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Optimality-preserving Reduction of Chemical Reaction Networks. CoRR Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Proper Lumping for Positive Bilinear Control Systems. CoRR Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Reducing Boolean networks with backward equivalence. BMC Bioinform. Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	—	`conf`	Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes. ICPE (Companion) Simone Tonini, Fernando Barsacchi, Francesca Chiaromonte, Daniele Licari, Andrea Vandin
2022	—	`conf`	An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	J	`jnl`	Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
2022	J	`jnl`	Formal Analysis of Lending Pools in Decentralized Finance. CoRR Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
2022	J	`jnl`	Minimization of Dynamical Systems over Monoids. CoRR Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement. Business Process Management Workshops Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Andrea Vandin
2021	J	`jnl`	A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2021	J	`jnl`	A large-scale assessment of exact lumping of quantitative models in the BioModels repository. Theor. Comput. Sci. Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
2021	J	`jnl`	Automated and Distributed Statistical Analysis of Economic Agent-Based Models. CoRR Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte
2021	A*	`conf`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
2021	J	`jnl`	Exact maximal reduction of stochastic reaction networks by species lumping. CoRR Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
2021	—	`conf`	Lumpability for Uncertain Continuous-Time Markov Chains. QEST Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	—	`conf`	MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. DataMod Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte
2021	J	`jnl`	Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2021	J	`jnl`	Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2021	—	`conf`	Reducing Boolean Networks with Backward Boolean Equivalence. CMSB Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Reducing Boolean Networks with Backward Boolean Equivalence. CoRR Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2020	J	`jnl`	A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2020	J	`jnl`	Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone
2020	—	`conf`	Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2019	—	`conf`	A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. CMSB Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
2019	J	`jnl`	Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	J	`jnl`	RCR Report for Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. Andrea Vandin
2019	B	`conf`	Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2019	J	`jnl`	Symbolic computation of differential equivalences. Theor. Comput. Sci. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	—	`conf`	UTOPIC: Under-Approximation Through Optimal Control. QEST Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	—	`conf`	Backward Invariance for Linear Differential Algebraic Equations. CDC Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	—	`conf`	Differential Equivalence Yields Network Centrality. ISoLA (3) Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	—	`conf`	Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	J	`jnl`	Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	B	`conf`	QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
2018	J	`jnl`	Replicated Computations Results (RCR) Report for "A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds". ACM Trans. Model. Comput. Simul. Andrea Vandin
2018	Misc	`conf`	Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. WSC Mirco Tribastone, Andrea Vandin
2018	Misc	`conf`	Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
2017	J	`jnl`	A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2017	A*	`conf`	BProVe: a formal verification framework for business process models. ASE Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2017	A*	`conf`	BProVe: tool support for business process verification. ASE Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
2017	A	`conf`	EGAC: a genetic algorithm to compare chemical reaction networks. GECCO Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	—	`conf`	ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	—	`conf`	Language-based Abstractions for Dynamical Systems. QAPL Andrea Vandin
2017	J	`jnl`	Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	—	`conf`	Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	B	`conf`	Transient and Steady-State Statistical Analysis for Discrete Event Simulators. IFM Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin
2016	—	`conf`	A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. ISoLA (1) Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin
2016	A*	`conf`	Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	A	`conf`	Efficient Syntax-Driven Lumping of Differential Equations. TACAS Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	—	`conf`	Quantitative Abstractions for Collective Adaptive Systems. SFM Andrea Vandin, Mirco Tribastone
2016	—	`conf`	Statistical Model Checking for Product Lines. ISoLA (1) Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2016	A*	`conf`	Symbolic computation of differential equivalences. POPL Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	—	`conf`	A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`conf`	Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`conf`	Differential Bisimulation for a Markovian Process Algebra. MFCS (1) Giulio Iacobelli, Mirco Tribastone, Andrea Vandin
2015	B	`conf`	Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	J	`jnl`	Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	J	`jnl`	Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`conf`	Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`ch.`	Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing
2015	B	`conf`	Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
2015	—	`ch.`	The SCEL Language: Design, Implementation, Verification. The ASCENS Approach Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015	—	`ch.`	Tools for Ensemble Design and Runtime. The ASCENS Approach 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
2014	B	`conf`	An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. IFM Stephen Gilmore, Mirco Tribastone, Andrea Vandin
2014	—	`conf`	Distributed statistical analysis of complex systems modeled through a chemical metaphor. HPCS Danilo Pianini, Stefano Sebastio, Andrea Vandin
2014	—	`conf`	Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
2013	J	`jnl`	Adaptation is a Game. Tiny Trans. Comput. Sci. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2013	—	`conf`	MultiVeStA: statistical model checking for discrete event simulators. VALUETOOLS Stefano Sebastio, Andrea Vandin
2012	B	`conf`	A Conceptual Framework for Adaptation. FASE Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	—	`conf`	Adaptable Transition Systems. WADT Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	J	`jnl`	Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	B	`conf`	Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	—	`conf`	Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
2012	B	`conf`	Specification and Verification of Modal Properties for Structured Systems. ICGT Andrea Vandin
2012	C	`conf`	State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin
2011	J	`jnl`	Towards a Maude Tool for Model Checking Temporal Graph Properties. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrea Vandin, Alberto Lluch-Lafuente
2010	B	`conf`	Counterpart Semantics for a Second-Order ICGT Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin