Axel van Lamsweerde

Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel: Generating obstacle conditions for requirements completeness. ICSE 2012: 705-715

Antoine Cailliau, Axel van Lamsweerde: A probabilistic framework for goal-oriented risk analysis. RE 2012: 201-210

Axel van Lamsweerde: The Humble Humorous Researcher: A Tribute to Michel Sintzoff. Formal Asp. Comput. 23(3): 239-242 (2011)

Axel van Lamsweerde: The humble humorous researcher: A tribute to Michel Sintzoff. Sci. Comput. Program. 76(8): 627-630 (2011)

Axel van Lamsweerde: Model engineering for model-driven engineering. EICS 2010: 211-212

Axel van Lamsweerde: Keynote address: model engineering for model-driven engineering. ASE 2010: 365-366

Axel van Lamsweerde: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley 2009, isbn 978-0-470-01270-3

Axel van Lamsweerde: Reasoning About Alternative Requirements Options. Conceptual Modeling: Foundations and Applications 2009: 380-397

Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde: Analyzing critical process models through behavior model synthesis. ICSE 2009: 441-451

Axel van Lamsweerde: Building Multi-View System Models for Requirements Engineering. RE 2009: 368-369

Pierre Dupont, Bernard Lambeau, Christophe Damas, Axel van Lamsweerde: The QSM Algorithm and its Application to Software Behavior Model Induction. Applied Artificial Intelligence 22(1&2): 77-115 (2008)

Axel van Lamsweerde: Goal models as architectural knowledge. SHARK 2008: 1-2

Axel van Lamsweerde: Requirements engineering: from craft to discipline. SIGSOFT FSE 2008: 238-249

Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van: Early verification and validation of mission critical systems. Formal Methods in System Design 30(3): 233-247 (2007)

Christophe Damas, Bernard Lambeau, Axel van Lamsweerde: Scenarios, goals, and state machines: a win-win partnership for model synthesis. SIGSOFT FSE 2006: 197-207

Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van: Early Verification and Validation of Mission Critical Systems. Electr. Notes Theor. Comput. Sci. 133: 237-254 (2005)

Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde: Generating Annotated Behavior Models from End-User Scenarios. IEEE Trans. Software Eng. 31(12): 1056-1073 (2005)

Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde: Goal-Oriented Design of Domain Control Panels. DSV-IS 2005: 249-260

Renaud De Landtsheer, Axel van Lamsweerde: Reasoning about confidentiality at requirements engineering time. ESEC/SIGSOFT FSE 2005: 41-49

Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde: Deriving tabular event-based specifications from goal-oriented requirements models. Requir. Eng. 9(2): 104-120 (2004)

Axel van Lamsweerde: Elaborating Security Requirements by Construction of Intentional Anti-Models. ICSE 2004: 148-157

Axel van Lamsweerde: Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. RE 2004: 4-7

Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard: Goal-Oriented Requirements Animation. RE 2004: 218-228

Emmanuel Letier, Axel van Lamsweerde: Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT FSE 2004: 53-62

Axel van Lamsweerde: Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. ICSE 2003: 744-745

Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. RE 2003: 200-

André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van: FAUST: Formal Analysis Using Specification Tools. RE 2003: 350

Axel van Lamsweerde: From System Goals to Software Architecture. SFM 2003: 25-43

Emmanuel Letier, Axel van Lamsweerde: Agent-based tactics for goal-oriented requirements elaboration. ICSE 2002: 83-93

Axel van Lamsweerde, Emmanuel Letier: From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. RISSEF 2002: 325-340

Emmanuel Letier, Axel van Lamsweerde: Deriving operational software specifications from system goals. SIGSOFT FSE 2002: 119-128

Axel van Lamsweerde: Building Formal Requirements Models for Reliable Software. Ada-Europe 2001: 1-20

Axel van Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour. RE 2001: 249

Axel van Lamsweerde, Emmanuel Letier: Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Trans. Software Eng. 26(10): 978-1005 (2000)

Axel van Lamsweerde: Building Formal Models for Software Requirements. APSEC 2000: 134-

Axel van Lamsweerde: Requirements engineering in the year 00: a research perspective. ICSE 2000: 5-19

Axel van Lamsweerde: Formal specification: a roadmap. ICSE - Future of SE Track 2000: 147-159

Axel van Lamsweerde, Robert Darimont, Emmanuel Letier: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Software Eng. 24(11): 908-926 (1998)

Axel van Lamsweerde, Laurent Willemet: Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Trans. Software Eng. 24(12): 1089-1114 (1998)

Axel van Lamsweerde, Emmanuel Letier: Integrating Obstacles in Goal-Driven Requirements Engineering. ICSE 1998: 53-62

Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde: Requirements and Specification Exemplars. Autom. Softw. Eng. 4(4): 419-438 (1997)

Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde: GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. ICSE 1997: 612-613

Philippe Massonet, Axel van Lamsweerde: Analogical Reuse of Requirements Frameworks. RE 1997: 26-

Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde: GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. RE 1997: 140

Robert Darimont, Axel van Lamsweerde: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. SIGSOFT FSE 1996: 179-190

Axel van Lamsweerde, Robert Darimont, Philippe Massonet: Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. RE 1995: 194-203

Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde (Eds.): Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994. IEEE Computer Society / ACM Press 1994, isbn 0-8186-5855-X

Anne Dardenne, Axel van Lamsweerde, Stephen Fickas: Goal-Directed Requirements Acquisition. Sci. Comput. Program. 20(1-2): 3-50 (1993)

Axel van Lamsweerde, Alfonso Fugetta (Eds.): ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Lecture Notes in Computer Science 550, Springer 1991, isbn 3-540-54742-8

Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne: Generic Lifecycle Support in the ALMA Environment. IEEE Trans. Software Eng. 14(6): 720-741 (1988)

Axel van Lamsweerde, M. Buyse, Bruno Delcourt, Emmanuelle Delor, M. Ervier, Marie-Claire Schayes: The kernel of a generic software development environment. SDE 1986: 208-217

Axel van Lamsweerde, Michel Sintzoff: Formal Derivation of Strongly Correct Concurrent Programs. Acta Inf. 12: 1-31 (1979)

Hendrik Vantilborgh, Axel van Lamsweerde: On an Extension of Dijkstra's Semaphore Primitives. Inf. Process. Lett. 1(5): 181-186 (1972)