Mauricio Varea

According to our database, Mauricio Varea authored at least 10 papers between 2001 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Efficient and flexible access control via Jones-optimal logic program specialisation.

Steve Barker, Michael Leuschel, Mauricio Varea

High. Order Symb. Comput., 2008

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

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

The Ecce and Logen partial evaluators and their web interfaces.

Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2005

Recent Advances in Verification, Equivalence Checking and SAT-Solvers.

Dhiraj K. Pradhan, Magdy S. Abadir, Mauricio Varea

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

2004

Towards context-aware testing for semantic interoperability on PvC environments.

Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea

Proceedings of the IEEE International Conference on Systems, 2004

Efficient and flexible access control via logic program specialisation.

Steve Barker, Michael Leuschel, Mauricio Varea

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003

Modelling and verification of embedded systems based on Petri net oriented representations.

Mauricio Varea

PhD thesis, 2003

2002

Symbolic model checking of Dual Transition Petri Nets.

Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001

Dual transitions petri net based modelling technique for embedded systems specification.

Mauricio Varea, Bashir M. Al-Hashimi

Proceedings of the Conference on Design, Automation and Test in Europe, 2001