Marco Muñiz

Available identifiers

zbMath Open muniz.marcoMaRDI QIDQ832028

List of research outcomes

Publication	Date of Publication	Type
Start pruning when time gets urgent: partial order reduction for timed systems	2023-05-26	Paper
Partial order reduction for reachability games	2023-02-03	Paper
Urgent Partial Order Reduction for Extended Timed Automata	2022-12-22	Paper
On-the-Fly Synthesis for Strictly Alternating Games	2022-09-01	Paper
Stubborn set reduction for timed reachability and safety games	2022-03-24	Paper
An integer static analysis for better extrapolation in Uppaal	2022-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5856425	2021-03-26	Paper
Quasi-dependent variables in hybrid automata	2017-05-16	Paper
Detecting Quasi-equal Clocks in Timed Automata	2013-08-16	Paper
Reducing Quasi-Equal Clocks in Networks of Timed Automata	2012-11-21	Paper
Timed Automata with Disjoint Activity	2012-11-21	Paper
An Efficient Decision Procedure for Imperative Tree Data Structures	2011-07-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco Muñiz