Marco Muñiz

Cited by

	All	Since 2017
Citations	297	213
h-index	11	9
i10-index	13	8

201220132014201520162017201820192020202120229 6 23 25 19 26 33 35 37 45 36

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Peter Gjøl JensenAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Marius MikučionisDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Frederik Meyer BønnelandPhD at Aalborg UniversityVerified email at cs.aau.dk
Sergio Feo-ArenisUniversity of FreiburgVerified email at informatik.uni-freiburg.de
Jakob Haahr TaankvistPhD student, Aalborg University, Department of Computer ScienceVerified email at cs.aau.dk
Viktor KunčakEPFLVerified email at epfl.ch
Thomas WiesNew York UniversityVerified email at cs.nyu.edu
Daniel DietschUniversity FreiburgVerified email at informatik.uni-freiburg.de
Harry LahrmannAalborg University, Traffic Research Group, Department of Civil EngineeringVerified email at civil.aau.dk
Chao HuangYunan Minzu UniversityVerified email at ynu.edu.cn
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Georg LausenProfessor für Informatik, Universität FreiburgVerified email at informatik.uni-freiburg.de
Anas alzogbiUniversity of FreiburgVerified email at informatik.uni-freiburg.de
Michael FärberKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Thomas BøgholmAalborg UniversitetVerified email at cs.aau.dk
Lone Leth ThomsenAssociate Professor, Department of Computer Science, Aalborg UniversityVerified email at acm.org
Bent ThomsenProfessor (MSO), Aalborg UniversityVerified email at acm.org

Marco Muñiz

Assistant Professor at Aalborg University

Verified email at cs.aau.dk - Homepage

Stochastic Games Model Checking Decision Procedures.


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	50	2016
An efficient decision procedure for imperative tree data structures T Wies, M Muñiz, V Kuncak International Conference on Automated Deduction, 476-491, 2011	39	2011
Uppaal stratego for intelligent traffic lights AB Eriksen, C Huang, J Kildebogaard, H Lahrmann, KG Larsen, M Muniz, ... 12th ITS European Congress, 2017	23	2017
Ready for testing: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muniz, S Andisha, A Podelski Formal Aspects of Computing 28 (3), 499-527, 2016	21	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
Timed automata with disjoint activity M Muniz, B Westphal, A Podelski International Conference on Formal Modeling and Analysis of Timed Systems …, 2012	15	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 International Conference on Computer Aided Verification, 527-546, 2018	14	2018
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	12	2017
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
Detecting quasi-equal clocks in timed automata M Muniz, B Westphal, A Podelski International Conference on Formal Modeling and Analysis of Timed Systems …, 2013	12	2013
Deciding functional lists with sublist sets T Wies, M Muniz, V Kuncak International Conference on Verified Software: Tools, Theories, Experiments …, 2012	11	2012
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, 23, 2019	10	2019
Stubborn set reduction for two-player reachability games FM Bønneland, PG Jensen, KG Larsen, M Muñiz, J Srba arXiv preprint arXiv:1912.09875, 2019	9	2019
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	7	2019
Urgent partial order reduction for extended timed automata KG Larsen, M Mikučionis, M Muñiz, J Srba International Symposium on Automated Technology for Verification and …, 2020	6	2020
Fluid model-checking in UPPAAL for Covid-19 PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ... International Symposium on Leveraging Applications of Formal Methods, 385-403, 2020	5	2020
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	5	2016
Model checking for time division multiple access systems M Muñiz Ph. D. thesis, Freiburg University, 2015	2	2015
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	1	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors