Citation Impact
Citing Papers
Defending against denial of service attacks in Scout
1999
Next-generation Intrusion Detection Expert System (NIDES)A Summary
1997
The IllustrisTNG simulations: public data release
2019 Standout
fMRIPrep: a robust preprocessing pipeline for functional MRI
2018 Standout
Singularity: Scientific containers for mobility of compute
2017 Standout
Verification and validation of knowledge-based systems with formal specifications
1995
Comparison of Communication Architectures for Spacecraft Modular Avionics Systems
2006
Granular Computing: Perspectives and Challenges
2013 Standout
Attosecond metrology: from electron capture to future signal processing
2014 StandoutNobel
A taxonomy of DDoS attack and DDoS defense mechanisms
2004 Standout
Scale and performance in the Denali isolation kernel
2002
Integrating safety and security requirements into design of an embedded system
2005
On the Properties of the Flexible Time Division Multiple Access Technique
2006
Language-based information-flow security
2003 Standout
A Survey on Software-Defined Networking
2014 Standout
Model‐based systems engineering: Motivation, current status, and research opportunities
2018
On-Chip Communication Architectures: System on Chip Interconnect
2008
Internet of things: Vision, applications and research challenges
2012 Standout
A Classification of Security Properties for Process Algebras1
1995
The time-triggered architecture
2003
Virtual platforms and timing analysis
2007
The MILS architecture for high-assurance embedded systems
2006
The SEMA referential framework: Avoiding ambiguities in the terms “security” and “safety”
2010
Quantitative Comparison of the Error-Containment Capabilities of a Bus and a Star Topology in CAN Networks
2009
An overview of anomaly detection techniques: Existing solutions and latest technological trends
2007 Standout
Networked Control System: Overview and Research Trends
2009 Standout
Bridging the Qualitative–Quantitative Divide: Guidelines for Conducting Mixed Methods Research in Information Systems1
2013 Standout
Design and Verification of Hardware Building Blocks for High-Speed and Fault-Tolerant In-Vehicle Networks
2009 Standout
Analytical Forms of the Range Performance of Hybrid and Electric Turboprop Aircraft, for Design Optimization Studies
2017
An overview on smart contracts: Challenges, advances and platforms
2019 Standout
Countering code-injection attacks with instruction-set randomization
2003 Standout
Software Defined Radio: Challenges and Opportunities
2010
seL4
2009 Standout
The Galaxy platform for accessible, reproducible and collaborative biomedical analyses: 2018 update
2018 Standout
An analysis of the most cited articles in software engineering journals – 2002
2008
Security Requirements Engineering: A Framework for Representation and Analysis
2008 Standout
Comparison of Embedded System Design for Industrial Applications
2011 Standout
Industrial Internet of Things: Challenges, Opportunities, and Directions
2018 Standout
A general theory of composition for a class of "possibilistic" properties
1996
Dependent types and multi-monadic effects in F*
2016
Bibliographical review on reconfigurable fault-tolerant control systems
2008 Standout
Xen and the art of virtualization
2003 Standout
Knowledge engineering: Principles and methods
1998 Standout
Electric, hybrid, and turboelectric fixed-wing aircraft: A review of concepts, models, and design approaches
2018 Standout
Near optimal rate selection for wireless control systems
2014
A survey of approaches combining safety and security for industrial control systems
2015 Standout
Reliability factors in business software: volatility, requirements and end‐users
2002
Moving towards a more electric aircraft
2007 Standout
Leveraging Digital Twin Technology in Model-Based Systems Engineering
2019 Standout
On Communication Requirements for Control-by-Wire Applications
2003
Handling obstacles in goal-oriented requirements engineering
2000
Works of John Rushby being referenced
Design and verification of secure systems
1981
Subtypes for specifications: predicate subtyping in PVS
1998
A Comparison of Bus Architectures for Safety-Critical Embedded Systems
2003
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
1995
Critical system properties: survey and taxonomy
1994
Formal verification of algorithms for critical systems
1993
Systematic formal verification for fault-tolerant time-triggered algorithms
1999
Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit
1990
An operational semantics for Stateflow
2007