dblp.uni-trier.dewww.uni-trier.de

Axel van Lamsweerde

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
41EEAxel van Lamsweerde: Goal models as architectural knowledge. SHARK 2008: 1-2
40EEAxel van Lamsweerde: Requirements engineering: from craft to discipline. SIGSOFT FSE 2008: 238-249
39EEPierre Dupont, Bernard Lambeau, Christophe Damas, Axel van Lamsweerde: The QSM Algorithm and its Application to Software Behavior Model Induction. Applied Artificial Intelligence 22(1&2): 77-115 (2008)
2007
38EEChristophe 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 in System Design 30(3): 233-247 (2007)
2006
37EEChristophe Damas, Bernard Lambeau, Axel van Lamsweerde: Scenarios, goals, and state machines: a win-win partnership for model synthesis. SIGSOFT FSE 2006: 197-207
2005
36EEChristophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde: Goal-Oriented Design of Domain Control Panels. DSV-IS 2005: 249-260
35EERenaud De Landtsheer, Axel van Lamsweerde: Reasoning about confidentiality at requirements engineering time. ESEC/SIGSOFT FSE 2005: 41-49
34EEChristophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van: Early Verification and Validation of Mission Critical Systems. Electr. Notes Theor. Comput. Sci. 133: 237-254 (2005)
33EEChristophe 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)
2004
32EEAxel van Lamsweerde: Elaborating Security Requirements by Construction of Intentional Anti-Models. ICSE 2004: 148-157
31EEHung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard: Goal-Oriented Requirements Animation. RE 2004: 218-228
30EEAxel van Lamsweerde: Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. RE 2004: 4-7
29EEEmmanuel Letier, Axel van Lamsweerde: Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT FSE 2004: 53-62
28EERenaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde: Deriving tabular event-based specifications from goal-oriented requirements models. Requir. Eng. 9(2): 104-120 (2004)
2003
27EEAxel van Lamsweerde: Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. ICSE 2003: 744-745
26EERenaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. RE 2003: 200-
25EEAndré 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
24EEAxel van Lamsweerde: From System Goals to Software Architecture. SFM 2003: 25-43
2002
23EEEmmanuel Letier, Axel van Lamsweerde: Agent-based tactics for goal-oriented requirements elaboration. ICSE 2002: 83-93
22EEAxel van Lamsweerde, Emmanuel Letier: From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. RISSEF 2002: 325-340
21EEEmmanuel Letier, Axel van Lamsweerde: Deriving operational software specifications from system goals. SIGSOFT FSE 2002: 119-128
2001
20EEAxel van Lamsweerde: Building Formal Requirements Models for Reliable Software. Ada-Europe 2001: 1-20
19EEAxel van Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour. RE 2001: 249
2000
18EEAxel van Lamsweerde: Building Formal Models for Software Requirements. APSEC 2000: 134-
17EEAxel van Lamsweerde: Requirements engineering in the year 00: a research perspective. ICSE 2000: 5-19
16EEAxel van Lamsweerde: Formal specification: a roadmap. ICSE - Future of SE Track 2000: 147-159
15EEAxel van Lamsweerde, Emmanuel Letier: Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Trans. Software Eng. 26(10): 978-1005 (2000)
1998
14 Axel van Lamsweerde, Emmanuel Letier: Integrating Obstacles in Goal-Driven Requirements Engineering. ICSE 1998: 53-62
13EEAxel van Lamsweerde, Robert Darimont, Emmanuel Letier: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Software Eng. 24(11): 908-926 (1998)
12EEAxel van Lamsweerde, Laurent Willemet: Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Trans. Software Eng. 24(12): 1089-1114 (1998)
1997
11EERobert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde: GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. ICSE 1997: 612-613
10EERobert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde: GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. RE 1997: 140
9EEPhilippe Massonet, Axel van Lamsweerde: Analogical Reuse of Requirements Frameworks. RE 1997: 26-
8 Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde: Requirements and Specification Exemplars. Autom. Softw. Eng. 4(4): 419-438 (1997)
1996
7EERobert Darimont, Axel van Lamsweerde: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. SIGSOFT FSE 1996: 179-190
1995
6EEAxel van Lamsweerde, Robert Darimont, Philippe Massonet: Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. RE 1995: 194-203
1993
5 Anne Dardenne, Axel van Lamsweerde, Stephen Fickas: Goal-Directed Requirements Acquisition. Sci. Comput. Program. 20(1-2): 3-50 (1993)
1991
4 Axel van Lamsweerde, Alfonso Fugetta: ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings Springer 1991
1988
3EEAxel 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)
1979
2 Axel van Lamsweerde, Michel Sintzoff: Formal Derivation of Strongly Correct Concurrent Programs. Acta Inf. 12: 1-31 (1979)
1972
1 Hendrik Vantilborgh, Axel van Lamsweerde: On an Extension of Dijkstra's Semaphore Primitives. Inf. Process. Lett. 1(5): 181-186 (1972)

Coauthor Index

1Nadiya Balych [36]
2Robert Champagne [3]
3Christophe Damas [33] [37] [39]
4Anne Dardenne [5]
5Robert Darimont [6] [7] [10] [11] [13]
6Bruno Delcourt [3]
7Emmanuelle Delor [3] [10] [11]
8Pierre Dupont [33] [39]
9Martin S. Feather [8]
10Stephen Fickas [5] [8]
11Anthony Finkelstein [8]
12Alfonso Fugetta [4]
13Bernard Lambeau [33] [37] [39]
14Renaud De Landtsheer [26] [28] [35]
15Emmanuel Letier [13] [14] [15] [21] [22] [23] [26] [28] [29]
16Philippe Massonet [6] [9] [10] [11] [25] [31] [34] [36] [38]
17Jean-François Molderez [25] [34] [38]
18Christophe Ponsard [25] [31] [34] [36] [38]
19André Rifaut [25] [34] [38]
20Marie-Claire Schayes [3]
21Michel Sintzoff [2]
22Pierre Stadnik [25]
23Hung Tran Van [25] [31] [34] [38]
24Jean Vanderdonckt [36]
25Hendrik Vantilborgh [1]
26Laurent Willemet [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)