Citation Impact
Citing Papers
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Test-case prioritization with model-checkers
2007
A Review on
2008 Standout
Guidelines for conducting and reporting case study research in software engineering
2008 Standout
Model Checking Programs
2003 Standout
Representing concerns in source code
2007
Adding hypermedia requirements to goal-driven analysis
2004
Usability evaluation methods for the web: A systematic mapping study
2011 Standout
Statecharts: a visual formalism for complex systems
1987 Standout
An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks
2006 Standout
Using formal specifications in the design of a human-computer interface
1983
Analysis of a Hybrid Access Scheme for Buffered Users-Probabilistic Time Division
1982
Language-based information-flow security
2003 Standout
Requirements engineering for safety-critical systems: A systematic literature review
2016
Number of Response Options, Reliability, Validity, and Potential Bias in the Use of the Likert Scale Education and Social Science Research: A Literature Review
2022 Standout
Property relevant software testing with model-checkers
2006
Internet of things: Vision, applications and research challenges
2012 Standout
Analyzing security-enhanced Linux policy specifications
2004
Regression testing minimization, selection and prioritization: a survey
2012 Standout
Proving Noninterference and Functional Correctness Using Traces
1992
The model checker SPIN
1997 Standout
Model checking early requirements specifications in Tropos
2002
Energy conservation in wireless sensor networks: A survey
2008 Standout
seL4
2009 Standout
A Model for Technology Transfer in Practice
2006
A specification language for direct-manipulation user interfaces
1986
Security Requirements Engineering: A Framework for Representation and Analysis
2008 Standout
A comment on the ‘basic security theorem’ of Bell and LaPadula
1985
Basic concepts and taxonomy of dependable and secure computing
2004 Standout
An extended fault class hierarchy for specification-based testing
2005
User interface software tools
1995 Standout
Model-checking algorithms for continuous-time markov chains
2003 Standout
Tropos: An Agent-Oriented Software Development Methodology
2004 Standout
Real-time system = discrete system + clock variables
1997
Operating system verification—An overview
2009
The algorithmic analysis of hybrid systems
1995 Standout
Handling obstacles in goal-oriented requirements engineering
2000
Works of Constance Heitmeyer being referenced
Automated consistency checking of requirements specifications
1996
Managing Complexity in Software Development with Formally Based Tools
2004
Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda
2002
A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems
1993
Applying Formal Methods to a Certifiably Secure Software System
2008
A Survey of Packet Switching Techniques for Broadcast Media.
1976
Military Message Systems: Current Status and Future Directions
1980
Using model checking to generate tests from requirements specifications
1999
Proving Invariants of I/O Automata with TAME
2002
The use of quick prototypes in the secure military message systems project
1982
Abstract requirements specification: A new approach and its application
1983
Model Checking Complete Requirements Specifications Using Abstraction
1999
A security model for military message systems
1984
Verifying SCR Requirements Specifications Using State Exploration
1997
Using abstraction and model checking to detect safety violations in requirements specifications
1998