Robert Lorch

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Requirements Elicitation

Hierarchically Organized

Future Directions

Requirements Engineering

Top Venues

Australas. J Comb.

Publications

Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE (2024)
Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli
CRV: Automated Cyber-Resiliency Reasoning for System Design Models. FMCAD (2023)
Braxton Carrigan, David Diaz, James M. Hammer, John Lorch, Robert Lorch
Constructing $(3, b)$-Sudoku pair Latin squares. Australas. J Comb. 82 (2022)
Braxton Carrigan, James M. Hammer, John Lorch, Robert Lorch, Caitlin Owens
List colorings count rokudoku-pair squares. Bull. ICA 92 (2021)