Axel van Lamsweerde

According to our database1, Axel van Lamsweerde
  • authored at least 62 papers between 1972 and 2017.
  • has a "Dijkstra number"2 of four.

Awards

ACM Fellow

ACM Fellow 2000, "For wide spectrum research contributions, from parallel program synthesis to software engineering environments to requirements engineering. Contributions to the software engineering community in Europe and worldwide.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

2016
Risk-driven revision of requirements models.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Generating Process Models in Multi-View Environments.
Proceedings of the Dependable Software Systems Engineering, 2015

Handling knowledge uncertainty in risk-based requirements engineering.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

2014
Analyzing Critical Decision-Based Processes.
IEEE Trans. Software Eng., 2014

Integrating exception handling in goal models.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Process Execution and Enactment in Medical Environments.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013
Risk-driven Engineering of Requirements for Dependable Systems.
Proceedings of the Engineering Dependable Software Systems, 2013

Assessing requirements-related risks through probabilistic goals and obstacles.
Requir. Eng., 2013

Engineering Multi-view Models for Model-Driven Engineering.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Transformation operators for easier engineering of medical process models.
Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

2012
A probabilistic framework for goal-oriented risk analysis.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Generating obstacle conditions for requirements completeness.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
The humble humorous researcher: A tribute to Michel Sintzoff.
Sci. Comput. Program., 2011

The Humble Humorous Researcher: A Tribute to Michel Sintzoff.
Formal Asp. Comput., 2011

2010
Keynote address: model engineering for model-driven engineering.
Proceedings of the ASE 2010, 2010

Model engineering for model-driven engineering.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2009
Building Multi-View System Models for Requirements Engineering.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Analyzing critical process models through behavior model synthesis.
Proceedings of the 31st International Conference on Software Engineering, 2009

Reasoning About Alternative Requirements Options.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Requirements Engineering - From System Goals to UML Models to Software Specifications.
Wiley, ISBN: 978-0-470-01270-3, 2009

2008
The QSM Algorithm and its Application to Software Behavior Model Induction.
Applied Artificial Intelligence, 2008

Requirements engineering: from craft to discipline.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Goal models as architectural knowledge.
Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008

2007
Early verification and validation of mission critical systems.
Formal Methods in System Design, 2007

2006
Scenarios, goals, and state machines: a win-win partnership for model synthesis.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2005
Generating Annotated Behavior Models from End-User Scenarios.
IEEE Trans. Software Eng., 2005

Early Verification and Validation of Mission Critical Systems.
Electr. Notes Theor. Comput. Sci., 2005

Reasoning about confidentiality at requirements engineering time.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Goal-Oriented Design of Domain Control Panels.
Proceedings of the Interactive Systems, 2005

2004
Deriving tabular event-based specifications from goal-oriented requirements models.
Requir. Eng., 2004

Reasoning about partial goal satisfaction for requirements and design engineering.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Goal-Oriented Requirements Animation.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Elaborating Security Requirements by Construction of Intentional Anti-Models.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
From System Goals to Software Architecture.
Proceedings of the Formal Methods for Software Architectures, 2003

FAUST: Formal Analysis Using Specification Tools.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications.
Proceedings of the 25th International Conference on Software Engineering, 2003

2002
Deriving operational software specifications from system goals.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Agent-based tactics for goal-oriented requirements elaboration.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
Goal-Oriented Requirements Engineering: A Guided Tour.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Building Formal Requirements Models for Reliable Software.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Handling Obstacles in Goal-Oriented Requirements Engineering.
IEEE Trans. Software Eng., 2000

Formal specification: a roadmap.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Requirements engineering in the year 00: a research perspective.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Building Formal Models for Software Requirements.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998
Inferring Declarative Requirements Specifications from Operational Scenarios.
IEEE Trans. Software Eng., 1998

Managing Conflicts in Goal-Driven Requirements Engineering.
IEEE Trans. Software Eng., 1998

Integrating Obstacles in Goal-Driven Requirements Engineering.
Proceedings of the Forging New Links, 1998

1997
Requirements and Specification Exemplars.
Autom. Softw. Eng., 1997

Analogical Reuse of Requirements Frameworks.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering.
Proceedings of the Pulling Together, 1997

1996
Formal Refinement Patterns for Goal-Driven Requirements Elaboration.
Proceedings of the SIGSOFT '96, 1996

1995
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt.
Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

1993
Goal-Directed Requirements Acquisition.
Sci. Comput. Program., 1993

1988
Generic Lifecycle Support in the ALMA Environment.
IEEE Trans. Software Eng., 1988

1986
The kernel of a generic software development environment.
Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

1979
Formal Derivation of Strongly Correct Concurrent Programs.
Acta Inf., 1979

1972
On an Extension of Dijkstra's Semaphore Primitives.
Inf. Process. Lett., 1972


  Loading...