Travelled to:1 × Poland
1 × Singapore
Collaborated with:T.Wies V.Kuncak S.F.Arenis B.Westphal D.Dietsch A.S.Andisha F.M.Bønneland P.G.Jensen K.G.Larsen J.Srba
Talks about:system (2) time (2) wireless (1) structur (1) standard (1) procedur (1) industri (1) partial (1) conform (1) urgent (1)
Person: Marco Muñiz
DBLP: Mu=ntilde=iz:Marco
Contributed to:
2014
2011
2018Wrote 3 papers:
- FM-2014-ArenisWDMA #consistency #industrial #standard #verification
- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification (SFA, BW, DD, MM, ASA), pp. 658–672.
- CADE-2011-WiesMK #data type #imperative #performance
- An Efficient Decision Procedure for Imperative Tree Data Structures (TW, MM, VK), pp. 476–491.
- CAV-2018-BonnelandJLMS #partial order #reduction
- Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (FMB, PGJ, KGL, MM, JS), pp. 527–546.