Axel Van Lamsweerde

Axel Van Lamsweerde's AcademicInfluence.com Rankings

Axel Van Lamsweerde

Computer Science

#10059

World Rank

#10552

Historical Rank

Software Engineering

#277

World Rank

#282

Historical Rank

Database

#7014

World Rank

#7258

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Axel Van Lamsweerde's Degrees

PhD Computer Science Université de Namur
Masters Computer Science Université de Namur
Bachelors Computer Science Université de Namur

Similar Degrees You Can Earn

Why Is Axel Van Lamsweerde Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Axel Van Lamsweerde's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Goal-Directed Requirements Acquisition (1993) (2217)
Goal-Oriented Requirements Engineering: A Guided Tour (2001) (1498)
Requirements Engineering - From System Goals to UML Models to Software Specifications (2009) (1244)
Requirements engineering in the year 00: a research perspective (2000) (821)
Handling Obstacles in Goal-Oriented Requirements Engineering (2000) (691)
Managing Conflicts in Goal-Driven Requirements Engineering (1998) (670)
Elaborating security requirements by construction of intentional anti-models (2004) (473)
Formal refinement patterns for goal-driven requirements elaboration (1996) (430)
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt (1995) (329)
Formal specification: a roadmap (2000) (324)
Reasoning about partial goal satisfaction for requirements and design engineering (2004) (316)
Inferring Declarative Requirements Specifications from Operational Scenarios (1998) (262)
Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering] (2004) (247)
Reconciling system requirements and runtime behavior (1998) (244)
GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering (1997) (241)
From System Goals to Software Architecture (2003) (237)
Deriving operational software specifications from system goals (2002) (226)
Goal-directed concept acquisition in requirements elicitation (1991) (203)
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering (2002) (182)
Agent-based tactics for goal-oriented requirements elaboration (2002) (166)
Learning machine learning (1991) (134)
Integrating obstacles in goal-driven requirements engineering (1998) (134)
From system goals to intruder anti-goals: attack generation and resolution for security requirements engineering (2003) (127)
Generating annotated behavior models from end-user scenarios (2005) (126)
Requirements engineering: from craft to discipline (2008) (121)
The KAOS Project: Knowledge Acquisition in Automated Specification of Software (1991) (104)
Reasoning About Alternative Requirements Options (2009) (96)
Requirements and Specification Exemplars (1997) (91)
Analogical reuse of requirements frameworks (1997) (89)
Proceedings of the 16th international conference on Software engineering (1994) (88)
Scenarios, goals, and state machines: a win-win partnership for model synthesis (2006) (88)
Early verification and validation of mission critical systems (2005) (80)
Goal-oriented requirements animation (2004) (74)
Deriving tabular event-based specifications from goal-oriented requirements models (2003) (67)
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION (2008) (58)
Engineering Requirements for System Reliability and Security (2007) (47)
Generating obstacle conditions for requirements completeness (2012) (41)
Generic Lifecycle Support in the ALMA Environment (1988) (39)
Assessing requirements-related risks through probabilistic goals and obstacles (2013) (38)
Reasoning about confidentiality at requirements engineering time (2005) (38)
Divergent views in goal-driven requirements engineering (1996) (36)
Analyzing critical process models through behavior model synthesis (2009) (35)
A probabilistic framework for goal-oriented risk analysis (2012) (34)
Requirements & Specification Exemplars (1997) (32)
Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (2003) (31)
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals (2017) (30)
On an Extension of Dijkstra's Semaphore Primitives (1972) (25)
Building Formal Requirements Models for Reliable Software (2001) (24)
Handling knowledge uncertainty in risk-based requirements engineering (2015) (22)
Formal derivation of strongly correct concurrent programs (1979) (21)
Integrating exception handling in goal models (2014) (19)
Current Issues in Expert Systems (1987) (15)
The kernel of a generic software development environment (1987) (14)
Constructing correct and efficient concurrent programs (1975) (14)
GRAIL/KAOS: an environment for goal-driven requirements analysis, integration and layout (1997) (12)
Adapting Requirements Models to Varying Environments (2020) (10)
Making Specification Processes Explicit (1987) (9)
Deriving Architectural Descriptions from Goal-Oriented Requirements Models (2004) (8)
From Worlds to Machines (2009) (8)
Foundations of Software Engineering (FSE-10) (2002) (7)
- 1-Goal-directed Requirements Acquisition (1993) (7)
Risk-Driven Revision of Requirements Models (2016) (7)
Transformation operators for easier engineering of medical process models (2013) (7)
KAOS in Action: The BART System (2000) (7)
Goal models as architectural knowledge (2008) (6)
Goal-Oriented Design of Domain Control Panels (2005) (6)
High Assurance Requires Goal Orientation (2002) (6)
FAUST: formal analysis using specification tools (2003) (6)
Leaving Inconsistency (1997) (5)
Succeedings of the seventh international workshop on software specification and design (1994) (5)
Risk-driven Engineering of Requirements for Dependable Systems (2013) (5)
Analyzing Critical Decision-Based Processes (2014) (5)
Grail/Kaos: a tool for goal-directed requirement analysis (1998) (4)
Active software objects in a knowledge-based lifecycle support environment (1992) (3)
Proceedings of the 16th International Conference on Software Engineering, Sorrento (1994) (3)
From Verifying Termination to Guaranteeing it: A Case Study (1977) (3)
Generating Process Models in Multi-View Environments (2015) (2)
Proceedings of the 3rd European Software Engineering Conference (1991) (2)
Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991, Proceedings (1992) (2)
Deadlock prevention in real-time systems (1974) (2)
Process Execution and Enactment in Medical Environments (2014) (2)
A Guided Tour through the ICARUS Project (1995) (2)
Esec '91: 3rd European Software Engineering Conference (1992) (1)
Engineering Requirements for Mission-Critical Software Systems (2007) (1)
From System Requirements to System Architecture (2000) (1)
Model engineering for model-driven engineering (2010) (1)
Keynote address: model engineering for model-driven engineering (2010) (0)
Engineering Multi-view Models for Model-Driven Engineering (2013) (0)
Building Formal Models for Software Requirements (2000) (0)
Building Multi-View System Models for Requirements Engineering (2009) (0)
Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994 (1994) (0)
Automating the Production of Application Software Part 3 (1982) (0)
The Humble Humorous Researcher: A Tribute to Michel Sintzoff (2011) (0)
Anchoring the Machine on the Problem World (2009) (0)
Obituary: The humble humorous researcher (2011) (0)
Requirements & Specification Exemplars 1 (1997) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Axel Van Lamsweerde?

Axel Van Lamsweerde is affiliated with the following schools:

Université catholique de Louvain

Axel Van Lamsweerde's Academic­Influence.com Rankings

Axel Van Lamsweerde's Degrees

Similar Degrees You Can Earn

Why Is Axel Van Lamsweerde Influential?

Axel Van Lamsweerde's Published Works

Published Works

What Schools Are Affiliated With Axel Van Lamsweerde?

Axel Van Lamsweerde's AcademicInfluence.com Rankings