Citation Impact
Citing Papers
Representing concerns in source code
2007
An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks
2006 Standout
Internet of things: Vision, applications and research challenges
2012 Standout
Analyzing security-enhanced Linux policy specifications
2004
Model checking early requirements specifications in Tropos
2002
seL4
2009 Standout
Security Requirements Engineering: A Framework for Representation and Analysis
2008 Standout
Tropos: An Agent-Oriented Software Development Methodology
2004 Standout
Real-time system = discrete system + clock variables
1997
The algorithmic analysis of hybrid systems
1995 Standout
Handling obstacles in goal-oriented requirements engineering
2000
Works of B. Labaw being referenced
Automated consistency checking of requirements specifications
1996
A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems
1993
Using abstraction and model checking to detect safety violations in requirements specifications
1998