Axel van Lamsweerde

Information Systems · 2000–2009

A researcher in the Science corpus: 7 papers; trusts 15 researchers and is trusted by 33 researchers here, as inferred from the citation graph.

Subfields

Information Systems — 9 citations into it; #672 of 8,771 by trust here, #3,540 by citations
Artificial Intelligence — 8 citations into it; #4,526 of 35,345 by trust here, #12,974 by citations
Software — 5 citations into it; #78 of 1,227 by trust here, #298 by citations

Their strongest outbound trust, strongest first, inferred from their citations.

Ordered by how strongly the researchers Axel van Lamsweerde trusts endorse each paper. Same corpus, a different order for every researcher.

Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))
Reasoning with Goal Models (International Conference on Conceptual Modeling)
Goal-oriented requirements engineering: a guided tour (Proceedings Fifth IEEE International Symposium on Requirements Engineering)
Handling Obstacles in Goal-Oriented Requirements Engineering (IEEE Trans. Software Eng.)
Branching vs. Linear Time: Final Showdown (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
Automated generation and analysis of attack graphs (Proceedings 2002 IEEE Symposium on Security and Privacy)
Acme: an architecture description interchange language (Conference of the Centre for Advanced Studies on Collaborative Research)
Eliciting security requirements with misuse cases (Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000)
Security and privacy requirements analysis within a social setting (Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.)
Requirements engineering in the year 00: a research perspective (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)