| Online and compositional learning of controllers with application to floor heating KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 70 | 2016 |
| An efficient decision procedure for imperative tree data structures T Wies, M Muniz, V Kuncak International Conference on Automated Deduction, 476-491, 2011 | 40 | 2011 |
| Uppaal stratego for intelligent traffic lights AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ... 12th ITS European Congress, 2017 | 30 | 2017 |
| Ready for testing: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, S Andisha, A Podelski Formal Aspects of Computing 28, 499-527, 2016 | 25 | 2016 |
| Reducing quasi-equal clocks in networks of timed automata C Herrera, B Westphal, S Feo-Arenis, M Muñiz, A Podelski International Conference on Formal Modeling and Analysis of Timed Systems …, 2012 | 21 | 2012 |
| The wireless fire alarm system: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, AS Andisha International Symposium on Formal Methods, 658-672, 2014 | 20 | 2014 |
| Partial order reduction for reachability games FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 18 | 2019 |
| Timed automata with disjoint activity M Muniz, B Westphal, A Podelski International Conference on Formal Modeling and Analysis of Timed Systems …, 2012 | 18 | 2012 |
| Start pruning when time gets urgent: Partial order reduction for timed systems FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 16 | 2018 |
| Detecting quasi-equal clocks in timed automata M Muniz, B Westphal, A Podelski Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013 | 14 | 2013 |
| Stubborn set reduction for two-player reachability games FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba Logical Methods in Computer Science 17, 2021 | 13 | 2021 |
| A delay-robust touristic plan recommendation using real-world public transportation information VAA Ayala, KC Gülsen, M Muñiz, A Alzogbi, M Färber, G Lausen CEUR Workshop Proceedings 1906, 2017 | 13 | 2017 |
| Toolchain for user-centered intelligent floor heating control MK Agesen, KG Larsen, M Mikučionis, M Muniz, P Olsen, T Pedersen, ... IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society …, 2016 | 12 | 2016 |
| Quasi-dependent variables in hybrid automata S Bogomolov, C Herrera, M Muñiz, B Westphal, A Podelski Proceedings of the 17th international conference on Hybrid systems …, 2014 | 12 | 2014 |
| Fluid model-checking in UPPAAL for Covid-19 PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 11 | 2020 |
| Deciding functional lists with sublist sets T Wies, M Muniz, V Kuncak International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 11 | 2012 |
| Urgent partial order reduction for extended timed automata KG Larsen, M Mikučionis, M Muñiz, J Srba Automated Technology for Verification and Analysis: 18th International …, 2020 | 9 | 2020 |
| Analyzing spreadsheets for parallel execution via model checking T Bøgholm, KG Larsen, M Muniz, B Thomsen, LL Thomsen Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019 | 8 | 2019 |
| Online and proactive vehicle rerouting with uppaal stratego A Bilgram, E Ernstsen, P Greve, H Lahrmann, KG Larsen, M Muniz, ... Transportation Research Record 2675 (11), 13-22, 2021 | 7 | 2021 |
| An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning A Bilgram, PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ... Decision Analytics Journal 5, 100141, 2022 | 5 | 2022 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
