Emmanuel Manoloios

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Decision Making

Design Principles

Search Algorithm

Top Venues

Publications

Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates
Towards a Correct-by-Construction Design of Integrated Modular Avionics. FMCAD (2023)