| 2011 | IWANN | Remote Monitoring and Fall Detection: Multiplatform Java Based Mobile Applications. | Miguel A. Laguna, Javier Finat |
| 2010 | CaiSE | On the Semantics of the Extend Relationship in Use Case Models: Open-Closed Principle or Clairvoyance? | Miguel A. Laguna, Jos M. Marqus, Yania Crespo |
| 2010 | ICSoft | Fall Detection Systems - A Solution based on Low Cost Sensors. | Miguel A. Laguna, Mara J. Tirado, Javier Finat, Jos M. Marqus |
| 2009 | EATIS | Mobile health monitoring and smart sensors: a product line approach. | Miguel A. Laguna, Javier Finat, Jos A. Gonzlez |
| 2009 | ICSoft | Mobile Communicators for Disabled People. | Miguel A. Laguna, Bruno Gonzlez-Baixauli |
| 2009 | ICSoft | Development of a Family of Personalized Mobile Communicators. | Miguel A. Laguna, Bruno Gonzlez-Baixauli |
| 2009 | ICSoft | Mapping Feature Diagrams to UML Models - A Transformational Approach. | Miguel A. Laguna, Bruno Gonzlez-Baixauli, Rubn Fernndez |
| 2009 | ICWE | Product Line Development of Web Systems with Conventional Tools. | Miguel A. Laguna, Bruno Gonzlez-Baixauli, Carmen Hernndez |
| 2009 | IWANN | Remote Health Monitoring: A Customizable Product Line Approach. | Miguel A. Laguna, Javier Finat, Jos A. Gonzlez |
| 2008 | ICSoft | On the Clarification of the Semantics of the Extend Relationship in Use Case Models. | Miguel A. Laguna, Jos M. Marqus |
| 2008 | ICSoft | On the Multiplicity Semantics of the Extend Relationship in Use Case Models. | Miguel A. Laguna, Jos M. Marqus |
| 2007 | GPCE | Seamless development of software product lines. | Miguel A. Laguna, Bruno Gonzlez-Baixauli, Jos M. Marqus |
| 2007 | ICSoft | A Meta-Model for Requirements Variability Analysis - Application to Tool Generation and Model Composition. | Bruno Gonzlez-Baixauli, Miguel A. Laguna, Julio Csar Sampaio do Prado Leite |
| 2006 | RE | Eliciting Non-Functional Requirements Interactions Using the Personal Construct Theory. | Bruno Gonzlez-Baixauli, Julio Csar Sampaio do Prado Leite, Miguel A. Laguna |
| 2004 | ICSR | Reuse, Standardization, and Transformation of Requirements. | Miguel A. Laguna, Oscar Lpez, Yania Crespo |
| 2002 | FASE | Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach. | Oscar Lpez, Miguel A. Laguna, Francisco Jos Garca-Pealvo |