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

    9220 Aalborg Ø

    Denmark

20112021

Research activity per year

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

Search results

  • 2021

    An Integer Static Analysis for Better Extrapolation in Uppaal

    Lund, S., van Diepen, J., Larsen, K. G., Muñiz, M., Jørgensen, T. R. & Andersen, T. S. D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

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

  • Stubborn Set Reduction for Timed Reachability and Safety Games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, Vol. 12860. p. 32-49 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

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

  • 2020

    Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).

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

    2 Citations (Scopus)
  • On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer, p. 109-128 20 p. (Lecture Notes in Computer Science, Vol. 12152).

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

  • Urgent Partial Order Reduction for Extended Timed Automata

    Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Srba, J., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer, p. 179-195 17 p. (Lecture Notes in Computer Science, Vol. 12302).

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

  • 2019

    Partial order reduction for reachability games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

    Open Access
    File
    5 Citations (Scopus)
    30 Downloads (Pure)
  • 2018

    Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 Jul 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, p. 527-546 (Lecture Notes in Computer Science, Vol. 10981).

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

    Open Access
    File
    4 Citations (Scopus)
    177 Downloads (Pure)
  • 2017

    Uppaal Stratego for Intelligent Traffic Lights

    Eriksen, A. B., Huang, C., Kildebogaard, J., Lahrmann, H. S., Larsen, K. G., Muniz, M. & Taankvist, J. H., 2017, 12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 10 p. SP0878

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

  • 2016

    Online and Compositional Learning of Controllers with Application to Floor Heating

    Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 244-259 15 p. (Lecture Notes in Computer Science, Vol. 9636).

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

    31 Citations (Scopus)
  • Toolchain for User-Centered Intelligent Floor Heating Control

    Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5296-5301 6 p.

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

    4 Citations (Scopus)
  • 2014

    The wireless fire alarm system: Ensuring conformance to industrial standards through formal verification

    Feo-Arenis, S., Westphal, B., Dietsch, D., Muñiz, M. & Andisha, A. S., 1 Jan 2014, FM 2014: Formal Methods - 19th International Symposium, Proceedings. Physica-Verlag, p. 658-672 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8442 LNCS).

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

    6 Citations (Scopus)
  • 2013

    Detecting quasi-equal clocks in timed automata

    Muñiz, M., Westphal, B. & Podelski, A., 28 Aug 2013, Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Proceedings. p. 198-212 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8053 LNCS).

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

    6 Citations (Scopus)
  • 2012

    Deciding functional lists with sublist sets

    Wies, T., Muñiz, M. & Kuncak, V., 7 Feb 2012, Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Proceedings. p. 66-81 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7152 LNCS).

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

    5 Citations (Scopus)
  • Reducing quasi-equal clocks in networks of timed automata

    Herrera, C., Westphal, B., Feo-Arenis, S., Muñiz, M. & Podelski, A., 1 Oct 2012, Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, Proceedings. p. 155-170 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7595 LNCS).

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

    11 Citations (Scopus)
  • Timed automata with disjoint activity

    Muñiz, M., Westphal, B. & Podelski, A., 1 Oct 2012, Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, Proceedings. p. 188-203 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7595 LNCS).

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

    9 Citations (Scopus)
  • 2011

    An efficient decision procedure for imperative tree data structures

    Wies, T., Muñiz, M. & Kuncak, V., 19 Aug 2011, Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Proceedings. p. 476-491 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6803 LNAI).

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

    21 Citations (Scopus)