| Date |
Location |
Title |
Comments |
| 3rd November 2004 |
Bristol, United Kingdom |
Formal Verification |
|
| 11th October 2004 |
The Hague, Netherlands |
Towards Context-aware Testing for Semantic Interoperability on PvC Environments |
|
| 25th August 2004 |
Verona, Italy |
Efficient and Flexible Access Control via Logic Program Specialisation |
|
| 4th June 2004 |
Bristol, United Kingdom |
Latest Findings on Platforms and Prolog Performance Issues |
|
| 8th September 2003 |
Southampton, United Kingdom |
Modelling and Verification of Embedded Systems based on Petri Net oriented Representations |
PhD Viva |
| 24th July 2003 |
Madrid, Spain |
Performance Analysis in Prolog: Looking for Key Features in a Specialisation Framework |
|
| 3rd June 2003 |
Turku, Finland |
Improving Compositional Verification of State-based Models by Reducing Modular Unbalance |
|
| 16th December 2002 |
Southampton, United Kingdom |
Modelling and Verification of Embedded Systems based on Petri Net oriented Representations |
|
| 29th October 2002 |
Enschede, Netherlands |
Modelling and Verification of Embedded Systems with combined Control and Dataflow |
|
| 6th May 2002 |
Colorado, United States |
Symbolic Model Checking of Dual Transitions Petri Nets |
additional Poster |
| 15th April 2002 |
Birmingham, United Kingdom |
Finite and Infinite Model Checking of Dual Transition Petri Net Models |
|
| 10th September 2001 |
London, United Kingdom |
Embedded Systems Modelling and Validation based on Extended Petri Nets |
|
| 10th April 2001 |
Linköping, Sweden |
Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification |
|
| 16th March 2001 |
Munich, Germany |
Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification |
|
| 16th April 1999 |
San Juan, Argentina |
Verificación Inteligente de Personas para Accesos a Edificios Integrados por Computador |
Dipl.-Ing. Dissertation |