Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrea 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
[j18]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: 111983 (2024)- [i17]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) - 2023
- [j17]Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24(1): 212 (2023) - [j16]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: 100876 (2023) - [j15]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): 6557-6572 (2023) - [c51]Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Approximate Constrained Lumping of Polynomial Differential Equations. CMSB 2023: 106-123 - [c50]Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. LICS 2023: 1-14 - [c49]Simone Tonini, Fernando Barsacchi, Francesca Chiaromonte, Daniele Licari, Andrea Vandin:
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, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. 67(7): 3484-3493 (2022) - [c48]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: 243-256 - [c47]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: 294-301 - [c46]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: 335-355 - [c45]Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST 2022: 173-191 - [i13]Massimo Bartoletti, James Hsin-yu Chiang, Tommi 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, Max Tschaikowski, Andrea Vandin, Tabea Waizmann:
Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37(15): 2175-2182 (2021) - [j12]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021) - [j11]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: 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, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB 2021: 1-18 - [c43]Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte:
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. DataMod 2021: 3-6 - [c42]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: 1-14 - [c41]Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
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, 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): 321-345 (2020) - [c40]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: 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, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. 765: 47-66 (2019) - [j7]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
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, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
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, Andrea Vandin:
UTOPIC: Under-Approximation Through Optimal Control. QEST 2019: 277-291 - 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, Andrea Vandin:
Backward Invariance for Linear Differential Algebraic Equations. CDC 2018: 3771-3776 - [c35]Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente:
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM 2018: 329-337 - [c34]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Differential Equivalence Yields Network Centrality. ISoLA (3) 2018: 186-201 - [c33]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
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, Anastasis Georgoulas, Michele Loreti, Andrea Vandin:
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, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114(38): 10029-10034 (2017) - [c30]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools 2017: 466-483 - [c29]Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
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, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin:
BProVe: a formal verification framework for business process models. ASE 2017: 217-228 - [c26]Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin:
BProVe: tool support for business process verification. ASE 2017: 937-942 - [c25]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
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, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Statistical Model Checking for Product Lines. ISoLA (1) 2016: 114-133 - [c22]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: 657-673 - [c21]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS 2016: 485-494 - [c20]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. POPL 2016: 137-150 - [c19]Andrea Vandin, Mirco Tribastone:
Quantitative Abstractions for Collective Adaptive Systems. SFM 2016: 202-232 - [c18]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Syntax-Driven Lumping of Differential Equations. TACAS 2016: 93-111 - 2015
- [j3]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
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, Andrea Vandin:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [c15]Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR 2015: 226-239 - [c14]Giulio Iacobelli, Mirco Tribastone, Andrea Vandin:
Differential Bisimulation for a Markovian Process Algebra. MFCS (1) 2015: 293-306 - [c13]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: 11-15 - [c12]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: 56-70 - [p3]Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
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, Andrea Vandin, Martin Wirsing:
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, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev:
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, Andrea Vandin, Martin Wirsing:
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 2014: 188-211 - [c10]Danilo Pianini, Stefano Sebastio, Andrea Vandin:
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, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012) - [c7]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c6]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
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, José Meseguer, Andrea Vandin:
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446 - [c3]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. WADT 2012: 95-110 - [c2]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
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, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297
Coauthor Index
a service of 
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-03-24 00:06 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:
