| Automated translation of natural language requirements to runtime monitors I Perez, A Mavridou, T Pressburger, A Goodloe, D Giannakopoulou International Conference on Tools and Algorithms for the Construction and …, 2022 | 20 | 2022 |
| Generating data analysis programs from statistical models: Position paper B Fischer, J Schumann, T Pressburger International Workshop on Semantics, Applications, and Implementation of …, 2000 | 17 | 2000 |
| Program model checking using Design-for-Verification: NASA flight software case study LZ Markosian, M Mansouri-Samani, PC Mehlitz, T Pressburger 2007 IEEE Aerospace Conference, 1-9, 2007 | 12 | 2007 |
| Rapid property specification and checking for model-based formalisms D Balasubramanian, G Pap, H Nine, G Karsai, M Lowry, C Păsăreanu, ... 2011 22nd IEEE International Symposium on Rapid System Prototyping, 121-127, 2011 | 10 | 2011 |
| AutoBayes program synthesis system users manual J Schumann, H Jafari, T Pressburger, E Denney, W Buntine, B Fischer | 10 | 2008 |
| Transformation systems at nasa ames W Buntine, B Fischer, K Havelund, M Lowry, T Pressburger, S Roach, ... Software Transformation Systems 1999, 1999 | 10 | 1999 |
| Monitoring ROS2: from requirements to autonomous robots I Perez, A Mavridou, T Pressburger, A Will, PJ Martin arXiv preprint arXiv:2209.14030, 2022 | 8 | 2022 |
| The unique aspects of simulation verification and validation D Thomas, A Joiner, W Lin, M Lowry, T Pressburger 2010 IEEE Aerospace Conference, 1-7, 2010 | 7 | 2010 |
| Authoring, analyzing, and monitoring requirements for a lift-plus-cruise aircraft T Pressburger, A Katis, A Dutle, A Mavridou International Working Conference on Requirements Engineering: Foundation for …, 2023 | 6 | 2023 |
| Simple Sensitivity Analysis for Orion GNC T Pressburger, B Hoelscher, R Martin, K Sricharan AIAA Guidance, Navigation, and Control (GNC) Conference, 4954, 2013 | 3 | 2013 |
| Bridging the Gap Between Requirements and Model Analysis: Evaluation on Ten Cyber-Physical Challenge Problems A Mavridou, H Bourbouh, PL Garoche, D Giannakopoulou, T Pressburger, ... Ions, Membrane and Channels: Multiscale Simulations From Quantum to Coarse-Grain, 2020 | 1 | 2020 |
| Software Engineering Research/Developer Collaborations in 2005 T Pressburger | 1 | 2006 |
| Robotics: A New Mission for FRET Requirements G Vázquez, A Mavridou, M Farrell, T Pressburger, R Calinescu NASA Formal Methods Symposium, 359-376, 2024 | | 2024 |
| Probably Fret? A Mavridou, M Farrell, T Pressburger, J Schumann AMES Presentation, 2023 | | 2023 |
| FRET Tutorial T Pressburger, A Mavridou NASA V&V Commercial Systems TC-3 Conference and Seminar Series, 2022 | | 2022 |
| Capturing & Analyzing Requirements with FRET D Giannakopoulou, A Mavridou, T Pressburger, J Schumann NASA SWS Technical Seminar, 2020 | | 2020 |
| MARGInS: Model-Based Analysis of Realizable Goals in Systems M Davies, T Pressburger, Y He, K Gundy-Burlet Safe and Secure Systems and Software Symposium, 2014 | | 2014 |
| Simple Sensitivity Analysis for Orion Guidance Navigation and Control T Pressburger, B Hoelscher, R Martin, K Sricharan AIAA Guidance Navigation and Control Conference, 2013 | | 2013 |
| The Unique Aspects of Simulation Verification and Validation A Joiner, W Lin, M Lowry, T Pressburger, D Thomas | | 2010 |
| The NASA SARP Software Research Infusion Initiative L Markosian, M Feather, T Pressburger, M Hinchey | | 2006 |
