Thomas Pressburger

According to our database1, Thomas Pressburger authored at least 18 papers between 1994 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.
Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Bridging the Gap Between Requirements and Simulink Model Analysis.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Formal Requirements Elicitation with FRET.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Generation of Formal Requirements from Structured Natural Language.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

2012
Integrating Statechart Components in Polyglot.
Proceedings of the NASA Formal Methods, 2012

2011
Rapid property specification and checking for model-based formalisms.
Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

2006
Software Assurance Research Infusion: The NASA Experience.
Proceedings of the Leveraging Applications of Formal Methods, 2006

2001
Amphion/NAV: Deductive Synthesis of State Estimation Software.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Certifying Domain-Specific Policies.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
Model Checking JAVA Programs using JAVA PathFinder.
Int. J. Softw. Tools Technol. Transf., 2000

Generating Data Analysis Programs from Statistical Models.
Proceedings of the Semantics, 2000

1999
Towards Automated Synthesis of Data Mining Programs.
Proceedings of the Fifth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 1999

1998
Explaining Synthesized Software.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1994
A Formal Approach to Domain-Oriented Software Design Environments.
Proceedings of the Proceedings KBSE'94, 1994

AMPHION: Automatic Programming for Subroutine Libraries.
Proceedings of the Proceedings KBSE'94, 1994

AMPHION: Automatic Programming for Scientific Subroutine Libraries.
Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Deductive Composition of Astronomical Software from Subroutine Libraries.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994


  Loading...