Axel van Lamsweerde

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Christophe Damas

> Home > Persons > Axel van Lamsweerde

Publications

2015
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/DamasLL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/DamasLL15
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Generating Process Models in Multi-View Environments. Dependable Software Systems Engineering 2015: 105-127
2014
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DamasLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DamasLL14
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Analyzing Critical Decision-Based Processes. IEEE Trans. Software Eng. 40(4): 338-365 (2014)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/LambeauDL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/LambeauDL14
Bernard Lambeau, Christophe Damas, Axel van Lamsweerde:
Process Execution and Enactment in Medical Environments. FHIES/SEHC 2014: 145-161
2013
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DamasLL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DamasLL13
Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Transformation operators for easier engineering of medical process models. SEHC@ICSE 2013: 39-45
2009
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DamasLRL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DamasLRL09
Christophe Damas, Bernard Lambeau, François Roucoux, Axel van Lamsweerde:
Analyzing critical process models through behavior model synthesis. ICSE 2009: 441-451
2008
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/aai/DupontLDL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aai/DupontLDL08
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)
2006
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DamasLL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DamasLL06
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DamasLDL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DamasLDL05
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)

a service of

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.