Marco Muñiz

MaRDI QIDQ832028zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Start pruning when time gets urgent: partial order reduction for timed systems Computer Aided Verification	2023-05-26	Paper
Partial order reduction for reachability games	2023-02-03	Paper
Urgent Partial Order Reduction for Extended Timed Automata 1517.68259	2022-12-22	Paper
On-the-Fly Synthesis for Strictly Alternating Games Application and Theory of Petri Nets and Concurrency	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
Stubborn set reduction for two-player reachability games (available as arXiv preprint)	2021-03-26	Paper
Stubborn set reduction for two-player reachability games	2021-03-26	Paper
Quasi-dependent variables in hybrid automata Proceedings of the 17th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Detecting quasi-equal clocks in timed automata Lecture Notes in Computer Science	2013-08-16	Paper
Timed automata with disjoint activity Lecture Notes in Computer Science	2012-11-21	Paper
Reducing quasi-equal clocks in networks of timed automata Lecture Notes in Computer Science	2012-11-21	Paper
An efficient decision procedure for imperative tree data structures Lecture Notes in Computer Science	2011-07-29	Paper

Research outcomes over time

This page was built for person: Marco Muñiz