| 2020 | ICSE | Adapting requirements models to varying environments. | Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde |
| 2017 | ICSE | Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals. | Antoine Cailliau, Axel van Lamsweerde |
| 2016 | ICSE | Risk-driven revision of requirements models. | Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastin Uchitel |
| 2015 | RE | Handling knowledge uncertainty in risk-based requirements engineering. | Antoine Cailliau, Axel van Lamsweerde |
| 2014 | RE | Integrating exception handling in goal models. | Antoine Cailliau, Axel van Lamsweerde |
| 2013 | ICSE | Transformation operators for easier engineering of medical process models. | Christophe Damas, Bernard Lambeau, Axel van Lamsweerde |
| 2013 | TASE | Engineering Multi-view Models for Model-Driven Engineering. | Axel van Lamsweerde |
| 2012 | ICSE | Generating obstacle conditions for requirements completeness. | Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastin Uchitel |
| 2012 | RE | A probabilistic framework for goal-oriented risk analysis. | Antoine Cailliau, Axel van Lamsweerde |
| 2010 | EICS | Model engineering for model-driven engineering. | Axel van Lamsweerde |
| 2009 | ICSE | Analyzing critical process models through behavior model synthesis. | Christophe Damas, Bernard Lambeau, Franois Roucoux, Axel van Lamsweerde |
| 2009 | RE | Building Multi-View System Models for Requirements Engineering. | Axel van Lamsweerde |
| 2008 | ICSE | Goal models as architectural knowledge. | Axel van Lamsweerde |
| 2004 | ICSE | Elaborating Security Requirements by Construction of Intentional Anti-Models. | Axel van Lamsweerde |
| 2004 | RE | Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. | Axel van Lamsweerde |
| 2004 | RE | Goal-Oriented Requirements Animation. | Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard |
| 2003 | ICSE | Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. | Axel van Lamsweerde |
| 2003 | RE | Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. | Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde |
| 2003 | RE | FAUST: Formal Analysis Using Specification Tools. | Andr Rifaut, Philippe Massonet, Jean-Franois Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van |
| 2002 | ICSE | Agent-based tactics for goal-oriented requirements elaboration. | Emmanuel Letier, Axel van Lamsweerde |
| 2001 | RE | Goal-Oriented Requirements Engineering: A Guided Tour. | Axel van Lamsweerde |
| 2000 | APSEC | Building Formal Models for Software Requirements. | Axel van Lamsweerde |
| 2000 | ICSE | Requirements engineering in the year 00: a research perspective. | Axel van Lamsweerde |
| 2000 | ICSE | Formal specification: a roadmap. | Axel van Lamsweerde |
| 1998 | ICSE | Integrating Obstacles in Goal-Driven Requirements Engineering. | Axel van Lamsweerde, Emmanuel Letier |
| 1997 | ICSE | GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. | Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde |
| 1997 | RE | GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. | Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde |
| 1997 | RE | Analogical Reuse of Requirements Frameworks. | Philippe Massonet, Axel van Lamsweerde |
| 1995 | RE | Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. | Axel van Lamsweerde, Robert Darimont, Philippe Massonet |