Andrea Vandin

Contacts

Andrea Vandin,
Associate Professor,
DTU Compute,
Richard Petersens Plads, Building 324, Room 180,
DK-2800 Kgs. Lyngby, Denmark
Email: anvan@dtu.dk
Phone: +45 45 25 37 34

DBLP, Google Scholar, Scopus

Presentation

I am an Associate Professor within the section Formal Methods for Safe and Secure Systems at DTU Compute, as well as a Visiting Professor at IMT School for Advanced Studies Lucca, Italy.
Before that I was an Assistant Professor within the SysMA research unit of IMT School for Advanced Studies Lucca, Italy, as well as a member of the European Project QUANTICOL. In 2013-2015 I have been a Senior Research Assistant at the School of Electronics and Computer Science of Southampton University, United Kingdom, and a Teaching Assistant at Leicester University, United Kingdom. I received my PhD in Computer Science and Engineering, as well as the "Doctoral Europeaus" certification from IMT School for Advanced Studies Lucca, Italy, in 2013. I graduated in Computer Science at the University of Pisa, Italy.

Research Interests

I investigate several research lines of Computer Science, often regarding the development of languages, techniques and tools grounded on rigorous math for the modelling and analysis of dynamical systems in various domains. Dynamical systems across many branches of science and engineering can be described in terms of massively many entities, possibly interacting over large-scale networks. I am interested in the development of scalable techniques for the formal quantitative analysis of such systems, including simulation and model reduction. Currently, I am focusing on models interpreted as ordinary differential equations or Markov chains, including chemical reaction networks, stochastic process algebras/ Petri nets, and models of epidemics spreading, social networks, business processes, protein-interaction networks, and gene regulatory networks. I also consider qualitative abstractions of such systems, in the context of the recently granted Danish DFF RP1 project REDCUTO of which I am PI.

I am interested in applying my research in practice, and hence I provided tool support for most of my contributions. An example is ERODE, a fully-featured tool for the evaluation and reduction of dynamical systems.

Furthermore, I am also investigating statistical analysis techniques, and I developed the Statistical Model Checker MultiVeStA, which allows to easily enrich existing discrete-event simulators with automated distributed statistical analysis capabilities.

Projects

• Principal Investigator of the Danish DFF RP1 REDUCTO A novel approach to the reduction of Boolean Networks
  • ~ 366K EUR - 3.5 years - Planned start: late 2019
  • Low acceptance rate: in 2018 (previous year) in all areas of Natural Sciences:
    • 14.8% - only 5 grants in my age range 30-34 - average age 48
• Member of the European FP7-ICT STREP Project QUANTICOL (A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours), 2013-2017
• Member of the European FP7-ICT Integrated Project ASCENS (Autonomic Service-Component Ensembles), 2010-2014.
• Member of the Italian PRIN Project CINA (Compositionality, Interaction, Negotiation and Autonomicity for the future ICT), 2013

Selected Publications (& venue quality in CORE ranking)

(dblp, Google Scholar, Scopus, ORCID)

• A framework for quantitative modeling and analysis of highly (re)configurable systems, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, IEEE Transactions on Software Engineering (TSE), 2018 [draft], CORE: A*
• Backward Invariance for Linear Differential Algebraic Equations, Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 57th IEEE Conference on Decision and Control (CDC'18), [draft], CORE: A
• Maximal aggregation of polynomial dynamical systems, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Proceedings of the National Academy of Sciences (PNAS), 2017, [draft]
• BProVe: a Formal Verification Framework for Business Process Models, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin, 32nd Conference on IEEE/ACM International Conference on Automated Software Engineering (ASE'17), [draft], CORE: A
• ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 23rd Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17), Springer LNCS [draft], CORE: A
• Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin,
  • 35th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'16), ACM [draft], CORE: A*
  • Theoretical Computer Science (TCS), 2019 [draft], CORE: A
• Symbolic Computation of Differential Equivalences, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin,
  • 43rd Annual Symposium on Principles of Programming Languages (POPL'16), ACM [draft], CORE: A*
  • Theoretical Computer Science (TCS), 2019 [draft], CORE: A
• Efficient Syntax-driven Lumping of Differential Equations, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), Springer LNCS [draft], CORE: A
• Forward and backward bisimulations for chemical reaction networks, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 26th Conference on Concurrency Theory (CONCUR'15), LIPIcs [draft], CORE: A
• Modeling and Analyzing Adaptive Self-assembling Strategies with Maude, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, Science of Computer Programming (SCP), 2014 [draft], CORE: A

Selected Tools

• ERODE: Evaluation and Reduction of Ordinary Differential Equations
• MultiVeStA: Distributed Statistical Model Checking for Discrete Event Simulators
• BADGraph: Beahvioural Attack Defense Graphs for the Quantitative Analysis of Probabilistic Attack Scenarios
• QFLan: Quantitative modeling and analysis of highly (re)configurable systems

Teaching & Supervision

• At DTU
  • Responsible of the MSc course 02393 Programming in C++
  • Responsible of the MSc course 02247 Compiler Construction
  • Co-responsible of the MSc course 02246 Model Checking
  • Supervisor of the BSc project: "AlarmInsight", 02/09/2019-27/01/2020
  • Supervisor of the BSc project: "Statistical Model Checking for C++ Simulators: generalizing the MultiVeStA framework to C++ using JNI", 11/02/2019-17/06/2019
  • Supervisor of the BSc project: "MultiVeStA meets C++ simulators", 06/02/2019-12/06/2019
  • Co-supervisor of the MSc project: "Modeling and analysis in BADGraph: Analysis of system threats and Tool validation", 15/02/2019-12/07/2019
  • Supervisor of the BSc project: "BomberSumo: An online multiplayer game", 18/02/2019-13/05/2019
  • Co-supervisor of the BSc project: "A graphical extension/plugin to BADGraph: Visualizing and drawing security scenarios integrated with The Eclipse Foundation project Sirius", 06/02/2019-12/06/2019
  • Responsible/Supervisor of the special course: "Threat modelling and analysis in BADGraph", 02/01/2019-23/01/2019
  • Supervisor of the BSc project: "E-Comics: Electronic Comic Book Store and Streaming Service For Eudor Publishing Company", 03/10/2018-16/01/2019
  • Co-supervisor of the MSc project: "Vulnerability analysis using intruder and attack tree models", 02/01/2018-01/06/2018
  • Co-supervisor of the MSc project: "Model Reduction in Process Mining for Control Flow Discovery Purposes", 22/01/2018-22/07/2018
  • Co-supervisor of the BSc project: "CGull, automatic campaign records from Facebook, Adform and Google", 05/02/2018-04/06/2018
  • I can offer a number of BSc/MSc projects on themes related to the following:
    • ERODE: Evaluation and Reduction of Ordinary Differential Equations
    • Join the BADGraph family
    • Join the MultiVeStA family
    • A compiler for a fragment of Java based on XTEXT
    • Join the QFLan family
    • Enhance IDEs for OpenFOAM (In collaboration with Jesper Pedersen, Ph.D. Candidate, DTU Mekanik)
• Not at DTU
  • Co-responsible of the PhD course "Advanced Topics of Computer Science", IMT School for Advanced Studies Lucca, Italy, 2017
  • Lecturer at the 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'16) [lecture notes], 2016
  • Co-responsible of the PhD course "Qualitative and Quantitative Formal Methods for Computer Science", IMT School for Advanced Studies Lucca, 2015
  • Lecturer of the MSc course "Formal Modeling of Software Intensive Systems", University of Camerino, Italy, 2015
  • Lecturer and mentor at the 1st Awareness Summer School (AWASS2012), 2012
  • Teaching assistant at University of Leicester, MSc course "Distributed Systems and Applications", 2012
  • Co-supervision of a number of PhD Students at IMT School for Advanced Studies Lucca, Italy.
  • Co-supervision of a number of MSc and BSc Students at University of Pisa, Italy.

Professional Activities

Membership of program committees and boards of scientific conferences and journals

• Member of the Reproducibility Board of the ACM Transactions on Modeling and Computer Simulation (TOMACS)
• PC member of the 17th International Conference on Quantitative Evaluation of SysTems (QEST'20)
• PC member of the 7th International Workshop on Hybrid Systems and Biology (HSB'20)
• Workshop Chair of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec'19)
• PC member of the 23rd conference on Formal Methods (FM'19)
• PC member of the 23rd International Systems and Software Product Line Conference (SPLC'19)
• PC member of the 10th International Workshop on Practical Applications of Stochastic Modelling (PASM'19)
• AEC Member of the 44th Annual Symposium on Principles of Programming Languages (POPL'18)
• PC member of the 8th International Workshop on Practical Applications of Stochastic Modelling (PASM'17)
• PC member of the 15th conference on Computational Methods for Systems Biology (CMSB'17)
• PC member of the 21st International Systems and Software Product Line Conference (SPLC'17)
• AEC Member of the 44th Annual Symposium on Principles of Programming Languages (POPL'17)
• PC member of the 8th International Workshop on Practical Applications of Stochastic Modelling (PASM'16)
• PC member of the 2nd PDP Session on Formal Approaches to Parallel and Distributed Systems (4PAD'15)
• PC member of the 5th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS'14)
• PC member of the 1st and PDP Session on Formal Approaches to Parallel and Distributed Systems (4PAD'14)
• Local organizer of the 2nd Awareness Summer School (AWASS2013)
Invited talks and tutorials

• • Invited Talk at the DEISUnit of Aalborg University, DK, November 2019
• Invited Talk at IDA: Danish Union of Engineers, May 2019
• Invited Talk at the 6th Biennial for Teaching and Learning, DTU, Denmark, April 2019 (Biennial’19)
• Invited Talk at Sant’Anna School for Advanced Studies, Italy, March 2019
• Invited Advanced Tutorial at the 21st Winter Simulation Conference (WSC'18)
• Invited speaker of the 15th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17)
• Lecturer at the 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'16)
Membership of selection committees for academic positions

• Member of the PhD selection committee of IMT Lucca, Italy, 2015-2017
• Member of the selection committee for 2 Research Collaborator positions at IMT Lucca, Italy, 2015-2016
Membership to international academic organizations

• Formal Methods Europe (FME), 2018-NOW
• European Joint Conferences on Theory and Practice of Software (ETAPS - e. V.), 2015-NOW
• Gruppo di Informatica (GRIN). An association of the Italian computer scientists, 2015-NOW
Reviewing for international conferences and journals

• 2019: TACAS, STTT, SPLC, Proceedings A of the Royal Society, FM, IEEE TETC, ATVA, Gnesi Fest, TOMACS, SCP, Swarm Intelligence, ICFEM, PASM
• 2018: JLAMP, WRLA, POPL (Artifact Evaluation), SPIN, ISOLA, TOMACS
• 2017: TCS, Acta Informatica, Journal of Systems and Software, POPL (Artifact Evaluation), QEST, SEFM, CSR, Kim Larsen Fest, CMSB, SPLC, ICTCS, PASM
• 2016: CONCUR, DataMod, ICSR, IJCAI, ISOLA, LATA, PASM, SEFM
• 2015: IJSPM, ICFEM, MFCS, RV, SCPE, SPLC, Nielson Fest
• 2014: 4PAD, COORDINATION, Wirsing Fest, FORTE, JLAMP, LATA, MOSPAS, QEST, SBMF, SIMUTOOLS, WRLA
• 2013: 4PAD, AWASS, CONCUR, IFM, SCP, TGC, VALUETOOLS
• 2012: CONCUR, GRAPHITE, GT-VMT, ICE, K, WADT, WRLA
• 2011: ASE, GT-VMT, SPIN
• 2010: WADT

Invited Talks

• Reduction of Ordinary Differential Equations with ERODE, IDA Danish Union of Engineers, May 2019;
• Speeding up Stochastic and Deterministic Simulation by Aggregation: an Advanced Tutorial, 51st Winter Simulation Conference (WSC 2018), December 2018;
• Language-based abstractions for Ordinary Differential Equations, Tomography's Seminar Cycle, DTU Compute, Denmark, April 2018
• Language-based abstractions for massively concurrent systems, DTU Compute Denmark, June 2017
• Efficient Computation of Differential Equivalences, 15th International Workshop on Quantitative Aspects of Programming Languages (QAPL'17), Uppsala University, Sweden, April 2017
• Language-based abstractions for dynamical systems, DTU Compute Denmark, February 2017
• ERODE: Evaluation and Reduction of Ordinary Differential Equations, Microsoft Research Cambridge, UK, August 2016
• Quantitative Abstractions for Collective Adaptive Systems, 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM2016), Bertinoro, Italy, June 2016
• Forward and Backward Bisimulations for Chemical Reaction Networks, University of Camerino, Italy, December 2015
• Ordinary Lumpability for Stochastic Process Algebras with Discrete and Continuous Semantics, University of Edinburgh, UK, May 2014
• Specification and Analysis of Systems with Dynamic Structure, ETH Zurich, CH, September 2012
• Self-assembly Strategies, Mentoring at Awareness Summer School AWASS2012, Edinburgh Napier University, UK, June 2012
• Towards the Analysis of Systems with Dynamic Structure, PhD Seminars Series (PhDSeminars), University of Leicester, UK, December 2011

Complete list of publications

Journal papers

• Symbolic Computation of Differential Equivalences, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Theoretical Computer Science (TCS), 2019 [draft];
• Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Theoretical Computer Science (TCS), 2019 [draft];
• A framework for quantitative modeling and analysis of highly (re)configurable systems, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, IEEE Transactions on Software Engineering (TSE), 2018 [draft]
• Replicated Computations Results (RCR) report for "A holistic approach for collaborative workload execution in volunteer clouds", Andrea Vandin, ACM Transactions on Modeling and Computer Simulation (TOMACS), 2018;
• Maximal aggregation of polynomial dynamical systems, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Proceedings of the National Academy of Sciences (PNAS), 2017 [draft];
• Modeling and Analyzing Adaptive Self-assembling Strategies with Maude, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, Science of Computer Programming, 2015 [draft]
• Counterpart Semantics for a Second-order mu-calculus Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, Fundamenta Informaticae, volume 118, pages 177-205, ISSN 0169-2968, 2012 [draft].

Conference papers

• A large-scale assessment of exact model reduction in the BioModels repository, Isabel Cristina Perez-Verona, Mirco Tribastone, Andrea Vandin, 17th International Conference on Computational Methods in Systems Biology (CMSB'19) Springer LNCS/LNBI, To Appear [draft];
• UTOPIC: Under-Approximation Through Optimal Control, Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 16th International Conference on Quantitative Evaluation of SysTems (QEST'19) Springer LNCS, To Appear [draft];
• Backward Invariance for Linear Differential Algebraic Equations, Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 57th IEEE Conference on Decision and Control (CDC'18) Springer LNCS [draft];
• Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 15th International Conference on Quantitative Evaluation of SysTems (QEST'18) [draft]
• Speeding up Stochastic and Deterministic Simulation by Aggregation: an Advanced Tutorial, Mirco Tribastone, Andrea Vandin, 51st Winter Simulation Conference (WSC'18) [draft]
• Statistical Analysis of Carma Models: an Advanced Tutorial, Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin, 51st Winter Simulation Conference (WSC'18) [draft]
• QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems, Andrea Vandin, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, 22nd International Symposium on Formal Methods (FM'18), Springer LNCS [draft, demo]
• Differential Equivalence yields Network Centrality, Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'18) Springer LNCS [draft];
• BProVe: a Formal Verification Framework for Business Process Models, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin, 32nd Conference on IEEE/ACM International Conference on Automated Software Engineering (ASE'17), [draft]
• BProVe: Tool Support for Business Process Verification, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin, 32nd Conference on IEEE/ACM International Conference on Automated Software Engineering (ASE'17), [draft]
• Transient and Steady-State Statistical Analysis for Discrete Event Simulators, Stephen Gilmore, Daniel Reijsbergen, Andrea Vandin, 13th International Conference on Integrated Formal Methods (IFM'17), Springer LNCS [draft];
• EGAC: A Genetic Algorithm to Compare Chemical Reaction Networks, Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, The Genetic and Evolutionary Computation Conference (GECCO'17), ACM [draft]
• ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 23rd Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17), Springer LNCS [draft]
• Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 35th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'16), ACM [draft]
• Symbolic Computation of Differential Equivalences, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 43rd Annual Symposium on Principles of Programming Languages (POPL'16), ACM [draft]
• Efficient Syntax-driven Lumping of Differential Equations, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), Springer LNCS [draft]
• Statistical Model Checking for Product Lines, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, proceedings of the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'16) Springer LNCS [draft];
• A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems, Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin, proceedings of the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'16) Springer LNCS [draft];
• Forward and backward bisimulations for chemical reaction networks, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, 26th Conference on Concurrency Theory (CONCUR'15), LIPIcs [draft]
• Differential Bisimulation for a Markovian Process Algebra, Giulio Iacobelli, Mirco Tribastone, Andrea Vandin, 40th International Symposium on Mathematical Foundations of Computer Science (MFCS'15), Springer LNCS [draft]
• Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, 19th International Software Product Line Conference (SPLC'15), ACM [draft]
• An analysis Pathway for the Quantitative Evaluation of Public Transport Systems, Stephen Gilmore, Mirco Tribastone, Andrea Vandin, 11th international conference on Integrated Formal Methods (IFM'14), Springer LNCS [draft]
• Distributed Statistical Analysis of Complex Systems Modeled Through a Chemical Metaphor, Danilo Pianini, Stefano Sebastio, Andrea Vandin, International Conference on High Performance Computing & Simulation (HPCS'14), IEEE Digital Library [draft]
• MultiVeStA: Statistical Model Checking for Discrete Event Simulators, Stefano Sebastio, Andrea Vandin, 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'13), ACM Digital Library [draft]
• State Space c-reductions of Concurrent Systems in Rewriting Logic, Alberto Lluch Lafuente, José Meseguer, Andrea Vandin, 14th International Conference on Formal Engineering Methods (ICFEM'12), Springer LNCS, volume 7635, 2012 [draft]
• Exploiting Over- and Under-approximations for Infinite-state Counterpart Models, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, 6th International Conference on Graph Transformation (ICGT'12), Springer LNCS, volume 7562, 2012 [draft]
• A Conceptual Framework for Adaptation, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, 15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), Springer LNCS, volume 7212, 2012 [draft]
• Counterpart Semantics for a Second-order mu-calculus, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, 5th International Conference on Graph Transformation (ICGT'10), Springer LNCS, volume 6372, 2012 [abstract] [pdf] [draft] [bib]

Book contributions

• Quantitative Abstractions for Collective Adaptive Systems, Andrea Vandin, Mirco Tribastone, SFM, Springer, 2016 [pdf]
• The SCEL Language: Design, Implementation, Verification, Rocco De Nicola, Diego Latella, Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin, Software Engineering for Collective Autonomic Systems - The ASCENS Approach, Springer, 2015 [pdf]
• Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias Holzl, Alberto Lluch Lafuente, Andrea Vandin, Software Engineering for Collective Autonomic Systems - The ASCENS Approach, Springer, 2015 [pdf]
• Tools for Ensemble Design and Runtime, Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horky, Jaroslav Keznikl, Jan Kofron, Alberto Lluch Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev, Software Engineering for Collective Autonomic Systems - The ASCENS Approach, Springer, 2015 [pdf]
• A White Box Perspective on Behavioural Adaptation, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, Software, Services, and Systems, Springer, 2015 [pdf]

Workshop papers

• Language-based abstractions for dynamical systems, Andrea Vandin, 15th International Workshop on Quantitative Aspects of Programming Languages (QAPL'17) EPTCS [draft];
• Syntactic Markovian Bisimulation for Chemical Reaction Networks, Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, proceedings of Kim Larsen Festschrift (KimFest'17) Springer LNCS [draft];
• Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE'15) EPTCS, 2015 [draft]
• Reasoning (on) Service Component Ensembles in Rewriting Logic, Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing, Symposium on Specification, Algebra and Software (SAS'14), Springer LNCS Festschrift [draft]
• Adaptable Transition Systems, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, 21st International Workshop on Algebraic Development Techniques (WADT'12), Springer LNCS [draft]
• Modeling and Analyzing Adaptive Self-assembling Strategies with Maude, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, 9th International Workshop on Rewriting Logic and its Applications (WRLA'12), Springer LNCS, volume 7571, 2012 [draft]
• Towards a Maude Tool for Model Checking Temporal Graph Properties, Alberto Lluch Lafuente, Andrea Vandin, 10th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'11), ECEAAST(41), 2011 [abstract] [pdf] [draft] [bib]

Extended abstracts

• Summary of: A framework for quantitative modeling and analysis of highly (re)configurable systems, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin, 15th International Conference on integrated Formal Methods (iFM'19), 2019;
• Specification and Verification of Modal Properties for Structured Systems, Andrea Vandin, Doctoral Symposium of ICGT12 (ICGT'12-DS), Springer LNCS, volume 7562, 2012 [extended abstract]
• A Lewisian Approach to the Verification of Adaptive Systems, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, Another world is possible (Conference on David Lewis), Rivista Italiana di Filosofia Analitica Junior, volume 2, number 2, ISSN 2037-4445, 2011 [extended abstract] [slides odp] [slides pdf]
• On a Counterpart Semantics for Predicate Modal mu-Calculus, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, 12th Italian Conference on Theoretical Computer Science (ICTCS'10) [extended abstract]