Publications of the COSMOS Research Group

1987
[20]	Manual de uso y mantenimiento del paquete de validación de redes de Petri ARP (Manuel Silva and Javier Martínez), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1987. [bibtex]
1989
[19]	Structural Analysis and Synthesis of Petri Nets (José-Manuel Colom, Javier Esparza and Manuel Silva), Technical report 89-15, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1989. [bibtex]
1990
[18]	A Report on Petri Net Software Tools. (Javier Martínez, José-Manuel Colom and Manuel Silva), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1990. [bibtex]
1991
[17]	Técnicas de Análisis y Diseño de Sistemas Empotrados (José-Manuel Colom, Javier Martínez, Luis Montano, Pedro Muro, Denis Navarro, Manuel Silva, Juan Domingo Tardós, Santiago Velilla and José Luis Villarroel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1991. [bibtex]
1992
[16]	On Weighted T-Systems (Enrique Teruel, Piotr Chrzastowski-Wachtel, José-Manuel Colom and Manuel Silva), Technical report 92-03, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1992. [bibtex]
[15]	Liveness, Schedulers and Petri Nets. Application to the Detection of Ada Tasking Deadlocks (José-Manuel Colom, Javier Campos and Manuel Silva), Technical report 92-12, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1992. [bibtex]
[14]	On the Analysis and Synthesis of Systems of Simple Sequential Processes with Resources (SSSPR) (Joaquín Ezpeleta, José-Manuel Colom and Javier Martínez), Technical report 92-30, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1992. [bibtex]
[13]	Linear Analysis of Deadlock-Freeness Using PNs (Enrique Teruel, José-Manuel Colom and Manuel Silva), Technical report 92-29, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1992. [bibtex]
[12]	A Formal Semantics of VHDL (Serafín Olcoz), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1992. [bibtex]
1993
[11]	Structure Theory of Choice-free Systems (Enrique Teruel, José-Manuel Colom and Manuel Silva), Technical report 93-09, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1993, Revised in September. [bibtex]
[10]	A Review of the Report: A Formal Semantics of VHDL (Serafín Olcoz, Fernando García-Vallés, Joaquín Ezpeleta), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1993. [bibtex]
[9]	VCPN - A description language of Coloured Petri Nets obtained from a VHDL description (José Ramón Asensio, Joaquín Ezpeleta and F. García-Vallés), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1993. [bibtex]
1994
[8]	VCPN - A description language of Coloured Petri Nets obtained from an elaborated VHDL description (José-Manuel Colom, José Ramón Asensio, Joaquín Ezpeleta, Fernando García-Vallés and Enrique Teruel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1994. [bibtex]
[7]	Structural Analysis of Petri Nets (José-Manuel Colom, José Ramón Asensio, Joaquín Ezpeleta, Fernando García-Vallés and Enrique Teruel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1994. [bibtex]
[6]	Translating VHDL into Coloured Petri Nets (José-Manuel Colom, José Ramón Asensio, Joaquín Ezpeleta, Fernando García-Vallés, Serafín Olcoz and Enrique Teruel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1994. [bibtex]
[5]	Structural Analysis of Place/Transition Nets. An Example (José-Manuel Colom, José Ramón Asensio, Joaquín Ezpeleta, Fernando García-Vallés and Enrique Teruel), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1994. [bibtex]
2005
[4]	Development of a Scalable Platform for Highly Mobile Agents (S. Ilarri, R. Trillo and E. Mena), Technical report, , 2005. [bibtex]
2006
[3]	Works Related to LOQOMOTION (S. Ilarri, E. Mena and A. Illarramendi), Technical report, , 2006. [bibtex]
[2]	Processing Location-Dependent Queries with Location Granules (S. Ilarri, E. Mena and C. Bobed), Technical report RR-07-06, University of Zaragoza, 2006. [bibtex]
2008
[1]	An Architecture for Prediction-Based Monitoring of Data Streams (S. Ilarri, O. Wolfson, E. Mena, A. Illarramendi and P. Sistla), Technical report, , 2008. [bibtex]