Marco Mu˝iz
Marco Mu˝iz
Assistant Professor at Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
An efficient decision procedure for imperative tree data structures
T Wies, M Mu˝iz, V Kuncak
International Conference on Automated Deduction, 476-491, 2011
352011
Online and compositional learning of controllers with application to floor heating
KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist
International Conference on Tools and Algorithms for the Construction andá…, 2016
332016
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
192012
Timed automata with disjoint activity
M Mu˝iz, B Westphal, A Podelski
International Conference on Formal Modeling and Analysis of Timed Systemsá…, 2012
142012
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 (3), 499-527, 2016
122016
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
122014
Uppaal stratego for intelligent traffic lights
AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ...
12th ITS European Congress, 2017
112017
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
112014
Detecting quasi-equal clocks in timed automata
M Mu˝iz, B Westphal, A Podelski
International Conference on Formal Modeling and Analysis of Timed Systemsá…, 2013
112013
Deciding functional lists with sublist sets
T Wies, M Muniz, V Kuncak
International Conference on Verified Software: Tools, Theories, Experimentsá…, 2012
112012
Start pruning when time gets urgent: Partial order reduction for timed systems
FM B°nneland, PG Jensen, KG Larsen, M Mu˝iz, J Srba
International Conference on Computer Aided Verification, 527-546, 2018
72018
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
62019
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?, 27-35, 2019
52019
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
email protected](CEUR Workshop Proceedings) 1906, 2017
42017
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
22016
Model checking for time division multiple access systems
M Mu˝iz
Ph. D. thesis, Freiburg University, 2015
22015
Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes
A Ejsing, M Jensen, M Mu˝iz, J N°rhave, L Rechter
arXiv preprint arXiv:2002.10783, 2020
12020
On-the-Fly Synthesis for Strictly Alternating Games
SL Karra, KG Larsen, M Muniz, J Srba
International Conference on Applications and Theory of Petri Nets andá…, 2020
2020
Search Site only in current section
P Fischer, P Fischer-photo, I Taxidou
People 2016, 2017
2017
Uppaal Stratego for Intelligent Traffic Lights
A Berre Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, ...
ITS European Congress, Strasbourg, France, 19-22 June 2017, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20