Concepedia

Jeffrey J. Joyce

JJ

Statistics

Publications

7

Citations

377

H-Index

7

Active since

1987

Affiliations

University of Cambridge(Current)

Jeffrey J. Joyce is an author at University of Cambridge specializing in engineering, formal verification, and computer engineering.

Top concepts

EngineeringFormal VerificationVerificationComputer EngineeringFormal MethodsSystem SoftwareComputer ScienceComputer ArchitectureSystems EngineeringFormal Specification

Publications per year

1987–2008

7

Publications

7

Monitoring distributed systems

Jeffrey J. Joyce, Greg Lomow, Konrad Slind et al. · ACM Transactions on Computer Systems · 1987 · 249 citations · Full text

Software Maintenance, Engineering, Service Monitoring +18

Linking BDD-based symbolic evaluation to interactive theorem-proving

Jeffrey J. Joyce, Carl-Johan H. Seger · 1993 · 61 citations · Full text

Modelling feature interactions in the automotive domain

Alma L. Juarez-Dominguez, Nancy A. Day, Jeffrey J. Joyce · 2008 · 26 citations

Automotive Engineering, Engineering, Verification +17

A Mathematically Precise Two-Level Formal Hardware Verification Methodology*

Carl Seger, Jeffrey J. Joyce · 1992 · 11 citations

Formal specification and verification of microprocessor systems

Jeffrey J. Joyce · Integration · 1989 · 10 citations

Formal Specification, Engineering, Verification +7

1–5 of 7