Остановите войну!
for scientists:
default search action
Axel van Lamsweerde
- > Home > Persons > Axel van Lamsweerde
Publications
- 2020
- [c49]Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde:
Adapting requirements models to varying environments. ICSE 2020: 50-61 - 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 - 2012
- [c41]Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel:
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 - 2009
- [c36]Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde:
Analyzing critical process models through behavior model synthesis. ICSE 2009: 441-451 - 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) - 2007
- [j13]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): 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, Jean Vanderdonckt, Axel van Lamsweerde:
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) - [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, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van:
Early Verification and Validation of Mission Critical Systems. FMICS 2004: 237-254 - 2003
- [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, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van:
FAUST: Formal Analysis Using Specification Tools. RE 2003: 350 - 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 - 2000
- [j10]Axel van Lamsweerde, Emmanuel Letier:
Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Trans. Software Eng. 26(10): 978-1005 (2000) - 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) - [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 - 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] - 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 - 1979
- [j2]Axel van Lamsweerde, Michel Sintzoff:
Formal Derivation of Strongly Correct Concurrent Programs. Acta Informatica 12: 1-31 (1979) - 1975
- [c1]Michel Sintzoff, Axel van Lamsweerde:
Constructing correct and efficient concurrent programs. Reliable Software 1975: 319-326
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-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint