Axel van Lamsweerde

Publication Activity (10 Years)

Years Active: 1972-2020
Publications (10 Years): 5

Top Topics

Probabilistic Logic

Process Execution

Exception Handling

Top Venues

Publications

Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde
Adapting requirements models to varying environments. ICSE (2020)
Antoine Cailliau, Axel van Lamsweerde
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals. ACM Trans. Auton. Adapt. Syst. 14 (1) (2019)
Antoine Cailliau, Axel van Lamsweerde
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals. SEAMS@ICSE (2017)
Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel
Risk-driven revision of requirements models. ICSE (2016)
Antoine Cailliau, Axel van Lamsweerde
Handling knowledge uncertainty in risk-based requirements engineering. RE (2015)
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Analyzing Critical Decision-Based Processes. IEEE Trans. Software Eng. 40 (4) (2014)
Antoine Cailliau, Axel van Lamsweerde
Integrating exception handling in goal models. RE (2014)
Bernard Lambeau, Christophe Damas, Axel van Lamsweerde
Process Execution and Enactment in Medical Environments. FHIES/SEHC (2014)
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Transformation operators for easier engineering of medical process models. SEHC@ICSE (2013)
Axel van Lamsweerde
Engineering Multi-view Models for Model-Driven Engineering. TASE (2013)
Antoine Cailliau, Axel van Lamsweerde
Assessing requirements-related risks through probabilistic goals and obstacles. Requir. Eng. 18 (2) (2013)
Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel
Generating obstacle conditions for requirements completeness. ICSE (2012)
Antoine Cailliau, Axel van Lamsweerde
A probabilistic framework for goal-oriented risk analysis. RE (2012)
Axel van Lamsweerde
The Humble Humorous Researcher: A Tribute to Michel Sintzoff. Formal Aspects Comput. 23 (3) (2011)
Axel van Lamsweerde
The humble humorous researcher: A tribute to Michel Sintzoff. Sci. Comput. Program. 76 (8) (2011)
Axel van Lamsweerde
Keynote address: model engineering for model-driven engineering. ASE (2010)
Axel van Lamsweerde
Model engineering for model-driven engineering. EICS (2010)
Axel van Lamsweerde
Building Multi-View System Models for Requirements Engineering. RE (2009)
Axel van Lamsweerde
Reasoning About Alternative Requirements Options. Conceptual Modeling: Foundations and Applications (2009)
Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde
Analyzing critical process models through behavior model synthesis. ICSE (2009)
Pierre Dupont, Bernard Lambeau, Christophe Damas, Axel van Lamsweerde
The QSM Algorithm and its Application to Software Behavior Model Induction. Appl. Artif. Intell. 22 (1&2) (2008)
Axel van Lamsweerde
Requirements engineering: from craft to discipline. SIGSOFT FSE (2008)
Axel van Lamsweerde
Goal models as architectural knowledge. SHARK (2008)
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 Syst. Des. 30 (3) (2007)
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Scenarios, goals, and state machines: a win-win partnership for model synthesis. SIGSOFT FSE (2006)
Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde
Goal-Oriented Design of Domain Control Panels. DSV-IS (2005)
Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde
Generating Annotated Behavior Models from End-User Scenarios. IEEE Trans. Software Eng. 31 (12) (2005)
Renaud De Landtsheer, Axel van Lamsweerde
Reasoning about confidentiality at requirements engineering time. ESEC/SIGSOFT FSE (2005)
Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van
Early Verification and Validation of Mission Critical Systems. Electron. Notes Theor. Comput. Sci. 133 (2005)
Axel van Lamsweerde
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. RE (2004)
Emmanuel Letier, Axel van Lamsweerde
Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT FSE (2004)
Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard
Goal-Oriented Requirements Animation. RE (2004)
Axel van Lamsweerde
Elaborating Security Requirements by Construction of Intentional Anti-Models. ICSE (2004)
Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde
Deriving tabular event-based specifications from goal-oriented requirements models. Requir. Eng. 9 (2) (2004)
Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. RE (2003)
Axel van Lamsweerde
Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. ICSE (2003)
Axel van Lamsweerde
From System Goals to Software Architecture. SFM (2003)
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)
Emmanuel Letier, Axel van Lamsweerde
Deriving operational software specifications from system goals. SIGSOFT FSE (2002)
Axel van Lamsweerde, Emmanuel Letier
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. RISSEF (2002)
Emmanuel Letier, Axel van Lamsweerde
Agent-based tactics for goal-oriented requirements elaboration. ICSE (2002)
Axel van Lamsweerde
Building Formal Requirements Models for Reliable Software. Ada-Europe (2001)
Axel van Lamsweerde
Goal-Oriented Requirements Engineering: A Guided Tour. RE (2001)
Axel van Lamsweerde
Requirements engineering in the year 00: a research perspective. ICSE (2000)
Axel van Lamsweerde, Emmanuel Letier
Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Trans. Software Eng. 26 (10) (2000)
Axel van Lamsweerde
Building Formal Models for Software Requirements. APSEC (2000)
Axel van Lamsweerde
Formal specification: a roadmap. ICSE - Future of SE Track (2000)
Axel van Lamsweerde, Laurent Willemet
Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Trans. Software Eng. 24 (12) (1998)
Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard
Reconciling System Requirements and Runtime Behavior. IWSSD (1998)
Axel van Lamsweerde, Emmanuel Letier
Integrating Obstacles in Goal-Driven Requirements Engineering. ICSE (1998)
Axel van Lamsweerde, Robert Darimont, Emmanuel Letier
Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Software Eng. 24 (11) (1998)
Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde
GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. ICSE (1997)
Philippe Massonet, Axel van Lamsweerde
Analogical Reuse of Requirements Frameworks. RE (1997)
Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde
Requirements and Specification Exemplars. Autom. Softw. Eng. 4 (4) (1997)
Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde
GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. RE (1997)
Robert Darimont, Axel van Lamsweerde
Formal Refinement Patterns for Goal-Driven Requirements Elaboration. SIGSOFT FSE (1996)
Axel van Lamsweerde
Divergent views in goal-driven requirements engineering. ISAW/Viewpoints@FSE (1996)
Eric Dubois, Jacques Hagelstein, Axel van Lamsweerde, Fernando Orejas, Jeanine Souquières, Pierre L. Wodon
A Guided Tour through the ICARUS Project. ACM SIGSOFT Softw. Eng. Notes 20 (2) (1995)
Axel van Lamsweerde, Robert Darimont, Philippe Massonet
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. RE (1995)
Martin S. Feather, Axel van Lamsweerde
Succeedings of the seventh international workshop on software specification and design. ACM SIGSOFT Softw. Eng. Notes 19 (3) (1994)
Anne Dardenne, Axel van Lamsweerde, Stephen Fickas
Goal-Directed Requirements Acquisition. Sci. Comput. Program. 20 (1-2) (1993)
Anne Dardenne, Stephen Fickas, Axel van Lamsweerde
Goal-directed concept acquisition in requirements elicitation. IWSSD (1991)
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) (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)
Axel van Lamsweerde, Michel Sintzoff
Formal Derivation of Strongly Correct Concurrent Programs. Acta Informatica 12 (1979)
Axel van Lamsweerde
From Verifying Termination to Guaranteeing it: A Case Study. Formal Description of Programming Concepts (1977)
Michel Sintzoff, Axel van Lamsweerde
Constructing correct and efficient concurrent programs. Reliable Software (1975)
Hendrik Vantilborgh, Axel van Lamsweerde
On an Extension of Dijkstra's Semaphore Primitives. Inf. Process. Lett. 1 (5) (1972)