Jesús Martínez Vis

*	2009
16	EE	Jesús Martínez, Pedro Merino, Alberto Salmeron, Francisco Malpartida: UML-Based Model-Driven Development for HSDPA Design. IEEE Software 26(3): 26-33 (2009)
	2008
15		Jesús Martínez, Cristóbal Jiménez: Software Model Checking for Internet Protocols with Java PathFinder. MSVVEIS 2008: 91-100
	2007
14	EE	Jesús Martínez, Pedro Merino, Alberto Salmeron: Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190
13	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel: PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65(1): 57-69 (2007)
	2006
12	EE	Grégory Rogez, Carlos Orrite, Jesús Martínez, José Elías Herrero Jaraba: Probabilistic Spatio-temporal 2D-Model for Pedestrian Motion Analysis in Monocular Sequences. AMDO 2006: 175-184
11	EE	José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo: An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ISoLA 2006: 397-401
10		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel: PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS 2006: 57-66
	2005
9	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino: Model checking active networks with SPIN. Computer Communications 28(6): 609-622 (2005)
8	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodriguez: Integration of Reliability and Performance Analyses for Active Network Services. Electr. Notes Theor. Comput. Sci. 133: 217-236 (2005)
	2004
7	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: aSPIN: A tool for abstract model checking. STTT 5(2-3): 165-184 (2004)
	2003
6	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD 2003: 245-246
5		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321
	2002
4	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales: Using XML to implement abstraction for Model Checking. SAC 2002: 1021-1025
3	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258
2	EE	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: A Tool for Abstraction in Model Checking. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
	1998
1		Gustavo Núñez, Leonid Sheremetov, Jesús Martínez, Adolfo Guzmán: The Eva Teleteaching Project - The Concept and the FTurcsányiirst Experience in the Development of Virtual Learning Spaces. Teleteaching 1998: 769-778

Coauthor Index

1	José M. Alvarez	[11]
2	Pedro de la Cámara	[11]
3	María-del-Mar Gallardo	[2] [3] [4] [5] [6] [7] [8] [9] [10] [13]
4	Adolfo Guzmán-Arenas (Adolfo Guzmán)	[1]
5	José Elías Herrero Jaraba	[12]
6	Cristóbal Jiménez	[15]
7	Francisco Malpartida	[16]
8	Pedro Merino	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [16]
9	Victoria Morillo	[11]
10	Gustavo Núñez	[1]
11	Pablo Nuñez	[10] [13]
12	Carlos Orrite-Uruñuela (Carlos Orrite)	[12]
13	Francisco C. Perez	[11]
14	Ernesto Pimentel	[2] [3] [5] [6] [7] [10] [13]
15	Guillermo Rodriguez	[8]
16	Grégory Rogez	[12]
17	Estefanía Rosales	[4]
18	Alberto Salmeron	[14] [16]
19	Leonid Sheremetov (Leonid Cheremetov)	[1]

Colors in the list of coauthors