Miguel J. Hornos

	2012
14		Kawtar Benghazi Akhlaki, María Visitación Hurtado, Miguel J. Hornos, María Luisa Rodríguez, Carlos Rodríguez-Domínguez, Ana Belén Pelegrina Ortiz, María José Rodríguez-Fórtiz: Enabling correct design and formal analysis of Ambient Assisted Living systems. Journal of Systems and Software 85(3): 498-510 (2012)
	2009
13		Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera: Towards Compositional Verification in MEDISTAM-RT Methodological Framework. IWANN (2) 2009: 211-218
	2007
12		Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez: Architecture for Developing Adaptive and Adaptable Collaborative Applications. ECSA 2007: 271-274
11		Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes: Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses. EUROCAST 2007: 352-359
10		Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez: Ontology-Based Modelling of Session Management Policies for Groupware Applications. EUROCAST 2007: 57-64
	2006
9		María M. Abad-Grau, Francisco Araque, Rosana Montes, María Visitación Hurtado, Miguel J. Hornos: Web Knowledge Management for Small and Medium-Size Enterprises - WebTour: A Case Study from the Tourism Sector. ICEIS (1) 2006: 239-244
8		Mario Anzures-García, Patricia Paderewski, Miguel J. Hornos: SOA-based Generic Architecture for CSCW Systems. ICUC 2006
7		Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez: Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture. RISE 2006: 66-80
	2005
6		José Luis Garrido, Patricia Paderewski, María Luisa Rodríguez-Almendros, Miguel J. Hornos, Manuel Noguera: A Software Architecture Intended to Design High Quality Groupware Applications. Software Engineering Research and Practice 2005: 59-65
	2004
5		Miguel J. Hornos: Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata. VVEIS 2004: 26-33
4		Miguel J. Hornos: FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking. J. UCS 10(11): 1498-1518 (2004)
	2002
3		Miguel J. Hornos, Manuel I. Capel: On-the-fly model checking from interval logic specifications. SIGPLAN Notices 37(12): 108-119 (2002)
	2001
2		Miguel J. Hornos, Manuel I. Capel: Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD 2001: 221-230
1		Miguel J. Hornos, Manuel I. Capel: Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. JISBD 2001: 375-390

Coauthor Index

1	María M. Abad-Grau (María del Mar Abad-Grau)	[9]
2	Kawtar Benghazi Akhlaki	[13] [14]
3	Mario Anzures-García	[7] [8] [10] [12]
4	Francisco Araque (Francisco Araque Cuenca)	[9]
5	Roberto F. Arroyo	[11]
6	Manuel I. Capel (Manuel I. Capel Tuñón)	[1] [2] [3]
7	José Luis Garrido (José Luis Garrido Bullejos)	[6]
8	María Visitación Hurtado (María Visitación Hurtado-Torres)	[9] [14]
9	Rosana Montes-Soldado (Rosana Montes)	[9] [11]
10	Manuel Noguera	[6] [13]
11	Ana Belén Pelegrina Ortiz	[14]
12	Patricia Paderewski (Patricia Paderewski-Rodríguez)	[6] [7] [8] [10] [12]
13	María Luisa Rodríguez	[14]
14	María Luisa Rodríguez-Almendros	[6]
15	Carlos Rodríguez-Domínguez	[14]
16	María José Rodríguez-Fórtiz	[14]
17	Luz A. Sánchez-Gálvez	[10]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page