Simon Hudon

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Sealing pointer-based optimizations behind pure functions.
Proc. ACM Program. Lang., 2020

2019
Data Types as Quotients of Polynomial Functors.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2016
The Unit-B method: refinement guided by progress concerns.
Softw. Syst. Model., 2016

2015
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems.
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

2013
Systems Design Guided by Progress Concerns.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Precise Documentation and Validation of Requirements.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

TTM/PAT: Specifying and Verifying Timed Transition Models.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2011
Development of Control Systems Guided by Models of their Environment.
Electron. Notes Theor. Comput. Sci., 2011


  Loading...