Victoria Coleman | Academic Influence

Victoria Coleman's AcademicInfluence.com Rankings

Victoria Coleman

Computer Science

#1963

World Rank

#2039

Historical Rank

Algorithms

#201

World Rank

#204

Historical Rank

Artificial Intelligence

#2299

World Rank

#2338

Historical Rank

Machine Learning

#4512

World Rank

#4563

Historical Rank

computer-science Degrees

Victoria Coleman

Engineering

#1571

World Rank

#2289

Historical Rank

engineering Degrees

Download Badge

Computer Science
Engineering

Victoria Coleman's Degrees

Bachelors Electrical Engineering Stanford University
Masters Electrical Engineering Stanford University
PhD Computer Science Stanford University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Victoria Coleman Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Victoria Stavridou-Coleman is currently serving as the 37th chief scientist of the United States Air Force. She took her oath of office on April 6, 2021, administered by the Chief of Staff of the United States Air Force, Gen. Charles Q. Brown Jr.

(See a Problem?)

Victoria Coleman'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

Abstraction and specification in program development (1988) (388)
Safety-critical systems, formal methods and standards (1993) (305)
From Safety Analysis to Software Requirements (1998) (142)
Formal Requirements Analysis of an Avionics Control System (1997) (71)
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (1993) (61)
An Architecture for an Adaptive Intrusion-Tolerant Server (2002) (52)
Safety-critical methods and systems , formal standards (2004) (49)
Intrusion tolerant software architectures (2001) (48)
A ProCos Project Description: Esprit BRA 3104 (1989) (42)
Intrusion-tolerant Enclaves (2002) (37)
From security to safety and back (1998) (35)
Formal Methods and Software Safety (1992) (27)
The practice of formal methods in safety-critical systems (1995) (24)
Formal specification and verification of hardware: a comparative case study (1988) (24)
Integration in software intensive systems (1999) (22)
UMIST OBJ: A Language for Executable Program Specifications (1989) (19)
Intrusion-tolerant group management in Enclaves (2001) (19)
Provably dependable software architectures (1998) (18)
A model of noninterference for integrating mixed-criticality software components (1999) (18)
Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture (1991) (17)
The design of a rewrite rule interpreter from algebraic specifications (1987) (16)
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment (1992) (10)
COTS, integration and critical systems (1997) (10)
Dependable Intrusion Tolerance: technology demo (2003) (9)
Secure interoperation of secure distributed databases : An architecture verification case study (1999) (8)
Formal methods in circuit design (1993) (8)
PROVABLY CORRECT SAFETY CRITICAL SOFTWARE (1990) (8)
Secure Interoperation of Secure Distributed Databases (1999) (8)
Formal analysis for real-time scheduling (2000) (7)
A Formalization of Software Architecture (1999) (7)
The formal specification of safety requirements for storing explosives (1993) (6)
Gordon's computer: A hardware verification case study in OBJ3 (1994) (6)
Integrating the Unified Modeling Language with an Architecture Description Language (1999) (5)
Decomposition in Real-Time Safety-Critical Systems (1998) (5)
Design Assurance Arguments for Intrusion Tolerance (2002) (5)
Programming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards (1993) (4)
Formal Methods and VLSI Engineering Practice (1994) (4)
Specifying in OBJ, Verifying in REVE and Some Ideas about Time (2000) (4)
Integration standards for critical software intensive systems (1997) (3)
Personal view: Formal methods: epideictic or apodeictic? (1994) (3)
Embodied Molecular Computation: Potential and Challenges (2016) (3)
Safety-Critical Systems and Formal Methods (1994) (3)
Formal methods and dependability assessment (1994) (3)
- 1-A PROACTIVE HOLISTIC APPROACH TO STRATEGIC CYBER DEFENSE (2000) (3)
Newthink - An Orwellian specification language for real-time safety critical systems (1992) (3)
Protocol Codesign (Discussion) (2003) (2)
Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience (1992) (2)
Mathematics of dependable systems (1995) (1)
Protocol Codesign (2003) (1)
A theory of Orwellian specifications with NewThink (1995) (1)
From System Requirements to System Architecture (2000) (1)
Provably dependable software architectures for adaptable avionics (1999) (1)
Designing a Multi-Modality Medical Imaging System: Expanding the Functionality of an Ultrasound Device (2015) (0)
Proceedings of the second international conference on Mathematics of dependable systems II (1998) (0)
Architectural analysis of component-based systems (2000) (0)
The Practical Application Of Formal Methods To High Integrity Systems (1993) (0)
Safety related standards: a tutorial (1999) (0)
Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992 (1992) (0)
Test management requirements for software dependent systems (1999) (0)
Computer Related Standards And Safety (1997) (0)
Real-Time and Safety-Critical Systems (1999) (0)
Computer Related Standards And Safety Workshop Proceedings (1997) (0)
Protocol codesign. Commentary. Authors' reply (2005) (0)
Dependability Then and Now: Commentary on Donald MacKenzie, "A View from the Sonnenbichl" (2000) (0)
Aqueous Vehicle Autonomously Navigating Harbors (2014) (0)

This paper list is powered by the following services:

Other Resources About Victoria Coleman

en.wikipedia.org

What Schools Are Affiliated With Victoria Coleman?

Victoria Coleman is affiliated with the following schools: