Santiago Pavón

13 papers C 7Unranked 6
YearRankTypeTitle / Venue / Authors
2007 — conf
A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows.
MMNS
José Luis García-Dorado, Javier Aracil, José Alberto Hernández, Sergio López-Buedo, Jorge E. López de Vergara, Pedro Reviriego, Gabriel Huecas, Santiago Pavón, Juan Quemada
2006 C conf
A Collaborative Environment Integration Layer for Activity Orientation.
CollaborateCom
Juan Quemada, Joaquín Salvachúa, Tomás Robles, Encarna Pastor, Santiago Pavón, Gabriel Huecas
2005 C conf
Isabel: an application for real time collaboration with a flexible floor control.
CollaborateCom
Juan Quemada, Tomás de Miguel, Santiago Pavón, Gabriel Huecas, Tomás Robles, Joaquín Salvachúa, Diego Andres Acosta Ortiz, Vicente Sirvent, Fernando Escribano, Javier Sedano
2003 — conf
Isabel Distribution of the Madrid Global IPv6 Summit 2002.
SAINT Workshops
Juan Quemada, Tomás de Miguel, Eva M. Castro, Santiago Pavón, Gabriel Huecas, Tomás Robles, Joaquín Salvachúa, Elena Apolinario, Javier Sedano, María José Perea
2000 — conf
Managing Distributed Conferences with ISABEL.
MMNS
Tomás Robles, Héctor L. Velayos Munoz, Juan Quemada, Tomás de Miguel, Santiago Pavón, Joaquín Salvachúa, Gabriel Huecas, Eva M. Castro, Manuel Petit
1996 C conf
From LOTOS to Petri Nets through Iexpansion.
FORTE
David Larrabeiti, Juan Quemada, Santiago Pavón
1996 — conf
ISABEL: A CSCW Application for the Distribution of Events.
COST 237 Workshop
Juan Quemada, Tomás de Miguel, Arturo Azcorra, Santiago Pavón, Joaquín Salvachúa, Manuel Petit, David Larrabeiti, Tomás Robles, Gabriel Huecas
1994 — conf
ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks.
IWACA
Tomás de Miguel, Santiago Pavón, Joaquín Salvachúa, Juan Quemada, Pedro Luis Chas Alonso, Javier Fernandez-Amigo, Carlos M. Acuña, Lidia Rodriguez Yamamoto, Vasco Lagarto, Joao Vastos
1993 C conf
Compressing the State Space Representation of LOTOS Specifications.
FORTE
Juan Quemada, David Larrabeiti, Santiago Pavón
1991 C conf
Inverse Expansion.
FORTE
Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega
1990 C conf
The Testing Functionalities of LOLA.
FORTE
Santiago Pavón, Martín Llamas Nistal
1989 — conf
State Exploration by Transformation with LOLA.
Automatic Verification Methods for Finite State Systems
Juan Quemada, Santiago Pavón, Angel Fernández
1988 C conf
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.
FORTE
Juan Quemada, Santiago Pavón, Angel Fernández