default search action
Axel van Lamsweerde
Person information
- affiliation: Université catholique de Louvain, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c49]Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde:
Adapting requirements models to varying environments. ICSE 2020: 50-61
2010 – 2019
- 2019
- [j19]Antoine Cailliau, Axel van Lamsweerde:
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals. ACM Trans. Auton. Adapt. Syst. 14(1): 3:1-3:40 (2019) - 2017
- [c48]Antoine Cailliau, Axel van Lamsweerde:
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals. SEAMS@ICSE 2017: 1-11 - 2016
- [c47]Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo
, Sebastián Uchitel
Risk-driven revision of requirements models. ICSE 2016: 855-865 - 2015
- [c46]Antoine Cailliau, Axel van Lamsweerde:
Handling knowledge uncertainty in risk-based requirements engineering. RE 2015: 106-115 - [p2]Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Generating Process Models in Multi-View Environments. Dependable Software Systems Engineering 2015: 105-127 - 2014
- [j18]Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Analyzing Critical Decision-Based Processes. IEEE Trans. Software Eng. 40(4): 338-365 (2014) - [c45]Bernard Lambeau, Christophe Damas, Axel van Lamsweerde:
Process Execution and Enactment in Medical Environments. FHIES/SEHC 2014: 145-161 - [c44]Antoine Cailliau, Axel van Lamsweerde:
Integrating exception handling in goal models. RE 2014: 43-52 - 2013
- [j17]Antoine Cailliau, Axel van Lamsweerde:
Assessing requirements-related risks through probabilistic goals and obstacles. Requir. Eng. 18(2): 129-146 (2013) - [c43]Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Transformation operators for easier engineering of medical process models. SEHC@ICSE 2013: 39-45 - [c42]Axel van Lamsweerde:
Engineering Multi-view Models for Model-Driven Engineering. TASE 2013: 3 - [p1]Axel van Lamsweerde:
Risk-driven Engineering of Requirements for Dependable Systems. Engineering Dependable Software Systems 2013: 207-234 - 2012
- [c41]Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo
Generating obstacle conditions for requirements completeness. ICSE 2012: 705-715 - [c40]Antoine Cailliau, Axel van Lamsweerde:
A probabilistic framework for goal-oriented risk analysis. RE 2012: 201-210 - 2011
- [j16]Axel van Lamsweerde:
The Humble Humorous Researcher: A Tribute to Michel Sintzoff. Formal Aspects Comput. 23(3): 239-242 (2011) - [j15]Axel van Lamsweerde:
The humble humorous researcher: A tribute to Michel Sintzoff. Sci. Comput. Program. 76(8): 627-630 (2011) - 2010
- [c39]Axel van Lamsweerde:
Model engineering for model-driven engineering. EICS 2010: 211-212 - [c38]Axel van Lamsweerde:
Keynote address: model engineering for model-driven engineering. ASE 2010: 365-366
2000 – 2009
- 2009
- [b1]Axel van Lamsweerde:
Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley 2009, ISBN 978-0-470-01270-3 - [c37]Axel van Lamsweerde:
Reasoning About Alternative Requirements Options. Conceptual Modeling: Foundations and Applications 2009: 380-397 - [c36]Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde:
Analyzing critical process models through behavior model synthesis. ICSE 2009: 441-451 - [c35]Axel van Lamsweerde:
Building Multi-View System Models for Requirements Engineering. RE 2009: 368-369 - 2008
- [j14]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): 77-115 (2008) - [c34]Axel van Lamsweerde:
Goal models as architectural knowledge. SHARK 2008: 1-2 - [c33]Axel van Lamsweerde:
Requirements engineering: from craft to discipline. SIGSOFT FSE 2008: 238-249 - 2007
- [j13]Christophe Ponsard, Philippe Massonet
Early verification and validation of mission critical systems. Formal Methods Syst. Des. 30(3): 233-247 (2007) - 2006
- [c32]Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Scenarios, goals, and state machines: a win-win partnership for model synthesis. SIGSOFT FSE 2006: 197-207 - 2005
- [j12]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) - [c31]Christophe Ponsard, Nadiya Balych, Philippe Massonet
Goal-Oriented Design of Domain Control Panels. DSV-IS 2005: 249-260 - [c30]Renaud De Landtsheer, Axel van Lamsweerde:
Reasoning about confidentiality at requirements engineering time. ESEC/SIGSOFT FSE 2005: 41-49 - 2004
- [j11]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) - [c29]Axel van Lamsweerde:
Elaborating Security Requirements by Construction of Intentional Anti-Models. ICSE 2004: 148-157 - [c28]Axel van Lamsweerde:
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. RE 2004: 4-7 - [c27]Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard:
Goal-Oriented Requirements Animation. RE 2004: 218-228 - [c26]Emmanuel Letier, Axel van Lamsweerde:
Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT FSE 2004: 53-62 - [c25]Christophe Ponsard, Philippe Massonet
Early Verification and Validation of Mission Critical Systems. FMICS 2004: 237-254 - 2003
- [c24]Axel van Lamsweerde:
Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. ICSE 2003: 744-745 - [c23]Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde:
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. RE 2003: 200- - [c22]André Rifaut, Philippe Massonet
FAUST: Formal Analysis Using Specification Tools. RE 2003: 350 - [c21]Axel van Lamsweerde:
From System Goals to Software Architecture. SFM 2003: 25-43 - 2002
- [c20]Emmanuel Letier, Axel van Lamsweerde:
Agent-based tactics for goal-oriented requirements elaboration. ICSE 2002: 83-93 - [c19]Axel van Lamsweerde, Emmanuel Letier:
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. RISSEF 2002: 325-340 - [c18]Emmanuel Letier, Axel van Lamsweerde:
Deriving operational software specifications from system goals. SIGSOFT FSE 2002: 119-128 - 2001
- [c17]Axel van Lamsweerde:
Building Formal Requirements Models for Reliable Software. Ada-Europe 2001: 1-20 - [c16]Axel van Lamsweerde:
Goal-Oriented Requirements Engineering: A Guided Tour. RE 2001: 249 - 2000
- [j10]Axel van Lamsweerde, Emmanuel Letier:
Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Trans. Software Eng. 26(10): 978-1005 (2000) - [c15]Axel van Lamsweerde:
Building Formal Models for Software Requirements. APSEC 2000: 134- - [c14]Axel van Lamsweerde:
Requirements engineering in the year 00: a research perspective. ICSE 2000: 5-19 - [c13]Axel van Lamsweerde:
Formal specification: a roadmap. ICSE - Future of SE Track 2000: 147-159
1990 – 1999
- 1998
- [j9]Axel van Lamsweerde, Robert Darimont, Emmanuel Letier:
Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Software Eng. 24(11): 908-926 (1998) - [j8]Axel van Lamsweerde, Laurent Willemet:
Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Trans. Software Eng. 24(12): 1089-1114 (1998) - [c12]Axel van Lamsweerde, Emmanuel Letier:
Integrating Obstacles in Goal-Driven Requirements Engineering. ICSE 1998: 53-62 - [c11]Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, Christophe Ponsard:
Reconciling System Requirements and Runtime Behavior. IWSSD 1998: 50-59 - 1997
- [j7]Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde:
Requirements and Specification Exemplars. Autom. Softw. Eng. 4(4): 419-438 (1997) - [c10]Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde:
GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. ICSE 1997: 612-613 - [c9]Philippe Massonet, Axel van Lamsweerde:
Analogical Reuse of Requirements Frameworks. RE 1997: 26- - [c8]Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde:
GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. RE 1997: 140 - 1996
- [c7]Robert Darimont, Axel van Lamsweerde:
Formal Refinement Patterns for Goal-Driven Requirements Elaboration. SIGSOFT FSE 1996: 179-190 - [c6]Axel van Lamsweerde:
Divergent views in goal-driven requirements engineering. ISAW/Viewpoints@FSE 1996: 252-256 - 1995
- [j6]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): 28-33 (1995) - [c5]Axel van Lamsweerde, Robert Darimont, Philippe Massonet:
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. RE 1995: 194-203 - 1994
- [j5]Martin S. Feather, Axel van Lamsweerde:
Succeedings of the seventh international workshop on software specification and design. ACM SIGSOFT Softw. Eng. Notes 19(3): 18-22 (1994) - [e3]Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde:
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 [contents] - 1993
- [j4]Anne Dardenne, Axel van Lamsweerde, Stephen Fickas:
Goal-Directed Requirements Acquisition. Sci. Comput. Program. 20(1-2): 3-50 (1993) - [e2]Jack C. Wileden, Martin S. Feather, Axel van Lamsweerde:
Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, USA, December 6-7, 1993. IEEE Computer Society 1993 [contents] - 1991
- [c4]Anne Dardenne, Stephen Fickas, Axel van Lamsweerde:
Goal-directed concept acquisition in requirements elicitation. IWSSD 1991: 14-21 - [e1]Axel van Lamsweerde, Alfonso Fuggetta:
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 [contents]
1980 – 1989
- 1988
- [j3]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) - 1986
- [c3]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
1970 – 1979
- 1979
- [j2]Axel van Lamsweerde, Michel Sintzoff:
Formal Derivation of Strongly Correct Concurrent Programs. Acta Informatica 12: 1-31 (1979) - 1977
- [c2]Axel van Lamsweerde:
From Verifying Termination to Guaranteeing it: A Case Study. Formal Description of Programming Concepts 1977: 609-620 - 1975
- [c1]Michel Sintzoff, Axel van Lamsweerde:
Constructing correct and efficient concurrent programs. Reliable Software 1975: 319-326 - 1972
- [j1]Hendrik Vantilborgh, Axel van Lamsweerde:
On an Extension of Dijkstra's Semaphore Primitives. Inf. Process. Lett. 1(5): 181-186 (1972)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 17:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: