Axel van Lamsweerde

75 papers A* 12A 12C 2Misc 3Journal 20Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
Obstacle Analysis in Requirements Engineering: Retrospective and Emerging Challenges.
IEEE Trans. Software Eng.
Emmanuel Letier, Axel van Lamsweerde
2020 A* conf
Adapting requirements models to varying environments.
ICSE
Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde
2019 J jnl
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.
ACM Trans. Auton. Adapt. Syst.
Antoine Cailliau, Axel van Lamsweerde
2017 — conf
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.
SEAMS@ICSE
Antoine Cailliau, Axel van Lamsweerde
2016 A* conf
Risk-driven revision of requirements models.
ICSE
Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
2015 — ch.
Generating Process Models in Multi-View Environments.
Dependable Software Systems Engineering
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
2015 A conf
Handling knowledge uncertainty in risk-based requirements engineering.
RE
Antoine Cailliau, Axel van Lamsweerde
2014 J jnl
Analyzing Critical Decision-Based Processes.
IEEE Trans. Software Eng.
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
2014 A conf
Integrating exception handling in goal models.
RE
Antoine Cailliau, Axel van Lamsweerde
2014 — conf
Process Execution and Enactment in Medical Environments.
FHIES/SEHC
Bernard Lambeau, Christophe Damas, Axel van Lamsweerde
2013 J jnl
Assessing requirements-related risks through probabilistic goals and obstacles.
Requir. Eng.
Antoine Cailliau, Axel van Lamsweerde
2013 Misc conf
Engineering Multi-view Models for Model-Driven Engineering.
TASE
Axel van Lamsweerde
2013 — ch.
Risk-driven Engineering of Requirements for Dependable Systems.
Engineering Dependable Software Systems
Axel van Lamsweerde
2013 — conf
Transformation operators for easier engineering of medical process models.
SEHC@ICSE
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
2012 A conf
A probabilistic framework for goal-oriented risk analysis.
RE
Antoine Cailliau, Axel van Lamsweerde
2012 A* conf
Generating obstacle conditions for requirements completeness.
ICSE
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
2011 J jnl
The Humble Humorous Researcher: A Tribute to Michel Sintzoff.
Formal Aspects Comput.
Axel van Lamsweerde
2011 J jnl
The humble humorous researcher: A tribute to Michel Sintzoff.
Sci. Comput. Program.
Axel van Lamsweerde
2010 A* conf
Keynote address: model engineering for model-driven engineering.
ASE
Axel van Lamsweerde
2010 Misc conf
Model engineering for model-driven engineering.
EICS
Axel van Lamsweerde
2009 A* conf
Analyzing critical process models through behavior model synthesis.
ICSE
Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde
2009 A conf
Building Multi-View System Models for Requirements Engineering.
RE
Axel van Lamsweerde
2009 — conf
Reasoning About Alternative Requirements Options.
Conceptual Modeling: Foundations and Applications
Axel van Lamsweerde
2009 — book
Requirements Engineering - From System Goals to UML Models to Software Specifications.
Axel van Lamsweerde
2008 — conf
Goal models as architectural knowledge.
SHARK
Axel van Lamsweerde
2008 — conf
Requirements engineering: from craft to discipline.
SIGSOFT FSE
Axel van Lamsweerde
2008 J jnl
The QSM Algorithm and its Application to Software Behavior Model Induction.
Appl. Artif. Intell.
Pierre Dupont, Bernard Lambeau, Christophe Damas, Axel van Lamsweerde
2007 J jnl
Early verification and validation of mission critical systems.
Formal Methods Syst. Des.
Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van
2006 — conf
Scenarios, goals, and state machines: a win-win partnership for model synthesis.
SIGSOFT FSE
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
2005 J jnl
Generating Annotated Behavior Models from End-User Scenarios.
IEEE Trans. Software Eng.
Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde
2005 — conf
Goal-Oriented Design of Domain Control Panels.
DSV-IS
Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde
2005 — conf
Reasoning about confidentiality at requirements engineering time.
ESEC/SIGSOFT FSE
Renaud De Landtsheer, Axel van Lamsweerde
2004 J jnl
Deriving tabular event-based specifications from goal-oriented requirements models.
Requir. Eng.
Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde
2004 C conf
Early Verification and Validation of Mission Critical Systems.
FMICS
Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van
2004 A* conf
Elaborating Security Requirements by Construction of Intentional Anti-Models.
ICSE
Axel van Lamsweerde
2004 A conf
Goal-Oriented Requirements Animation.
RE
Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard
2004 A conf
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice.
RE
Axel van Lamsweerde
2004 — conf
Reasoning about partial goal satisfaction for requirements and design engineering.
SIGSOFT FSE
Emmanuel Letier, Axel van Lamsweerde
2003 A conf
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.
RE
Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde
2003 A conf
FAUST: Formal Analysis Using Specification Tools.
RE
André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van
2003 — conf
From System Goals to Software Architecture.
SFM
Axel van Lamsweerde
2003 A* conf
Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications.
ICSE
Axel van Lamsweerde
2002 A* conf
Agent-based tactics for goal-oriented requirements elaboration.
ICSE
Emmanuel Letier, Axel van Lamsweerde
2002 — conf
Deriving operational software specifications from system goals.
SIGSOFT FSE
Emmanuel Letier, Axel van Lamsweerde
2002 — conf
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering.
RISSEF
Axel van Lamsweerde, Emmanuel Letier
2001 Misc conf
Building Formal Requirements Models for Reliable Software.
Ada-Europe
Axel van Lamsweerde
2001 A conf
Goal-Oriented Requirements Engineering: A Guided Tour.
RE
Axel van Lamsweerde
2000 C conf
Building Formal Models for Software Requirements.
APSEC
Axel van Lamsweerde
2000 — conf
Formal specification: a roadmap.
ICSE - Future of SE Track
Axel van Lamsweerde
2000 J jnl
Handling Obstacles in Goal-Oriented Requirements Engineering.
IEEE Trans. Software Eng.
Axel van Lamsweerde, Emmanuel Letier
2000 A* conf
Requirements engineering in the year 00: a research perspective.
ICSE
Axel van Lamsweerde
1998 J jnl
Inferring Declarative Requirements Specifications from Operational Scenarios.
IEEE Trans. Software Eng.
Axel van Lamsweerde, Laurent Willemet
1998 A* conf
Integrating Obstacles in Goal-Driven Requirements Engineering.
ICSE
Axel van Lamsweerde, Emmanuel Letier
1998 J jnl
Managing Conflicts in Goal-Driven Requirements Engineering.
IEEE Trans. Software Eng.
Axel van Lamsweerde, Robert Darimont, Emmanuel Letier
1998 — conf
Reconciling System Requirements and Runtime Behavior.
IWSSD
Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard
1997 A conf
Analogical Reuse of Requirements Frameworks.
RE
Philippe Massonet, Axel van Lamsweerde
1997 A conf
GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout.
RE
Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde
1997 A* conf
GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering.
ICSE
Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde
1997 J jnl
Requirements and Specification Exemplars.
Autom. Softw. Eng.
Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde
1996 — conf
Divergent views in goal-driven requirements engineering.
ISAW/Viewpoints@FSE
Axel van Lamsweerde
1996 — conf
Formal Refinement Patterns for Goal-Driven Requirements Elaboration.
SIGSOFT FSE
Robert Darimont, Axel van Lamsweerde
1995 J jnl
A Guided Tour through the ICARUS Project.
ACM SIGSOFT Softw. Eng. Notes
Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon
1995 A conf
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt.
RE
Axel van Lamsweerde, Robert Darimont, Philippe Massonet
1994 A* ed.
Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994.
ICSE
Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde
1994 J jnl
Succeedings of the seventh international workshop on software specification and design.
ACM SIGSOFT Softw. Eng. Notes
Martin S. Feather, Axel van Lamsweerde
1993 J jnl
Goal-Directed Requirements Acquisition.
Sci. Comput. Program.
Anne Dardenne, Axel van Lamsweerde, Stephen Fickas
1993 — ed.
Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993
IWSSD
Jack C. Wileden, Martin S. Feather, Axel van Lamsweerde
1991 — ed.
ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings
ESEC
Axel van Lamsweerde, Alfonso Fuggetta
1991 — conf
Goal-directed concept acquisition in requirements elicitation.
IWSSD
Anne Dardenne, Stephen Fickas, Axel van Lamsweerde
1988 J jnl
Generic Lifecycle Support in the ALMA Environment.
IEEE Trans. Software Eng.
Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne
1986 — conf
The kernel of a generic software development environment.
SDE
Axel van Lamsweerde, M. Buyse, Bruno Delcourt, Emmanuelle Delor, M. Ervier, Marie-Claire Schayes
1979 J jnl
Formal Derivation of Strongly Correct Concurrent Programs.
Acta Informatica
Axel van Lamsweerde, Michel Sintzoff
1977 — conf
From Verifying Termination to Guaranteeing it: A Case Study.
Formal Description of Programming Concepts
Axel van Lamsweerde
1975 — conf
Constructing correct and efficient concurrent programs.
Reliable Software
Michel Sintzoff, Axel van Lamsweerde
1972 J jnl
On an Extension of Dijkstra's Semaphore Primitives.
Inf. Process. Lett.
Hendrik Vantilborgh, Axel van Lamsweerde