Travelled to:1 × Italy
1 × Portugal
1 × Sweden
1 × Switzerland
1 × United Kingdom
12 × USA
2 × Belgium
2 × Canada
2 × Ireland
2 × Japan
Collaborated with:∅ E.Letier P.Massonet R.Darimont A.Cailliau R.D.Landtsheer C.Damas B.Lambeau E.Delor H.T.Van C.Ponsard F.Roucoux D.Alrajeh J.Kramer A.Russo S.Uchitel A.Rifaut J.Molderez P.Stadnik
Talks about:requir (20) goal (17) engin (12) model (11) orient (7) specif (5) driven (5) softwar (4) system (4) formal (4)
Person: Axel van Lamsweerde
DBLP: Lamsweerde:Axel_van
Facilitated 2 volumes:
Ed
EdContributed to:
201420122012
201020092009
20082006
200520042004200420032003
200320022002
200120012000200019981997199719961995Wrote 29 papers:
- RE-2014-CailliauL #exception #modelling
- Integrating exception handling in goal models (AC, AvL), pp. 43–52.
- ICSE-2012-AlrajehKLRU #generative #requirements
- Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
- RE-2012-CailliauL #analysis #framework #probability
- A probabilistic framework for goal-oriented risk analysis (AC, AvL), pp. 201–210.
- ASE-2010-Lamsweerde #modelling
- Keynote address: model engineering for model-driven engineering (AvL), pp. 365–366.
- ICSE-2009-DamasLRL #behaviour #modelling #process #synthesis
- Analyzing critical process models through behavior model synthesis (CD, BL, FR, AvL), pp. 441–451.
- RE-2009-Lamsweerde #modelling #multi #requirements
- Building Multi-View System Models for Requirements Engineering (AvL), pp. 368–369.
- FSE-2008-Lamsweerde #requirements
- Requirements engineering: from craft to discipline (AvL), pp. 238–249.
- FSE-2006-DamasLL #state machine #synthesis
- Scenarios, goals, and state machines: a win-win partnership for model synthesis (CD, BL, AvL), pp. 197–207.
- ESEC-FSE-2005-LandtsheerL #reasoning #requirements
- Reasoning about confidentiality at requirements engineering time (RDL, AvL), pp. 41–49.
- FSE-2004-LetierL #design #reasoning #requirements
- Reasoning about partial goal satisfaction for requirements and design engineering (EL, AvL), pp. 53–62.
- ICSE-2004-Lamsweerde #anti #requirements #security
- Elaborating Security Requirements by Construction of Intentional Anti-Models (AvL), pp. 148–157.
- RE-2004-Lamsweerde #requirements #research
- Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice (AvL), pp. 4–7.
- RE-2004-VanLMP #animation #requirements
- Goal-Oriented Requirements Animation (HTV, AvL, PM, CP), pp. 218–228.
- ICSE-2003-Lamsweerde #modelling #precise #requirements #specification #uml
- Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.
- RE-2003-LandtsheerLL #modelling #requirements #specification
- Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models (RDL, EL, AvL), p. 200–?.
- RE-2003-RifautMMPSLV #analysis #formal method #named #specification #tool support #using
- FAUST: Formal Analysis Using Specification Tools (AR, PM, JFM, CP, PS, AvL, HTV), p. 350.
- SFM-2003-Lamsweerde #architecture
- From System Goals to Software Architecture (AvL), pp. 25–43.
- FSE-2002-LetierL #specification
- Deriving operational software specifications from system goals (EL, AvL), pp. 119–128.
- ICSE-2002-LetierL #requirements
- Agent-based tactics for goal-oriented requirements elaboration (EL, AvL), pp. 83–93.
- AdaEurope-2001-Lamsweerde #modelling #reliability #requirements
- Building Formal Requirements Models for Reliable Software (AvL), pp. 1–20.
- RE-2001-Lamsweerde #requirements
- Goal-Oriented Requirements Engineering: A Guided Tour (AvL), p. 249.
- FoSE-2000-Lamsweerde00a #roadmap #specification
- Formal specification: a roadmap (AvL), pp. 147–159.
- ICSE-2000-Lamsweerde #perspective #requirements #research
- Requirements engineering in the year 00: a research perspective (AvL), pp. 5–19.
- ICSE-1998-LamsweerdeL #requirements
- Integrating Obstacles in Goal-Driven Requirements Engineering (AvL, EL), pp. 53–62.
- ICSE-1997-DarimontDML #named #requirements
- GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering (RD, ED, PM, AvL), pp. 612–613.
- RE-1997-DarimontDML #analysis #integration #layout #named #requirements
- GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout (RD, ED, PM, AvL), p. 140.
- RE-1997-MassonetL #framework #requirements #reuse #using
- Analogical Reuse of Requirements Frameworks (PM, AvL), p. 26–?.
- FSE-1996-DarimontL #refinement #requirements
- Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.
- RE-1995-LamsweerdeDM #lessons learnt #problem #requirements
- Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt (AvL, RD, PM), pp. 194–203.