About us
Loonwerks is a collection of formal methods researchers associated with the Trusted Methods group in Collins Aerospace. Our work is focused on the use of formal methods to create safe and secure avionics software. We build tools that make the latest advances in automated analysis from the research community accessible to system and software developers in industry.
Work with us
Job ∈ {FormalMethods ∩ Airplanes} ⇒ Cool(Job)
Interested in joining the Trusted Methods team at Collins?
For additional information contact us at info@loonwerks.com
What's new
Collins Aerospace run-time assurance and formal methods technologies are at the heart of this DARPA Assured Autonomy demonstration. Check out this video produced by our colleagues at Boeing.
- Modeling and Formal Analysis of High-Assurance Mixed-Reality Systems. I. Amundson, J. Babar, H. Herencia-Zapana, S. F. Rollini, B. Brussee, P. Wu, T. E. Wang, A. K. Newendorp, A. R. Kohl, S. J. Fieffer, S. S. Khan, M. Sanaei, M. Muscala, S. B. Gilbert, E. Winer, M. C. Dorneich, J. Lathrop, D. Musliner, R. P. Goldman, J. Gottlieb, P. Ganeriwala, C. Chambers, S. Bhattacharyya. 44th Digital Avionics Systems Conference (DASC 2025), September 2025.
- Qualification Considerations of Machine Learning Based Tools for Avionics System Development. C. Liu, H. Herencia-Zapana, S. Nagel, K. Ford, D. Cofer. 44th Digital Avionics Systems Conference (DASC 2025), September 2025.
- Automated SysML v2 System Model to Memory-Safe Language Code Generation for Avionics Applications. D. Hardin, I. Amundson, J. Babar, D. Cofer, S. Hasan, K. Hoech, J. Belt, J. Hatcliff, Robby, S. Hallerstede. 44th Digital Avionics Systems Conference (DASC 2025), September 2025.
- Creating Better System Models: A Method for Using Compositional Reasoning to Validate Architectures with Assumption/Guarantee Contracts. I. Amundson, J. Kahn, V. Srinivasan, G. Rai, J. Liu. INCOSE International Symposium (INCOSE IS 2025), July 2025.
- Towards Explainable Compositional Reasoning. I. Amundson, A. Tahat, D. Hardin, D. Cofer. 3rd International Workshop on Explainability of Real-time Systems and their Analysis (ERSA), December 2024.

Loonwerks is solely responsible for the content of this web site. Such content does not necessarily represent the views of Collins Aerospace. All content has been approved for public release.