Follow
Simon Hudon
Title
Cited by
Cited by
Year
Development of control systems guided by models of their environment
S Hudon, TS Hoang
Electronic Notes in Theoretical Computer Science 280, 57-68, 2011
132011
Data Types as Quotients of Polynomial Functors
J Avigad, M Carneiro, S Hudon
Leibniz International Proceedings in Informatics 141, 6:1-6:19, 2019
112019
Systems design guided by progress concerns
S Hudon, TS Hoang
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013
112013
The Unit-B method: refinement guided by progress concerns
S Hudon, TS Hoang, JS Ostroff
Software & Systems Modeling 15, 1091-1116, 2016
62016
Precise documentation and validation of requirements
CW Wang, JS Ostroff, S Hudon
Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014
32014
Sealing pointer-based optimizations behind pure functions
D Selsam, S Hudon, L de Moura
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-20, 2020
22020
Precise documentation of requirements and executable specifications
JS Ostroff, CW Wang, S Hudon
Tech Report CSE-2012-03, York University, 2012
22012
A progress preserving refinement
S Hudon
Eidgenössische Technische Hochschule Zürich, Department of Computer Science …, 2011
22011
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
CW Wang, JS Ostroff, S Hudon
arXiv preprint arXiv:1506.03558, 2015
12015
TTM/PAT: Specifying and Verifying Timed Transition Models
JS Ostroff, CW Wang, S Hudon, Y Liu, J Sun
Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014
12014
Precise documentation and validation of requirements
JS Ostroff, CW Wang, S Hudon
Tech Report CSE-2013-08, York University, 2013
12013
TTM/PAT: a tool for modelling and verifying timed transition models
JS Ostroff, CW Wang, S Hudon
Technical Report CSE-2013-05, York University, 2013
12013
Developing control systems with some fragile environment
TS Hoang, S Hudon
Technical report 723, 2010
12010
The Magic of Specifications and Type Systems
A Bandali, S Hudon, J Ostroff
2017
A Progress Preserving Refinement Order
S Hudon, PDD Basin
2011
Concurrent Object-Oriented Programming with SCOOP
S Hudon, M Schwerhoff
2009
Development of a Signal Control System
S Hudon, TS Hoang
The system can't perform the operation now. Try again later.
Articles 1–17