Faculty

Institution

Unit

Venue

John Hatcliff

University Distinguished Professor

Kansas State University

Affiliations

Carl R. Ice College of Engineering

Department of Computer Science

John Hatcliff is currently serving as a Carl R. Ice College Of Engineering University Distinguished Professor at Kansas State University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

John Hatcliff

Kansas State University

University Distinguished Professor

You can click a keyword to filter the displayed items

computer science systems engineering software engineering formal methods formal verification software analysis verification program analysis programming languages software verification machine learning software testing computer engineering automated reasoning logic in computer science model checking theoretical computer science design automation system software formal specification program slicing computer-aided verification concurrent programming applied mathematics software certification partial evaluation symbolic execution medical application platforms parallel programming model verification concurrency theory component-based software engineering component system concurrent systems concurrency (computer science) system specification static program analysis formal technique corba component model health technology information technology data security software assurance object-oriented modeling runtime verification program checking abstract interpretation computability theory component-based systems automated deduction reliability engineering computer-aided design mathematical programming specification language medical technology concurrent data structure functional programming programming language theory computational semantics formal semantics static checking continuation-passing styles concurrent java software concurrent object-oriented programs medical device integration computational formalization flexible framework conditional information flow medical cyber-physical systems research directions human-computer interaction medical systems exponential complexity finite-state verification techniques software artifacts target software artifacts safety engineering safety science cyber-physical systems formal modeling safety system safety software system safety

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

A Mechanized Semantics for Component-Based Systems in the Hamr Aadl Runtime. Lecture notes in computer science (2024)

Stefan HallerstedeJohn Hatcliff

hamr aadl runtimenatural language processingcomputer sciencecomponent-based systemsmechanized semantics

Hierarchical Assurance Patterns for Cyber-Resilient Systems Engineering. (2024)

Isaac AmundsonDarren CoferDavid HardinJohn Hatcliff

information assurancecyber-resilient systems engineeringsystems engineeringhierarchical assurance patterns

Integrated Contract-Based Unit and System Testing for Component-Based Systems. Lecture notes in computer science (2024)

John HatcliffJason BeltNone RobbyDavid Hardin

systems engineeringsystem testingsoftware testingintegrated controlcontract-based unitcomputer sciencecomponent-based systemsintegration testing

LOGIKA: The Sireum Verification Framework. Lecture notes in computer science (2024)

None RobbyJohn HatcliffJason Belt

sireum verification frameworkverificationcomputer-aided verificationcomputer sciencelogic in computer scienceformal verification

Teaching With Logika: Conceiving and Constructing Correct Software. Lecture notes in computer science (2024)

Stefan HallerstedeJohn HatcliffNone Robby

computing educationcorrect softwarecomputer scienceeducationerror correction code

The Isolette System: Illustrating End-To-End Artifacts for Rigorous Model-Based Engineering. Lecture notes in computer science (2024)

John HatcliffJason Belt

isolette systemillustrating end-to-end artifactsrigorous model-based engineeringcomputer science

An Aadl Contract Language Supporting Integrated Model- and Code-Level Verification. ACM SIGAda Ada Letters (2023)

John HatcliffDanielle StewartJason BeltRobby .August Schwerdfeger

systems engineeringaadl contract languagenatural language processingcomputer sciencecode-level verification

Automated Property-Based Testing From Aadl Component Contracts. Lecture notes in computer science (2023)

John HatcliffJason BeltNone RobbyJacob LeggDanielle StewartTodd Carpenter

software testingcomputer scienceproperty-based testingtest automationaadl component contracts

Cyberassured Systems Engineering at Scale. IEEE Security & Privacy (2022)

Darren CoferIsaac AmundsonJunaid BabarDavid HardinKonrad SlindPerry AlexanderJohn HatcliffNone RobbyGerwin KleinCorey LewisEric MercerJohn Shackleton

cyberassured systems engineeringsystems engineeringinformation securityscalability

Formalization of the Aadl Run-Time Services. Lecture notes in computer science (2022)

John HatcliffJerome HuguesDanielle StewartLutz Wrage

aadl run-time servicescomputer scienceformal methodsformal specificationformal verification

1
2
3
4
5
16
10 / page

John Hatcliff

University Distinguished Professor

Kansas State University

Affiliations

Carl R. Ice College of Engineering

Department of Computer Science

John Hatcliff is currently serving as a Carl R. Ice College Of Engineering University Distinguished Professor at Kansas State University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

John Hatcliff

Kansas State University

University Distinguished Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

A Mechanized Semantics for Component-Based Systems in the Hamr Aadl Runtime. Lecture notes in computer science (2024)

Stefan HallerstedeJohn Hatcliff

hamr aadl runtimenatural language processingcomputer sciencecomponent-based systemsmechanized semantics

Hierarchical Assurance Patterns for Cyber-Resilient Systems Engineering. (2024)

Isaac AmundsonDarren CoferDavid HardinJohn Hatcliff

information assurancecyber-resilient systems engineeringsystems engineeringhierarchical assurance patterns

Integrated Contract-Based Unit and System Testing for Component-Based Systems. Lecture notes in computer science (2024)

John HatcliffJason BeltNone RobbyDavid Hardin

systems engineeringsystem testingsoftware testingintegrated controlcontract-based unitcomputer sciencecomponent-based systemsintegration testing

LOGIKA: The Sireum Verification Framework. Lecture notes in computer science (2024)

None RobbyJohn HatcliffJason Belt

sireum verification frameworkverificationcomputer-aided verificationcomputer sciencelogic in computer scienceformal verification

Teaching With Logika: Conceiving and Constructing Correct Software. Lecture notes in computer science (2024)

Stefan HallerstedeJohn HatcliffNone Robby

computing educationcorrect softwarecomputer scienceeducationerror correction code

The Isolette System: Illustrating End-To-End Artifacts for Rigorous Model-Based Engineering. Lecture notes in computer science (2024)

John HatcliffJason Belt

isolette systemillustrating end-to-end artifactsrigorous model-based engineeringcomputer science

An Aadl Contract Language Supporting Integrated Model- and Code-Level Verification. ACM SIGAda Ada Letters (2023)

John HatcliffDanielle StewartJason BeltRobby .August Schwerdfeger

systems engineeringaadl contract languagenatural language processingcomputer sciencecode-level verification

Automated Property-Based Testing From Aadl Component Contracts. Lecture notes in computer science (2023)

John HatcliffJason BeltNone RobbyJacob LeggDanielle StewartTodd Carpenter

software testingcomputer scienceproperty-based testingtest automationaadl component contracts

Cyberassured Systems Engineering at Scale. IEEE Security & Privacy (2022)

Darren CoferIsaac AmundsonJunaid BabarDavid HardinKonrad SlindPerry AlexanderJohn HatcliffNone RobbyGerwin KleinCorey LewisEric MercerJohn Shackleton

cyberassured systems engineeringsystems engineeringinformation securityscalability

Formalization of the Aadl Run-Time Services. Lecture notes in computer science (2022)

John HatcliffJerome HuguesDanielle StewartLutz Wrage

aadl run-time servicescomputer scienceformal methodsformal specificationformal verification

1
2
3
4
5
16
10 / page

Similar Faculty Members

Tevfik Bultan

Institution

University of California, Santa Barbara

access control

automated software engineering

Ugo Buy

Institution

University of Illinois Chicago

design automation

technology

Matthew Dwyer

Institution

University of Virginia

computer science

software analysis

Koushik Sen

Institution

University of California, Berkeley

computer science

software testing

Kevin Sullivan

Institution

University of Virginia

software engineering

software analysis

Jens Palsberg

Institution

University of California, Los Angeles

quantum programming

system software

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

Similar Faculty Members

Tevfik Bultan

Institution

University of California, Santa Barbara

access control

automated software engineering

Ugo Buy

Institution

University of Illinois Chicago

design automation

technology

Matthew Dwyer

Institution

University of Virginia

computer science

software analysis

Koushik Sen

Institution

University of California, Berkeley

computer science

software testing

Kevin Sullivan

Institution

University of Virginia

software engineering

software analysis

Jens Palsberg

Institution

University of California, Los Angeles

quantum programming

system software

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering