×
Author ID: muniz.marco Recent zbMATH articles by "Muñiz, Marco"
Published as: Muñiz, Marco
Documents Indexed: 12 Publications since 2011
Co-Authors: 17 Co-Authors with 12 Joint Publications
386 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 26 times in 21 Documents Cited by Year
An efficient decision procedure for imperative tree data structures. Zbl 1341.68034
Wies, Thomas; Muñiz, Marco; Kuncak, Viktor
7
2011
Partial order reduction for reachability games. Zbl 07649931
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří
5
2019
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
Start pruning when time gets urgent: partial order reduction for timed systems. Zbl 1511.68180
Bønneland, Frederik M.; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
2018
Timed automata with disjoint activity. Zbl 1374.68263
Muñiz, Marco; Westphal, Bernd; Podelski, Andreas
2
2012
Urgent partial order reduction for extended timed automata. Zbl 1517.68259
Larsen, Kim G.; Mikučionis, Marius; Muñiz, Marco; Srba, Jiří
2
2020
Quasi-dependent variables in hybrid automata. Zbl 1361.68118
Bogomolov, Sergiy; Herrera, Christian; Muñiz, Marco; Westphal, Bernd; Podelski, Andreas
1
2014
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
Urgent partial order reduction for extended timed automata. Zbl 1517.68259
Larsen, Kim G.; Mikučionis, Marius; Muñiz, Marco; Srba, Jiří
2
2020
Partial order reduction for reachability games. Zbl 07649931
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří
5
2019
Start pruning when time gets urgent: partial order reduction for timed systems. Zbl 1511.68180
Bønneland, Frederik M.; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
2018
Quasi-dependent variables in hybrid automata. Zbl 1361.68118
Bogomolov, Sergiy; Herrera, Christian; Muñiz, Marco; Westphal, Bernd; Podelski, Andreas
1
2014
Timed automata with disjoint activity. Zbl 1374.68263
Muñiz, Marco; Westphal, Bernd; Podelski, Andreas
2
2012
An efficient decision procedure for imperative tree data structures. Zbl 1341.68034
Wies, Thomas; Muñiz, Marco; Kuncak, Viktor
7
2011

Citations by Year