• Selma Lagerløfs Vej 300, 1-2-12

    9220 Aalborg Ø

    Denmark

20122023

Research activity per year

Filter
Article in proceeding

Search results

  • 2023

    Approximate Constrained Lumping of Polynomial Differential Equations

    Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Computational Methods in Systems Biology: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings. Pang, J. & Niehren, J. (eds.). Springer, p. 106-123 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14137 LNBI).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Minimization of Dynamical Systems over Monoids

    Argyris, G., Lafuente, A. L., Robayo, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 14 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 2022

    An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations

    Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Quantitative Evaluation of Systems. Springer, p. 173–191 (Lecture Notes in Computer Science, Vol. 13479).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

    Argyris, G., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Computational Methods in Systems Biology (CMSB'2022). Springer, p. 294-301 (Lecture Notes in Computer Science, Vol. LNBI, volume 13447).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (Scopus)
  • Efficient Estimation of Agent Networks

    Leguizamon Robayo, A. & Tschaikowski, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.. Springer, (Lecture Notes in Computer Science, Vol. 13703).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • 2021

    Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-14 14 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (Scopus)
  • Lumpability for Uncertain Continuous-Time Markov Chains

    Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings. Springer, p. 391-409 (Lecture Notes in Computer Science, Vol. 12846).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • Reducing Boolean Networks with Backward Boolean Equivalence

    Argyris, G., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Computational Methods in Systems Biology: 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings. Springer, p. 1-18 (Lecture Notes in Computer Science, Vol. LNCS 12881).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • 2019

    Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks

    Pérez-Verona, I. C., Tribastone, M. & Tschaikowski, M., 2019, Hybrid Systems Biology - 6th International Workshop, HSB 2019, Revised Selected Papers. Češka, M. & Paoletti, N. (eds.). p. 45-62 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11705 LNBI).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • PID Control of Biochemical Reaction Networks

    Whitby, M., Cardelli, L., Kwiatkowska, M., Laurenti, L., Tribastone, M. & Tschaikowski, M., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. p. 8372-8379 8 p. 9029172. (Proceedings of the IEEE Conference on Decision and Control, Vol. 2019-December).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    5 Citations (Scopus)
  • 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, Proceedings. Parker, D. & Wolf, V. (eds.). Physica-Verlag, p. 277-291 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11785 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • 2018

    Backward Invariance for Linear Differential Algebraic Equations

    Tognazzi, S., Tribastone, M., Tschaikowski, M. & Vandin, A., 2 Jul 2018, 2018 IEEE Conference on Decision and Control, CDC 2018. IEEE Signal Processing Society, p. 3771-3776 6 p. 8619710. (Proceedings of the IEEE Conference on Decision and Control, Vol. 2018-December).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    6 Citations (Scopus)
  • Differential equivalence yields network centrality

    Tognazzi, S., Tribastone, M., Tschaikowski, M. & Vandin, A., 2018, Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018. Margaria, T. & Steffen, B. (eds.). p. 186-201 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11246 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    5 Citations (Scopus)
  • Guaranteed error bounds on approximate model abstractions through reachability analysis

    Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings. Horvath, A. & McIver, A. (eds.). p. 104-121 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11024 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    9 Citations (Scopus)
  • 2017

    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. p. 833-840 8 p. (GECCO 2017 - Proceedings of the 2017 Genetic and Evolutionary Computation Conference).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    6 Citations (Scopus)
  • 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. Margaria, T. & Legay, A. (eds.). 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: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    34 Citations (Scopus)
  • 2016

    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. p. 485-494 10 p. (Proceedings - Symposium on Logic in Computer Science, Vol. Proceedings - Symposium on Logic in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    19 Citations (Scopus)
  • 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. Raskin, J-F. & Chechik, M. (eds.). 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: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    25 Citations (Scopus)
  • Fluid analysis of spatio-temporal properties of agents in a population model

    Bortolussi, L. & Tschaikowski, M., 2016, Analytical and Stochastic Modelling Techniques and Applications - 23rd International Conference, ASMTA 2016, Proceedings. Phung-Duc, T. & Wittevrongel, S. (eds.). p. 92-106 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9845 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Scaling size & parameter spaces in variability-aware software performance models

    Kowal, M., Tschaikowski, M., Tribastone, M. & Schaefer, I., 2016, Software Engineering 2016. Knoop, J. & Zdun, U. (eds.). Gesellschaft für Informatik (GI), p. 33-34 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Vol. P252).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Scaling size and parameter spaces in variability-aware software performance models

    Kowal, M., Tschaikowski, M., Tribastone, M. & Schaefer, I., 4 Jan 2016, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. IEEE/ACM International Conference On Automated Software Engineering, p. 407-417 11 p. 7372029. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    24 Citations (Scopus)
  • Symbolic computation of differential equivalences

    Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 8 Apr 2016, ACM SIGPLAN Symposium on Principles of Programming Languages. p. 137-150 14 p. (ACM SIGPLAN Notices).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    39 Citations (Scopus)
  • 2015

    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. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 226-239 14 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 42).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    40 Citations (Scopus)
  • 2014

    A partial-differential approximation for spatial stochastic process algebra

    Tschaikowski, M. & Tribastone, M., 2014, Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014. p. 74-81 8 p. (Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    4 Citations (Scopus)
  • 2013

    Insensitivity to service-time distributions for fluid queueing models

    Tschaikowski, M. & Tribastone, M., 2013, VALUETOOLS 2013 - 7th International Conference on Performance Evaluation Methodologies and Tools. Cortellessa, V., Buchholz, P., Squillante, M., Horvath, A. & Muscariello, L. (eds.). p. 273-281 9 p. (VALUETOOLS 2013 - 7th International Conference on Performance Evaluation Methodologies and Tools).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • 2012

    Exact fluid lumpability for Markovian process algebra

    Tschaikowski, M. & Tribastone, M., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 380-394 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7454 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    29 Citations (Scopus)
  • Generalised communication for interacting agents

    Tschaikowski, M. & Tribastone, M., 2012, Proceedings - 2012 9th International Conference on Quantitative Evaluation of Systems, QEST 2012. p. 178-188 11 p. 6354646. (Proceedings - 2012 9th International Conference on Quantitative Evaluation of Systems, QEST 2012).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)