- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 51 |      | Axel van Lamsweerde: The Humble Humorous Researcher: A Tribute to Michel Sintzoff. Formal Asp. Comput. 23(3): 239-242 (2011) |
| 50 | | Axel van Lamsweerde: The humble humorous researcher: A tribute to Michel Sintzoff. Sci. Comput. Program. 76(8): 627-630 (2011) |
| 2010 | ||
| 49 | | Axel van Lamsweerde: Keynote address: model engineering for model-driven engineering. ASE 2010: 365-366 |
| 48 | | Axel van Lamsweerde: Model engineering for model-driven engineering. EICS 2010: 211-212 |
| 2009 | ||
| 47 | | Axel van Lamsweerde: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley 2009 |
| 46 | | Axel van Lamsweerde: Reasoning About Alternative Requirements Options. Conceptual Modeling: Foundations and Applications 2009: 380-397 |
| 45 | | Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde: Analyzing critical process models through behavior model synthesis. ICSE 2009: 441-451 |
| 44 | | Axel van Lamsweerde: Building Multi-View System Models for Requirements Engineering. RE 2009: 368-369 |
| 2008 | ||
| 43 | | Axel van Lamsweerde: Goal models as architectural knowledge. SHARK 2008: 1-2 |
| 42 | | Axel van Lamsweerde: Requirements engineering: from craft to discipline. SIGSOFT FSE 2008: 238-249 |
| 41 | | Pierre 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 | ||
| 40 | | 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 in System Design 30(3): 233-247 (2007) |
| 2006 | ||
| 39 | | 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 | ||
| 38 | | Christophe Ponsard, Nadiya Balych, Philippe Massonet, Jean Vanderdonckt, Axel van Lamsweerde: Goal-Oriented Design of Domain Control Panels. DSV-IS 2005: 249-260 |
| 37 | | Renaud De Landtsheer, Axel van Lamsweerde: Reasoning about confidentiality at requirements engineering time. ESEC/SIGSOFT FSE 2005: 41-49 |
| 36 | | Christophe 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) |
| 35 | | 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) |
| 2004 | ||
| 34 | | Axel van Lamsweerde: Elaborating Security Requirements by Construction of Intentional Anti-Models. ICSE 2004: 148-157 |
| 33 | | Hung Tran Van, Axel van Lamsweerde, Philippe Massonet, Christophe Ponsard: Goal-Oriented Requirements Animation. RE 2004: 218-228 |
| 32 | | Axel van Lamsweerde: Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. RE 2004: 4-7 |
| 31 | | Emmanuel Letier, Axel van Lamsweerde: Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT FSE 2004: 53-62 |
| 30 | | 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) |
| 2003 | ||
| 29 | | Axel van Lamsweerde: Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. ICSE 2003: 744-745 |
| 28 | | Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. RE 2003: 200- |
| 27 | | 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 |
| 26 | | Axel van Lamsweerde: From System Goals to Software Architecture. SFM 2003: 25-43 |
| 2002 | ||
| 25 | | Emmanuel Letier, Axel van Lamsweerde: Agent-based tactics for goal-oriented requirements elaboration. ICSE 2002: 83-93 |
| 24 | | Axel van Lamsweerde, Emmanuel Letier: From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. RISSEF 2002: 325-340 |
| 23 | | Emmanuel Letier, Axel van Lamsweerde: Deriving operational software specifications from system goals. SIGSOFT FSE 2002: 119-128 |
| 2001 | ||
| 22 | | Axel van Lamsweerde: Building Formal Requirements Models for Reliable Software. Ada-Europe 2001: 1-20 |
| 21 | | Axel van Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour. RE 2001: 249 |
| 2000 | ||
| 20 | | Axel van Lamsweerde: Building Formal Models for Software Requirements. APSEC 2000: 134- |
| 19 | | Axel van Lamsweerde: Requirements engineering in the year 00: a research perspective. ICSE 2000: 5-19 |
| 18 | | Axel van Lamsweerde: Formal specification: a roadmap. ICSE - Future of SE Track 2000: 147-159 |
| 17 | | Axel van Lamsweerde, Emmanuel Letier: Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Trans. Software Eng. 26(10): 978-1005 (2000) |
| 1998 | ||
| 16 | | Axel van Lamsweerde, Emmanuel Letier: Integrating Obstacles in Goal-Driven Requirements Engineering. ICSE 1998: 53-62 |
| 15 | | Axel van Lamsweerde, Robert Darimont, Emmanuel Letier: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Trans. Software Eng. 24(11): 908-926 (1998) |
| 14 | | Axel van Lamsweerde, Laurent Willemet: Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Trans. Software Eng. 24(12): 1089-1114 (1998) |
| 1997 | ||
| 13 | | Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde: GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. ICSE 1997: 612-613 |
| 12 | | Robert Darimont, Emmanuelle Delor, Philippe Massonet, Axel van Lamsweerde: GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. RE 1997: 140 |
| 11 | | Philippe Massonet, Axel van Lamsweerde: Analogical Reuse of Requirements Frameworks. RE 1997: 26- |
| 10 | | Martin S. Feather, Stephen Fickas, Anthony Finkelstein, Axel van Lamsweerde: Requirements and Specification Exemplars. Autom. Softw. Eng. 4(4): 419-438 (1997) |
| 1996 | ||
| 9 | | Robert Darimont, Axel van Lamsweerde: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. SIGSOFT FSE 1996: 179-190 |
| 1995 | ||
| 8 | | 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 | ||
| 7 | | 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 |
| 1993 | ||
| 6 | | Anne Dardenne, Axel van Lamsweerde, Stephen Fickas: Goal-Directed Requirements Acquisition. Sci. Comput. Program. 20(1-2): 3-50 (1993) |
| 1991 | ||
| 5 |  | Axel van Lamsweerde, Alfonso Fugetta: ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings Springer 1991 |
| 1988 | ||
| 4 | | 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 | ||
| 3 | | 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 | ||
| 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) |
| 1 | Nadiya Balych | [38] |
| 2 | M. Buyse | [3] |
| 3 | Robert Champagne | [4] |
| 4 | Christophe Damas | [35] [39] [41] [45] |
| 5 | Anne Dardenne | [6] |
| 6 | Robert Darimont | [8] [9] [12] [13] [15] |
| 7 | Bruno Delcourt | [3] [4] |
| 8 | Emmanuelle Delor | [3] [4] [12] [13] |
| 9 | Pierre Dupont | [35] [41] |
| 10 | M. Ervier | [3] |
| 11 | Bruno Fadini | [7] |
| 12 | Martin S. Feather | [10] |
| 13 | Stephen Fickas | [6] [10] |
| 14 | Anthony Finkelstein | [10] |
| 15 | Alfonso Fugetta | [5] |
| 16 | Bernard Lambeau | [35] [39] [41] [45] |
| 17 | Renaud De Landtsheer | [28] [30] [37] |
| 18 | Emmanuel Letier | [15] [16] [17] [23] [24] [25] [28] [30] [31] |
| 19 | Philippe Massonet | [8] [11] [12] [13] [27] [33] [36] [38] [40] |
| 20 | Jean-François Molderez | [27] [36] [40] |
| 21 | Leon J. Osterweil | [7] |
| 22 | Christophe Ponsard | [27] [33] [36] [38] [40] |
| 23 | André Rifaut | [27] [36] [40] |
| 24 | Francois Roucoux | [45] |
| 25 | Marie-Claire Schayes | [3] [4] |
| 26 | Michel Sintzoff | [2] |
| 27 | Pierre Stadnik | [27] |
| 28 | Hung Tran Van | [27] [33] [36] [40] |
| 29 | Jean Vanderdonckt | [38] |
| 30 | Hendrik Vantilborgh | [1] |
| 31 | Laurent Willemet | [14] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page