default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Pressburger

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/GiannakopoulouP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/GiannakopoulouP21
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137: 106590 (2021)
2000
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HavelundP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HavelundP00
Klaus Havelund, Thomas Pressburger:
Model Checking JAVA Programs using JAVA PathFinder. Int. J. Softw. Tools Technol. Transf. 2(4): 366-381 (2000)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/VazquezMFPC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/VazquezMFPC24
Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu:
Robotics: A New Mission for FRET Requirements. NFM 2024: 359-376
2023
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/AdamLMPBVKTTA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/AdamLMPBVKTTA23
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego:
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM 2023: 353-360
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/PressburgerKDM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/PressburgerKDM23
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou:
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. REFSQ 2023: 295-308
2022
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KatisMGPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KatisMGPS22
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) 2022: 490-504
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ConradTGPD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ConradTGPD22
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle:
A compositional proof framework for FRETish requirements. CPP 2022: 68-81
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/PerezMPGG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/PerezMPGG22
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou:
Automated Translation of Natural Language Requirements to Runtime Monitors. TACAS (1) 2022: 387-395
[c19]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14030
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14030
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin:
Monitoring ROS2: from Requirements to Autonomous Robots. FMAS/ASYDE@SEFM 2022: 208-216
2021
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MavridouKGKPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MavridouKGKPW21
Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen:
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM 2021: 503-523
2020
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MavridouBGPHGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MavridouBGPHGS20
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann:
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE 2020: 300-310
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/GiannakopoulouP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GiannakopoulouP20
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Generation of Formal Requirements from Structured Natural Language. REFSQ 2020: 19-35
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/GiannakopoulouP20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GiannakopoulouP20a
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi:
Formal Requirements Elicitation with FRET. REFSQ Workshops 2020
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/MavridouBGGPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/MavridouBGGPS20
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops 2020
[c13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2012-03745
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-03745
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger:
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS 2020: 23-30
2012
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BalasubramanianPBPKLW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BalasubramanianPBPKLW12
Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen:
Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272
2011
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/BalasubramanianPNKLPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/BalasubramanianPNKLPP11
Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger:
Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping 2011: 121-127
2006
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HincheyPFMD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HincheyPFMD06
Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick:
Software Assurance Research Infusion: The NASA Experience. ISoLA 2006: 18-27
2001
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LowryPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LowryPR01
Michael R. Lowry, Thomas Pressburger, Grigore Rosu:
Certifying Domain-Specific Policies. ASE 2001: 81-90
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WhittleBSRPPOLB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WhittleBSRPPOLB01
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat:
Amphion/NAV: Deductive Synthesis of State Estimation Software. ASE 2001: 395-399
2000
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/saig/FischerSP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saig/FischerSP00
Bernd Fischer, Johann Schumann, Thomas Pressburger:
Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229
1999
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/kdd/BuntineFP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kdd/BuntineFP99
Wray L. Buntine, Bernd Fischer, Thomas Pressburger:
Towards Automated Synthesis of Data Mining Programs. KDD 1999: 372-376
1998
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BaalenRLP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BaalenRLP98
Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger:
Explaining Synthesized Software. ASE 1998: 240-248
1994
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/StickelWLPU94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/StickelWLPU94
Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood:
Deductive Composition of Astronomical Software from Subroutine Libraries. CADE 1994: 341-355
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ismis/LowryPPU94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismis/LowryPPU94
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood:
AMPHION: Automatic Programming for Scientific Subroutine Libraries. ISMIS 1994: 326-335
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LowryPPU94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LowryPPU94
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood:
AMPHION: Automatic Programming for Subroutine Libraries. KBSE 1994: 2
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LowryPPU94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LowryPPU94a
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood:
A Formal Approach to Domain-Oriented Software Design Environments. KBSE 1994: 48-57

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2201-03641
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-03641
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle:
A Compositional Proof Framework for FRETish Requirements. CoRR abs/2201.03641 (2022)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.