default search action

combined dblp search
author search
venue search
publication search

ask others

Andrea Vandin

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jss/CasaluceBCLV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CasaluceBCLV24
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)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/JimenezPastorTTTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/JimenezPastorTTTV24
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)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/JimenezPastorLTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/JimenezPastorLTV24
Antonio Jiménez-Pastor, Alexander Leguizamon-Robayo, Max Tschaikowski, Andrea Vandin:
Approximate Reductions of Rational Dynamical Systems in CLUE. CMSB 2024: 108-116
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/damocles/CasaluceBCLV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/damocles/CasaluceBCLV24
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
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/CarmiscianoBCDV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/CarmiscianoBCDV24
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
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LarsenTTTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LarsenTTTV24
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-Preserving Reduction of Chemical Reaction Networks. ISoLA (2) 2024: 13-32
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CorradiniFRRPTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CorradiniFRRPTV24
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
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CasaluceTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CasaluceTV24
Roberto Casaluce, Max Tschaikowski, Andrea Vandin:
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. ISoLA (1) 2024: 204-222
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/pads/RossiV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pads/RossiV24
Lorenzo Rossi, Andrea Vandin:
Reproducibility Report for the Paper: Efficient Non-Blocking Event Management for Speculative Parallel Discrete Event Simulation. SIGSIM-PADS 2024: 131-132
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/plc2/CaponecchiaDCLV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plc2/CaponecchiaDCLV24
Vittoria Caponecchia, Bernardo D'Agostino, Giovanni Comandè, Daniele Licari, Andrea Vandin:
Towards visualizing and analysing legal proceedings with process mining. PLC@ICPM 2024: 46-57
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/qestformats/BacciBLSTTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qestformats/BacciBLSTTV24
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Dissimilarity for Linear Dynamical Systems. QEST+FORMATS 2024: 125-142
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13019
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-17925
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-17925
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-10160
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-10160
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Network Embedding by Approximate Equitable Partitions. CoRR abs/2409.10160 (2024)
2023
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/ArgyrisLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/ArgyrisLTTV23
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24(1): 212 (2023)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/CardelliSTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CardelliSTTV23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CardelliGLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CardelliGLTTV23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/LeguizamonRobayoJTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/LeguizamonRobayoJTTV23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ArgyrisLLTTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ArgyrisLLTTV23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/ToniniBCLV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/ToniniBCLV23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08553
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR abs/2301.08553 (2023)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-07421
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-07421
Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Coarse-graining Complex Networks for Control Equivalence. CoRR abs/2312.07421 (2023)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-08831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-08831
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/TognazziTTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/TognazziTTV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/CasaluceBCV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/CasaluceBCV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/ArgyrisLTTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/ArgyrisLTTV22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BartolettiCJLMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartolettiCJLMV22
Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) 2022: 335-355
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SquillaceTTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SquillaceTTV22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01333
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-15169
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-15169
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Minimization of Dynamical Systems over Monoids. CoRR abs/2206.15169 (2022)
2021
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/CardelliPTTVW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/CardelliPTTVW21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/BeekLLV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/BeekLLV21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/CorradiniFPRTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CorradiniFPRTV21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Perez-VeronaTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Perez-VeronaTV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/ArgyrisLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/ArgyrisLTTV21
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB 2021: 1-18
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/datamod/VandinGLC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/datamod/VandinGLC21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/0001BLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/0001BLTTV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CardelliGLTTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CardelliGLTTV21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-03342
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-03342
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-08677
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-08677
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-05405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-05405
Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte:
Automated and Distributed Statistical Analysis of Economic Agent-Based Models. CoRR abs/2102.05405 (2021)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-13160
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-13160
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-15476
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-15476
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BeekLLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BeekLLV20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/BeekLLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BeekLLV20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-06987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-06987
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CardelliTTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CardelliTTV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CardelliTTV19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CardelliTTV19a
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. Theor. Comput. Sci. 777: 132-154 (2019)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/Vandin19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/Vandin19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/Perez-VeronaTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/Perez-VeronaTV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeekLLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeekLLV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/DoncelGTTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/DoncelGTTV19
Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
UTOPIC: Under-Approximation Through Optimal Control. QEST 2019: 277-291
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/BachBBLLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BachBBLLV19
Christian Bach, Christian Toftemann Bæk, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios". Zenodo, 2019
2018
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tomacs/Vandin18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/Vandin18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TognazziTTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TognazziTTV18
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Backward Invariance for Linear Differential Algebraic Equations. CDC 2018: 3771-3776
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/VandinBLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/VandinBLL18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/TognazziTTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/TognazziTTV18
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Differential Equivalence Yields Network Centrality. ISoLA (3) 2018: 186-201
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/CardelliTTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/CardelliTTV18
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST 2018: 104-121
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/TribastoneV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/TribastoneV18
Mirco Tribastone, Andrea Vandin:
Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. WSC 2018: 336-350
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/GalpinGLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/GalpinGLV18
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin:
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC 2018: 395-409
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06888
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06888
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]
- view
  authority control:
- export record
  dblp key:
  - journals/pnas/CardelliTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pnas/CardelliTTV17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CardelliTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CardelliTTV17
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools 2017: 466-483
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/TognazziTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/TognazziTTV17
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
EGAC: a genetic algorithm to compare chemical reaction networks. GECCO 2017: 833-840
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GilmoreRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GilmoreRV17
Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin:
Transient and Steady-State Statistical Analysis for Discrete Event Simulators. IFM 2017: 145-160
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CorradiniFP0TV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CorradiniFP0TV17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CorradiniFP0TV17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CorradiniFP0TV17a
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin:
BProVe: tool support for business process verification. ASE 2017: 937-942
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CardelliTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CardelliTTV17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Vandin17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Vandin17
Andrea Vandin:
Language-based Abstractions for Dynamical Systems. QAPL@ETAPS 2017: 15-24
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CardelliTTV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CardelliTTV17
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR abs/1707.02132 (2017)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BeekLLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekLLV17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekLLV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekLLV16
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Statistical Model Checking for Product Lines. ISoLA (1) 2016: 114-133
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CianciaLMPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CianciaLMPV16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CardelliTTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CardelliTTV16
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS 2016: 485-494
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CardelliTTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CardelliTTV16
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. POPL 2016: 137-150
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/VandinT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/VandinT16
Andrea Vandin, Mirco Tribastone:
Quantitative Abstractions for Collective Adaptive Systems. SFM 2016: 202-232
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CardelliTTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CardelliTTV16
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Syntax-Driven Lumping of Differential Equations. TACAS 2016: 93-111
2015
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BruniCGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BruniCGLV15
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/BruniCGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BruniCGLV15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BruniCGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BruniCGLV15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/CardelliTTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CardelliTTV15
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR 2015: 226-239
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/IacobelliTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/IacobelliTV15
Giulio Iacobelli, Mirco Tribastone, Andrea Vandin:
Differential Bisimulation for a Markovian Process Algebra. MFCS (1) 2015: 293-306
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekLLV15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BeekLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BeekLLV15
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]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/NicolaLLLMMMPTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15
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]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/BruniCGHLVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BruniCGHLVW15
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]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/AbeywickramaCHKKLLMMMMPTVV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CardelliTTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CardelliTTV15
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR abs/1507.00163 (2015)
2014
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BelznerNVW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BelznerNVW14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcs/PianiniSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcs/PianiniSV14
Danilo Pianini, Stefano Sebastio, Andrea Vandin:
Distributed statistical analysis of complex systems modeled through a chemical metaphor. HPCS 2014: 416-423
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/GilmoreTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/GilmoreTV14
Stephen Gilmore, Mirco Tribastone, Andrea Vandin:
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. IFM 2014: 71-86
2013
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/valuetools/SebastioV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/valuetools/SebastioV13
Stefano Sebastio, Andrea Vandin:
MultiVeStA: statistical model checking for discrete event simulators. VALUETOOLS 2013: 310-315
[i1]
- view
  - electronic edition @ tinytocs.org (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/tinytocs/BruniCGLV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tinytocs/BruniCGLV13
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Adv. Math. Commun. 2 (2013)
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GadducciLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GadducciLV12
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012)
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BruniCGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BruniCGLV12
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/GadducciLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/GadducciLV12
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Vandin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Vandin12
Andrea Vandin:
Specification and Verification of Modal Properties for Structured Systems. ICGT 2012: 423-425
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Lluch-LafuenteMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Lluch-LafuenteMV12
Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin:
State Space c-Reductions of Concurrent Systems in Rewriting Logic. ICFEM 2012: 430-446
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wadt/BruniCGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/BruniCGLV12
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. WADT 2012: 95-110
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/BruniCGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BruniCGLV12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/VandinL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/VandinL11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/GadducciLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/GadducciLV10
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297

Coauthor Index

see FAQ

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.