Andrea Vandin

Andrea Vandin photo

Presentation

I am an Assistant Professor in the Research Unit SysMA at IMT Institute for Advanced Studies Lucca, Italy, as well as a member of the European Project QUANTICOL

Before that, I have been a Senior Research Assistant at the Department of Electronics and Computer Science of the Faculty of Physical Sciences and Engineering of the University of Southampton, UK, while in March 2013 I obtained the PhD degree in Computer Science and Engineering, as well as the "Doctoral Europeaus" certification at IMT School for Advanced Studies Lucca

Research Interests

My research interests regard the formal qualitative and quantitative system analysis, including state space reduction and approximation techniques. Currently, I am working on scalable analysis techniques for Ordinary Differential Equations (ODEs) and formal languages provided with both CTMC and ODE semantics (including Chemical Reaction Networks and Stochastic Process Algebras). These techinques are collected in the tool ERODE.
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 distributed statistical analysis capabilities.

 

 

 

Selected Publications

  • 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 Equationsss, 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]
  • 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]
  • 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]
  • 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 (FASE12), Springer LNCS, volume 7212, 2012 [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   [draft]

Events, Publications, Tools and Talks

Events

  • Lecturer at the 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM2016)
  • PC member of the 8th International Workshop on Practical Applications of Stochastic Modelling (PASM2016)
  • PC member of the 2nd PDP Session on Formal Approaches to Parallel and Distributed Systems (4PAD2015)
  • PC member of the 5th International Workshop on Modeling and Simulation of Peer-to-Peer and Autonomic Systems (MOSPAS2014)
  • PC member of the 1st and PDP Session on Formal Approaches to Parallel and Distributed Systems (4PAD2014)
  • Local organizer of the 2nd Awareness Summer School (AWASS2013)
  • Mentor at the 1st Awareness Summer School (AWASS2012)

Journal papers

  • Modeling and Analyzing Adaptive Self-assembling Strategies with Maude, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin, Science of Computer Programming, 2014 [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 [draft]

Conference papers

  • 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 Equationsss, 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]
  • 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 (VALUETOOLS13), 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 (ICFEM12), 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 (ICGT12), 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 (FASE12), 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 (ICGT10), Springer LNCS, volume 6372, 2012 [abstract] [pdf] [draft] [bib]

Book contributions

  • 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

  • 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 (WADT12), 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 (WRLA12), 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-VMT11), ECEAAST(41), 2011 [abstract] [pdf] [draft] [bib]

Extended abstracts

  • Towards the Specification and Verification of Modal Properties for Structured Systems, Andrea Vandin, Doctoral Symposium of ICGT12 (ICGT12-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 (ICTCS10[extended abstract]

Tools

  • ERODE: Evaluation and Reduction of Ordinary Differential Equations, Andrea Vandin, Luca Cardelli, Mirco Tribastone, Max Tschaikowski
  • MultiVeStA: Statistical Analysis and Statistical Model Checking for Discrete Event Simulators, Andrea Vandin, Stefano Sebastio

 

  • MISSCEL: Maude Interpreter and Simulator for SCEL, Andrea Vandin
  • MESSI: Maude Ensemble Strategies Simulator and Inquirer. Design, validation and performance evaluation of self-assembly strategies with Maude, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
  • C-reducer: Automatic c-reduction of object-based modules for the Maude system, Alberto Lluch Lafuente, Andrea Vandin
  • MAIA: a Maude tool for Adaptable Interface Automata, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin.

Invited Talks

  • 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.