2007 |
12 | EE | Mario Anzures-García,
Miguel J. Hornos,
Patricia Paderewski-Rodríguez:
Architecture for Developing Adaptive and Adaptable Collaborative Applications.
ECSA 2007: 271-274 |
11 | EE | 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 | EE | 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 | EE | Mario Anzures-García,
Patricia Paderewski,
Miguel J. Hornos:
SOA-based Generic Architecture for CSCW Systems.
ICUC 2006 |
7 | EE | 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 | EE | 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 | EE | Miguel J. Hornos,
Manuel I. Capel:
On-the-fly model checking from interval logic specifications.
SIGPLAN Notices 37(12): 108-119 (2002) |
2001 |
2 | EE | 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 |