default search action
Andrea Vandin
Person information
- affiliation: Sant'Anna School of Advanced Studies, Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j19]Roberto Casaluce
, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente
White-box validation of quantitative product lines by statistical model checking and process mining. J. Syst. Softw. 210: 111983 (2024) - [j18]Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Proper Lumping for Positive Bilinear Control Systems. IEEE Trans. Autom. Control. 69(11): 8120-8127 (2024) - [c59]Antonio Jiménez-Pastor, Alexander Leguizamon-Robayo, Max Tschaikowski, Andrea Vandin
Approximate Reductions of Rational Dynamical Systems in CLUE. CMSB 2024: 108-116 - [c58]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: 9-20 - [c57]Luca Carmisciano, Tobia Boschi, Francesca Chiaromonte, Franca Delmastro, Andrea Vandin:
Investigating Functional Data Analysis for Wearable Physiological Sensor Data in Stress Evaluation. ISCC 2024: 1-6 - [c56]Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-Preserving Reduction of Chemical Reaction Networks. ISoLA (2) 2024: 13-32 - [c55]Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin:
Formal Approaches for Modeling and Analysis of Business Process Collaborations. ISoLA (1) 2024: 50-61 - [c54]Roberto Casaluce
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. ISoLA (1) 2024: 204-222 - [c53]Lorenzo Rossi
Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation. SIGSIM-PADS 2024: 131-132 - [c52]Giorgio Bacci
Dissimilarity for Linear Dynamical Systems. QEST+FORMATS 2024: 125-142 - [i19]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 abs/2401.13019 (2024) - [i18]Simone Tonini, Andrea Vandin, Francesca Chiaromonte, Daniele Licari, Fernando Barsacchi:
Accurate and fast anomaly detection in industrial processes and IoT environments. CoRR abs/2404.17925 (2024) - [i17]Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Network Embedding by Approximate Equitable Partitions. CoRR abs/2409.10160 (2024) - 2023
- [j17]Georgios Argyris, Alberto Lluch-Lafuente
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24(1): 212 (2023) - [j16]Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134: 100876 (2023) - [j15]Luca Cardelli
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68(11): 6557-6572 (2023) - [c51]Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor
Approximate Constrained Lumping of Polynomial Differential Equations. CMSB 2023: 106-123 - [c50]Georgios Argyris, Alberto Lluch-Lafuente
Minimization of Dynamical Systems over Monoids. LICS 2023: 1-14 - [c49]Simone Tonini
Towards Novel Statistical Methods for Anomaly Detection in Industrial Processes. ICPE (Companion) 2023: 147-153 - [i16]Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR abs/2301.08553 (2023) - [i15]Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Coarse-graining Complex Networks for Control Equivalence. CoRR abs/2312.07421 (2023) - [i14]Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Proper Lumping for Positive Bilinear Control Systems. CoRR abs/2312.08831 (2023) - 2022
- [j14]Stefano Tognazzi
Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. 67(7): 3484-3493 (2022) - [c48]Roberto Casaluce
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement. Business Process Management Workshops 2022: 243-256 - [c47]Georgios Argyris
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB 2022: 294-301 - [c46]Massimo Bartoletti
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) 2022: 335-355 - [c45]Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST 2022: 173-191 - [i13]Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. CoRR abs/2206.01333 (2022) - [i12]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. CoRR abs/2206.15169 (2022) - 2021
- [j13]Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone
Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37(15): 2175-2182 (2021) - [j12]Maurice H. ter Beek
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021) - [j11]Flavio Corradini, Fabrizio Fornari
A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180: 111007 (2021) - [j10]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: 41-59 (2021) - [c44]Georgios Argyris
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB 2021: 1-18 - [c43]Andrea Vandin
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. DataMod 2021: 3-6 - [c42]Giorgio Bacci
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS 2021: 1-14 - [c41]Luca Cardelli, Radu Grosu, Kim G. Larsen
Lumpability for Uncertain Continuous-Time Markov Chains. QEST 2021: 391-409 - [i11]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 abs/2101.03342 (2021) - [i10]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR abs/2101.08677 (2021) - [i9]Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte:
Automated and Distributed Statistical Analysis of Economic Agent-Based Models. CoRR abs/2102.05405 (2021) - [i8]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 abs/2104.13160 (2021) - [i7]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR abs/2106.15476 (2021) - 2020
- [j9]Maurice H. ter Beek
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46(3): 321-345 (2020) - [c40]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS 2020: 11:1-11:9 - [i6]Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone:
Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR abs/2006.06987 (2020)
2010 – 2019
- 2019
- [j8]Luca Cardelli
Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. 765: 47-66 (2019) - [j7]Luca Cardelli, Mirco Tribastone, Max Tschaikowski
Symbolic computation of differential equivalences. Theor. Comput. Sci. 777: 132-154 (2019) - [j6]Andrea Vandin
RCR Report for Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29(4): 21:1-21:2 (2019) - [c39]Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. CMSB 2019: 248-265 - [c38]Maurice H. ter Beek
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM 2019: 547-551 - [c37]Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski
UTOPIC: Under-Approximation Through Optimal Control. QEST 2019: 277-291 - [d1]Christian Bach, Christian Toftemann Bæk, Maurice H. ter Beek
Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios". Zenodo, 2019 - 2018
- [j5]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): 15:1-15:3 (2018) - [c36]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski
Backward Invariance for Linear Differential Algebraic Equations. CDC 2018: 3771-3776 - [c35]Andrea Vandin
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM 2018: 329-337 - [c34]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski
Differential Equivalence Yields Network Centrality. ISoLA (3) 2018: 186-201 - [c33]Luca Cardelli, Mirco Tribastone, Max Tschaikowski
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST 2018: 104-121 - [c32]Mirco Tribastone, Andrea Vandin
Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. WSC 2018: 336-350 - [c31]Vashti Galpin
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC 2018: 395-409 - [i5]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR abs/1807.06888 (2018) - 2017
- [j4]Luca Cardelli
Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114(38): 10029-10034 (2017) - [c30]Luca Cardelli
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools 2017: 466-483 - [c29]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski
EGAC: a genetic algorithm to compare chemical reaction networks. GECCO 2017: 833-840 - [c28]Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin
Transient and Steady-State Statistical Analysis for Discrete Event Simulators. IFM 2017: 145-160 - [c27]Flavio Corradini, Fabrizio Fornari
BProVe: a formal verification framework for business process models. ASE 2017: 217-228 - [c26]Flavio Corradini, Fabrizio Fornari
BProVe: tool support for business process verification. ASE 2017: 937-942 - [c25]Luca Cardelli
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) 2017: 310-328 - [c24]Andrea Vandin
Language-based Abstractions for Dynamical Systems. QAPL@ETAPS 2017: 15-24 - [i4]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR abs/1707.02132 (2017) - [i3]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR abs/1707.08411 (2017) - 2016
- [c23]Maurice H. ter Beek
Statistical Model Checking for Product Lines. ISoLA (1) 2016: 114-133 - [c22]Vincenzo Ciancia
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. ISoLA (1) 2016: 657-673 - [c21]Luca Cardelli
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS 2016: 485-494 - [c20]Luca Cardelli
Symbolic computation of differential equivalences. POPL 2016: 137-150 - [c19]Andrea Vandin
Quantitative Abstractions for Collective Adaptive Systems. SFM 2016: 202-232 - [c18]Luca Cardelli
Efficient Syntax-Driven Lumping of Differential Equations. TACAS 2016: 93-111 - 2015
- [j3]Roberto Bruni
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) - [c17]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c16]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [c15]Luca Cardelli
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR 2015: 226-239 - [c14]Giulio Iacobelli
Differential Bisimulation for a Markovian Process Algebra. MFCS (1) 2015: 293-306 - [c13]Maurice H. ter Beek
Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC 2015: 11-15 - [c12]Maurice H. ter Beek
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE 2015: 56-70 - [p3]Rocco De Nicola
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [p2]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - [p1]Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - [i2]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR abs/1507.00163 (2015) - 2014
- [c11]Lenz Belzner, Rocco De Nicola
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 2014: 188-211 - [c10]Danilo Pianini
Distributed statistical analysis of complex systems modeled through a chemical metaphor. HPCS 2014: 416-423 - [c9]Stephen Gilmore, Mirco Tribastone, Andrea Vandin
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. IFM 2014: 71-86 - 2013
- [c8]Stefano Sebastio, Andrea Vandin
MultiVeStA: statistical model checking for discrete event simulators. VALUETOOLS 2013: 310-315 - [i1]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013) - 2012
- [j2]Fabio Gadducci
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012) - [c7]Roberto Bruni
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c6]Fabio Gadducci
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65 - [c5]Andrea Vandin
Specification and Verification of Modal Properties for Structured Systems. ICGT 2012: 423-425 - [c4]Alberto Lluch-Lafuente
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446 - [c3]Roberto Bruni, Andrea Corradini
Adaptable Transition Systems. WADT 2012: 95-110 - [c2]Roberto Bruni
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138 - 2011
- [j1]Andrea Vandin, Alberto Lluch-Lafuente:
Towards a Maude Tool for Model Checking Temporal Graph Properties. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - 2010
- [c1]Fabio Gadducci
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: