Simon Hudon

According to our database, Simon Hudon authored at least 8 papers between 2011 and 2020.

Collaborative distances:

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

2020

Sealing pointer-based optimizations behind pure functions.

Daniel Selsam, Simon Hudon, Leonardo de Moura

Proc. ACM Program. Lang., 2020

2019

Data Types as Quotients of Polynomial Functors.

Jeremy Avigad, Mario Carneiro, Simon Hudon

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2016

The Unit-B method: refinement guided by progress concerns.

Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff

Softw. Syst. Model., 2016

2015

Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems.

Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

2013

Systems Design Guided by Progress Concerns.

Simon Hudon, Thai Son Hoang

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Precise Documentation and Validation of Requirements.

Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

TTM/PAT: Specifying and Verifying Timed Transition Models.

Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2011

Development of Control Systems Guided by Models of their Environment.

Simon Hudon, Thai Son Hoang

Proceedings of the B 2011 Workshop, 2011