| Berndt Farwer and Mauricio Varea;
"Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets"; IOS Press Fundamenta Informaticae; 72(1-3):123-137; May 2006.
|
| Mauricio Varea, Bashir M. Al-Hashimi, Luis A. Cortés, Petru Eles and Zebo Peng;
"Dual Flow Nets: Modelling the Control/Data-Flow Relation in Embedded Systems"; ACM Transactions on Embedded Computing Systems; 5(1):54-81; February 2006.
|
| Michael Leuschel, Dan Elphick, Mauricio Varea, Stephen-John Craig and Marc Fontaine;
"The Ecce and Logen partial evaluators and their web interfaces"; in proceedings of the 13th International Symposium on Partial Evaluation and Program Manipulation (PEPM); pp. 88-94; Charleston, South Carolina, United States; 9-10th January 2006.
|
| Berndt Farwer and Mauricio Varea;
"Transforming Dual Flow Nets into Object Petri Nets"; in proceedings of the 14th International Workshop on Concurrency, Specification & Programming (CS&P); Ruciane-Nida, Poland; 28-30th September 2005.
|
| Berndt Farwer and Mauricio Varea;
"Object-based Control/Data-flow Analysis"; Technical Report; March 2005.
|
| Dhiraj Pradhan, Magdy Abadir and Mauricio Varea;
"Recent Advances in Verification, Equivalence Checking and SAT-Solvers"; in proceedings of the 18th International Conference on VLSI Design (VLSI); pp. 14; Kolkata, India; 3-7th January 2005.
|
| Andrés Flores, Juan Carlos Augusto, Macario Polo and Mauricio Varea;
"Towards Context-aware Testing for Semantic Interoperability on PvC Environments"; in proceedings of the 17th International Conference on Systems, Man and Cybernetics (SMC); pp. 1136-1141; The Hague, Netherlands; 10-13th October 2004.
|
| Steve Barker, Michael Leuschel and Mauricio Varea;
"Efficient and Flexible Access Control via Logic Program Specialisation"; in proceedings of the 11th International Symposium on Partial Evaluation and Program Manipulation (PEPM); pp. 190-199; Verona, Italy; 24-25th August 2004.
|
| Mauricio Varea;
"Modelling and Verification of Embedded Systems based on Petri Net oriented Representations"; PhD Thesis; University of Southampton, United Kingdom; September 2003.
|
| Mauricio Varea, Michael Leuschel and Bashir M. Al-Hashimi;
"Improving Compositional Verification of State-based Models by Reducing Modular Unbalance"; in proceedings of the 2nd International Workshop on Refinement of Critical Systems (RCS); Turku, Finland; 3rd June 2003.
|
| Mauricio Varea, Bashir M. Al-Hashimi, Luis A. Cortés, Petru Eles and Zebo Peng;
"Symbolic Model Checking of Dual Transitions Petri Nets"; in proceedings of the 10th International Symposium on Hardware/Software Codesign (CODES); pp. 43-48; Colorado, United States; 6-8th May 2002.
|
| Mauricio Varea, Bashir M. Al-Hashimi and Michael Leuschel;
"Finite and Infinite Model Checking of Dual Transition Petri Net Models"; in proceedings of the 2nd International Workshop on Automated Verification of Critical Systems (AVoCS); pp. 265-269; Birmingham, United Kingdom; 15-16th April 2002.
|
| Mauricio Varea;
"Mixed Control/Data-Flow Representation for Modelling and Verification of Embedded Systems"; MPhil Transfer Report; University of Southampton, United Kingdom; March 2002.
|
| Mauricio Varea and Bashir M. Al-Hashimi;
"Embedded Systems Modelling and Validation based on Extended Petri Nets"; in proceedings of the 1st UK ACM/SIGDA Workshop on Design Automation (EDA); London, United Kingdom; 10th September 2001.
|
| Mauricio Varea and Bashir M. Al-Hashimi;
"Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification"; in proceedings of the 4th International Conference on Design, Automation and Test in Europe (DATE); pp. 566-571; Munich, Germany; 13-16th March 2001.
|
| Mauricio Varea;
"Verificación Inteligente de Personas para Accesos a Edificios Integrados por Computador"; Dipl.-Ing. Dissertation; National University of San Juan, Argentina; April 1999. (in Spanish)
|
| Mauricio Varea, Eduardo Zavalla and Marcelo Martín;
"Interfase de Verificación de Personas para Accesos a Edificios Integrados por Computador (EIC)"; Technical Report; Automation Institute, Argentina; September 1998. (in Spanish)
|
| Mauricio Varea, Pablo Larrusse and Andrea Guillén;
"Control de una válvula isoporcentual con un microcontrolador 8051"; Technical Report; National University of San Juan, Argentina; December 1997. (in Spanish)
|
share this (?)
:
