Folgen
Marco Muñiz
Marco Muñiz
Associate Professor at Aalborg University
Bestätigte E-Mail-Adresse bei cs.aau.dk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
702016
An efficient decision procedure for imperative tree data structures
T Wies, M Muniz, V Kuncak
International Conference on Automated Deduction, 476-491, 2011
402011
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
292017
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
252016
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
212012
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
202014
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
182019
Timed automata with disjoint activity
M Muniz, B Westphal, A Podelski
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
182012
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
162018
Detecting quasi-equal clocks in timed automata
M Muniz, B Westphal, A Podelski
Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013
142013
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
132021
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
122017
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
122016
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
122014
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
112020
Deciding functional lists with sublist sets
T Wies, M Muniz, V Kuncak
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
112012
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
92020
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
82019
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
72021
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
52022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20