• Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby

    Denmark

20102021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Article in proceedings

Search results

  • 2021

    Process Mining and Clinical Pathways: an application to Breast cancer data in Tuscany

    Ferré, F., Seghieri, C., Burattin, A. & Vandin, A., 2021, Proceedings of 4th International Workshop on Process-Oriented Data Science for Healthcare 2021. 2 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Reducing Boolean Networks with Backward Boolean Equivalence

    Argyris, G., Lafuente, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Computational Methods in Systems Biology. Springer, 19 p. (Lecture Notes in Computer Science, Vol. 12881).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    8 Downloads (Pure)
  • 2020

    Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios

    ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2020, Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Association for Computing Machinery, 11. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    73 Downloads (Pure)
  • 2019

    A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository

    Pérez-Verona, I. C., Tribastone, M. & Vandin, A., 1 Jan 2019, Proceedings of 17th International Conference on Computational Methods in Systems Biology. Bortolussi, L. & Sanguinetti, G. (eds.). Springer, p. 248-265 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11773 LNBI).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Speeding up stochastic and deterministic simulation by aggregation: An advanced tutorial

    Tribastone, M. & Vandin, A., 31 Jan 2019, Proceedings of the 2018 Winter Simulation Conference. IEEE, p. 336-350 8632364

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Statistical analysis of CARMA models: An advanced tutorial

    Galpin, V., Georgoulas, A., Loreti, M. & Vandin, A., 31 Jan 2019, Proceedings of the 2018 Winter Simulation Conference. IEEE, p. 395-409 8632456

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems

    ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2019, Integrated Formal Methods. Springer, p. 547-551 (Lecture Notes in Computer Science, Vol. 11918).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    17 Downloads (Pure)
  • UTOPIC: Under-Approximation Through Optimal Control

    Doncel, J., Gast, N., Tribastone, M., Tschaikowski, M. & Vandin, A., 2019, Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings. D. P. & V. W. (eds.). Springer, p. 277-291 15 p. (Lecture Notes in Computer Science, Vol. 11785).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    File
    30 Downloads (Pure)
  • 2018

    Backward Invariance for Linear Differential Algebraic Equations

    Tognazzi, S., Tribastone, M., Tschaikowski, M. & Vandin, A., 2018, Proceedings of 2018 IEEE Conference on Decision and Control. IEEE, p. 3771-3776

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Differential Equivalence Yields Network Centrality

    Tognazzi, S., Tribastone, M., Tschaikowski, M. & Vandin, A., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. Springer, Vol. 11246. p. 186-201 (Lecture Notes in Computer Science, Vol. 11246).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

    Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2018, Quantitative Evaluation of Systems . Springer, Vol. 11024. p. 104-121 (Lecture Notes in Computer Science, Vol. 11024).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    89 Downloads (Pure)
  • QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

    Vandin, A., Ter Beek, M. H., Legay, A. & Lluch Lafuente, A., 2018, Formal Methods. K. H., J. P., B. R. & E. D. V. (eds.). Springer, p. 329-337 9 p. (Lecture Notes in Computer Science, Vol. 10951).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    286 Downloads (Pure)
  • 2017

    BProVe: A formal verification framework for business process models

    Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F. & Vandin, A., 2017, Proceedings of 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 217-228 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    708 Downloads (Pure)
  • BProVe: Tool support for business process verification

    Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F. & Vandin, A., 2017, Proceedings of the 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 937-942 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    397 Downloads (Pure)
  • EGAC: A genetic algorithm to compare chemical reaction networks

    Tognazzi, S., Tschaikowski, M., Tribastone, M. & Vandin, A., 1 Jul 2017, GECCO 2017 - Proceedings of the 2017 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, p. 833-840 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • ERODE: A tool for the evaluation and reduction of ordinary differential equations

    Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer Verlag, Vol. 10206 LNCS. p. 310-328 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10206 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Transient and steady-state statistical analysis for discrete event Simulators

    Gilmore, S., Reijsbergen, D. & Vandin, A., 2017, Integrated Formal Methods - 13th International Conference, IFM 2017, Proceedings. Springer Verlag, Vol. 10510 LNCS. p. 145-160 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10510 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2016

    A tool-chain for statistical spatio-temporal model checking of bike sharing systems

    Ciancia, V., Latella, D., Massink, M., Paškauskas, R. & Vandin, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag, Vol. 9952 LNCS. p. 657-673 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective

    Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 5 Jul 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers Inc., Vol. 05-08-July-2016. p. 485-494 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Efficient syntax-Driven lumping of differential equations

    Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Springer Verlag, Vol. 9636. p. 93-111 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Quantitative abstractions for collective adaptive systems

    Vandin, A. & Tribastone, M., 2016, Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Advanced Lectures. Springer Verlag, Vol. 9700. p. 202-232 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9700).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Statistical Model Checking for Product Lines

    ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Vol. 9952. p. 114-33 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    347 Downloads (Pure)
  • 2015

    Awareness and Control in Adaptable Transition Systems

    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2015, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15). Moldt, D., Rölke, H. & Störrle, H. (eds.). p. 19-21 (CEUR Workshop Proceedings, Vol. 1372).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    128 Downloads (Pure)
  • Differential bisimulation for a Markovian process algebra

    Iacobelli, G., Tribastone, M. & Vandin, A., 2015, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Proceedings. Springer Verlag, Vol. 9234. p. 293-306 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9234).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Forward and backward bisimulations for chemical reaction networks

    Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 1 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 42. p. 226-239 14 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Statistical analysis of probabilistic models of software product lines with quantitative constraints

    Beek, M. H. T., Legay, A., Lluch Lafuente, A. & Vandin, A., 2015, Proceedings of the 19th International Conference on Software Product Line (SPLC '15). Association for Computing Machinery, p. 11-15

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    334 Downloads (Pure)
  • 2014

    An analysis pathway for the quantitative evaluation of public transport systems

    Gilmore, S., Tribastone, M. & Vandin, A., 2014, Integrated Formal Methods - 11th International Conference, IFM 2014, Proceedings. Springer Verlag, Vol. 8739. p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8739).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Distributed statistical analysis of complex systems modeled through a chemical metaphor

    Pianini, D., Sebastio, S. & Vandin, A., 18 Sep 2014, Proceedings of the 2014 International Conference on High Performance Computing and Simulation, HPCS 2014. Institute of Electrical and Electronics Engineers Inc., p. 416-423 8 p. 6903715

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2013

    MultiVeStA: Statistical model checking for discrete event simulators

    Sebastio, S. & Vandin, A., 2013, VALUETOOLS 2013 - 7th International Conference on Performance Evaluation Methodologies and Tools. ICST, p. 310-315 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2012

    A Conceptual Framework for Adaptation

    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer Berlin Heidelberg, p. 240-254 (Lecture Notes in Computer Science, Vol. 7212).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Adaptable Transition Systems

    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Springer Berlin Heidelberg, Vol. 7841. p. 95-110

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Exploiting over- and underapproximations for infinite-state counterpart models

    Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Springer Berlin Heidelberg, p. 51-65 (Lecture Notes in Computer Science, Vol. 7562).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Modelling and analyzing adaptive self-assembling strategies with Maude

    Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2012, Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Springer Berlin Heidelberg, p. 118-138 (Lecture Notes in Computer Science, Vol. 7571).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Specification and verification of modal properties for structured systems

    Vandin, A., 2012, Graph Transformations - 6th International Conference, ICGT 2012, Proceedings. Vol. 7562 LNCS. p. 423-425 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7562 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • State Space c-Reductions of Concurrent Systems in Rewriting Logic

    Lluch Lafuente, A., Meseguer, J. & Vandin, A., 2012, Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Springer Berlin Heidelberg, p. 430-446 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2010

    Counterpart semantics for a secondorder mu-calculus

    Gadducci, F., Lluch Lafuente, A. & Vandin, A., 2010, Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings. Springer Berlin Heidelberg, p. 282-297 (Lecture Notes in Computer Science, Vol. 6372).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review