Troy K. Astarte

According to our database, Troy K. Astarte authored at least 5 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

From Monitors to Monitors: A Primitive History.

Troy K. Astarte

Minds Mach., February, 2024

From the Editors' Desks.

David Hemmendinger, Troy Kaighin Astarte

IEEE Ann. Hist. Comput., 2024

From the Editor's Desk.

Troy Astarte

IEEE Ann. Hist. Comput., 2024

2019

What Have Formal Methods Ever Done for Us? An Audience Discussion.

Troy Kaighin Astarte

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Challenges for Formal Semantic Description: Responses from the Main Approaches.

Cliff B. Jones, Troy K. Astarte

Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017