Concepedia

Thomas Pressburger

TP

7

Publications

924

Citations

7

H-Index

1999

Active since

Affiliations

Ames Research Center(Current)

National Institute of Aerospace

Research Institute for Advanced Computer Science

KBR (United States)

Langley Research Center

Thomas Pressburger is an author at Ames Research Center specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsFormal VerificationVerificationSoftware DesignAutomated Reasoning

Publications per year

1999–2022

7

Publications

7

Model checking JAVA programs using JAVA PathFinder

Klaus Havelund, Thomas Pressburger · International Journal on Software Tools for Technology Transfer · 2000 · 793 citations · Full text

Program Checking, Engineering, Automated Reasoning +11

Automated formalization of structured natural language requirements

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou et al. · Information and Software Technology · 2021 · 47 citations

Natural Language Processing, Software Requirement, Specification Language +8

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou et al. · 2020 · 33 citations · Full text

Engineering, Software Engineering, Cyber Security Engineering +25

A compositional proof framework for FRETish requirements

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou et al. · 2022 · 18 citations

Engineering, Verification, Software Engineering +20

Program Model Checking: A Practitioner's Guide

Thomas Pressburger, Masoud Mansouri-Samani, Peter Mehlitz et al. · NASA Technical Reports Server (NASA) · 2008 · 12 citations

Software Maintenance, Program Checking, Engineering +18

Rows per page

1–5 of 7