CONFERENCE PAPERS
- “PPNAL: Performance Evaluation in an Algebraic Model for
Probabilistic and Non-Deterministic Processes”
15th
Annual United
Kingdom
Performance Engineering Workshop (Bristol, U.K. 1999)
PUBLISHER: University of Bristol
- “A Comparative Study between two General
Methods for the Approximate Construction of Regular Polygons with
Mathematica”
V International IMACS Conference on Applications of
Computer Algebra, IMACS-ACA´99
(Madrid, Spain. 1999)
PUBLISHER: Tambov University Reports
- “A Study of Particular Methods for the
Approximate Construction of some Regular Polygons Using Mathematica”
V International IMACS Conference on Applications of
Computer Algebra, IMACS-ACA´99
(Madrid, Spain. 1999)
PUBLISHER: Tambov University Reports
- "Estudio de un Método General para
la Construcción Aproximada de Polígonos Regulares a
Partir del Lado Usando Mathematica"
INFORENSINO’99 (Lugo, Spain.
1999)
PUBLISHER: Spanish Ministry of Education
- "Estudio de Métodos Particulares
para la Construcción Aproximada de Ciertos Polígonos
Regulares a Partir del Lado Usando Mathematica"
INFORENSINO’99 (Lugo, Spain.
1999)
PUBLISHER: Spanish Ministry of Education
- “A Denotational Model for Probabilistic
and Non-Deterministic Processes”
IEEE ICDCS Workshop on Distributed Systems. Validation
and Verification (Taipei, Taiwan. 2000)
PUBLISHER: IEEE Computer Society Press
- "Un ejemplo de Evalución Formal de
Prestaciones Mediante el Álgebra de Procesos Estocásticos
ROSA"
XXVI CLEI (México, México DF. 2000)
PUBLISHER: Tecnológico de Monterrey
- “An Example of Performance Evaluation by Using the
Stochastic Process Algebra: ROSA”
The 7th IEEE International Conference on Real-Time
Computing Systems and Applications: RTCSA'2000(Cheju Island, South
Korea. 2000)
PUBLISHER: IEEE Computer
Society Press
- “Specification and Performance of the MPEG-2 Video
Encoding by Using the Stochastic Process Algebra: ROSA”
17th
Annual United Kingdom
Performance Engineering Workshop (Leeds, U.K. 2001)
PUBLISHER: University of Leeds
- “Reasoning About
Probabilistic and Non-deterministic Processes”
I Jornadas sobre
Programación y Lenguajes: PROLE´2001 (Almagro,
Spain. 2001)
PUBLISHER: University of Castilla - La Mancha
- “On the Improvements of the MPEG-2 Encoding Algorithm by
Timed-Arc Petri Nets”
18th
Annual United Kingdom
Performance Engineering Workshop (Glasgow, U.K. 2002)
PUBLISHER: University of Glasgow
- “A New Synchronization in Finite Stochastic Petri Box
Calculus”
3th
International Conference on
Application of Concurrency to Systems Design: ACSD´2003
(Guimaraes, Portugal.
2003)
PUBLISHER: IEEE Computer
Society Press
- “Verifying and Capturing Probabilistic Behaviour of
Real-Time Systems”
19th
Annual United Kingdom
Performance Engineering Workshop (Birmingham, U.K. 2003)
PUBLISHER: University of Warwick
- “Optimizing the MPEG-2 Encoding Procedure with the IBBP
GoP Configuration by Timed-Arc Petri Nets”
XXIX CLEI (La Paz, Bolivia. 2003)
PUBLISHER: Tecnológico de Monterrey
- “Applying Timed-Arc Petri
Nets to Improve the Performance of the MPEG-2 Encoding Algorithm”
10th International Multimedia
Modelling Conference: MMM´2004 (Brisbane, Australia. 2004)
PUBLISHER: IEEE Computer
Society Press
- “Automatic verification of the TLS handshake protocol”
19th
Annual ACM Symposium on Applied Computing: ACM´2004
(Nicosia, Cyprus. 2004)
PUBLISHER: ACM Press
- “STOPA: A STOchastic Process Algebra for the Formal
Representation of Cognitive Systems”
3rd International Conference on
Cognitive Informatics ICCI´2004 (Victoria, Canada. 2004)
PUBLISHER: IEEE Computer
Society Press
- “Specifying the Memorization process with STOPA”
4th International Conference on
Cognitive Informatics ICCI´2005 (Irvine, USA. 2005)
PUBLISHER: IEEE Computer
Society Press
- “How does the Memory work? by Timed-Arc Petri Nets”
4th International Conference on
Cognitive Informatics ICCI´2005 (Irvine, USA. 2005)
PUBLISHER: IEEE Computer
Society Press
- “A Formal Methodology to Test Complex Embedded Systems:
Application to the Interactive Driving System by GM”
4th
International Embedded Systems Symposium IESS´2005 (Manaus,
BRASIL. 2005) - Best
University Paper Awarded
PUBLISHER: SPRINGER