Axel van Lamsweerde

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2019

2016

Risk-driven revision of requirements models.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Generating Process Models in Multi-View Environments.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2015

Handling knowledge uncertainty in risk-based requirements engineering.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

2014

Analyzing Critical Decision-Based Processes.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Integrating exception handling in goal models.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Process Execution and Enactment in Medical Environments.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013

Risk-driven Engineering of Requirements for Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Dependable Software Systems, 2013

Assessing requirements-related risks through probabilistic goals and obstacles.

[BibT_eX]

[DOI]

Requir. Eng., 2013

Engineering Multi-view Models for Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Transformation operators for easier engineering of medical process models.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

2012

A probabilistic framework for goal-oriented risk analysis.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Generating obstacle conditions for requirements completeness.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

The Humble Humorous Researcher: A Tribute to Michel Sintzoff.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2011

2010

Keynote address: model engineering for model-driven engineering.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Model engineering for model-driven engineering.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

2009

Building Multi-View System Models for Requirements Engineering.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Reasoning About Alternative Requirements Options.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Requirements Engineering - From System Goals to UML Models to Software Specifications.

[BibT_eX]

[DOI]

Wiley, ISBN: 978-0-470-01270-3, 2009

2008

The QSM Algorithm and its Application to Software Behavior Model Induction.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2008

Requirements engineering: from craft to discipline.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Goal models as architectural knowledge.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, 2008

2006

Scenarios, goals, and state machines: a win-win partnership for model synthesis.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2005

Generating Annotated Behavior Models from End-User Scenarios.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Reasoning about confidentiality at requirements engineering time.

[BibT_eX]

[DOI]

Renaud De Landtsheer

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.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems, 2005

2004

Deriving tabular event-based specifications from goal-oriented requirements models.

[BibT_eX]

[DOI]

Renaud De Landtsheer

Requir. Eng., 2004

Early Verification and Validation of Mission Critical Systems.

[BibT_eX]

[DOI]

Christophe Ponsard

André Rifaut

Jean-François Molderez

Hung Tran Van

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Reasoning about partial goal satisfaction for requirements and design engineering.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Elaborating Security Requirements by Construction of Intentional Anti-Models.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

From System Goals to Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Software Architectures, 2003

FAUST: Formal Analysis Using Specification Tools.

[BibT_eX]

[DOI]

André Rifaut

Jean-François Molderez

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.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Deriving operational software specifications from system goals.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Agent-based tactics for goal-oriented requirements elaboration.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Goal-Oriented Requirements Engineering: A Guided Tour.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Building Formal Requirements Models for Reliable Software.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

Handling Obstacles in Goal-Oriented Requirements Engineering.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

Formal specification: a roadmap.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Requirements engineering in the year 00: a research perspective.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Building Formal Models for Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998

Inferring Declarative Requirements Specifications from Operational Scenarios.

[BibT_eX]

[DOI]

Laurent Willemet

IEEE Trans. Software Eng., 1998

Managing Conflicts in Goal-Driven Requirements Engineering.

[BibT_eX]

[DOI]

Robert Darimont

IEEE Trans. Software Eng., 1998

Reconciling System Requirements and Runtime Behavior.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Integrating Obstacles in Goal-Driven Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Forging New Links, 1998

1997

Requirements and Specification Exemplars.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1997

Analogical Reuse of Requirements Frameworks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

1996

Divergent views in goal-driven requirements engineering.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Formal Refinement Patterns for Goal-Driven Requirements Elaboration.

[BibT_eX]

[DOI]

Robert Darimont

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

1995

A Guided Tour through the ICARUS Project.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1995

Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt.

[BibT_eX]

[DOI]

Robert Darimont

Proceedings of the Second IEEE International Symposium on Requirements Engineering, March 27, 1995

1994

Succeedings of the seventh international workshop on software specification and design.

[BibT_eX]

[DOI]

Martin S. Feather

ACM SIGSOFT Softw. Eng. Notes, 1994

1993

Goal-Directed Requirements Acquisition.

[BibT_eX]

[DOI]

Anne Dardenne

Stephen Fickas

Sci. Comput. Program., 1993

1991

Goal-directed concept acquisition in requirements elicitation.

[BibT_eX]

[DOI]

Anne Dardenne

Stephen Fickas

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

1988

Generic Lifecycle Support in the ALMA Environment.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

1986

The kernel of a generic software development environment.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michel Sintzoff

Acta Informatica, 1979

1977

From Verifying Termination to Guaranteeing it: A Case Study.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1975

Constructing correct and efficient concurrent programs.

[BibT_eX]

[DOI]

Michel Sintzoff