Dual transitions petri net based modelling technique for embedded systems specification. - Mauricio Varea; Bashir M. Al-Hashimi (DATE, 2001)

Symbolic model checking of Dual Transition Petri Nets. - Mauricio Varea; Bashir M. Al-Hashimi; Luis Alejandro Cortés; Petru Eles; Zebo Peng (CODES, 2002)

Modelling and verification of embedded systems based on Petri net oriented representations. - Mauricio Varea (2003)

Efficient and flexible access control via logic program specialisation. - Steve Barker; Michael Leuschel; Mauricio Varea (PEPM, 2004)

Towards context-aware testing for semantic interoperability on PvC environments. - Andres Flores; Juan Carlos Augusto; Macario Polo; Mauricio Varea (SMC (2), 2004)

Recent Advances in Verification, Equivalence Checking and SAT-Solvers. - Dhiraj K. Pradhan; Magdy S. Abadir; Mauricio Varea (VLSI Design, 2005)

The Ecce and Logen partial evaluators and their web interfaces. - Michael Leuschel; Daniel Elphick; Mauricio Varea; Stephen-John Craig; Marc Fontaine (PEPM, 2006)

Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. - Berndt Farwer; Mauricio Varea (Fundam. Informaticae, 2006)

Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. - Mauricio Varea; Bashir M. Al-Hashimi; Luis Alejandro Cortés; Petru Eles; Zebo Peng (ACM Trans. Embed. Comput. Syst., 2006)

Efficient and flexible access control via Jones-optimal logic program specialisation. - Steve Barker; Michael Leuschel; Mauricio Varea (High. Order Symb. Comput., 2008)