Simon Hudon
Title
Cited by
Cited by
Year
Development of control systems guided by models of their environment
S Hudon, TS Hoang
ETH Zurich, 2011
132011
Systems design guided by progress concerns
S Hudon, TS Hoang
International Conference on Integrated Formal Methods, 16-30, 2013
82013
The Unit-B method: refinement guided by progress concerns
S Hudon, TS Hoang, JS Ostroff
Software & Systems Modeling 15 (4), 1091-1116, 2016
52016
Precise documentation and validation of requirements
CW Wang, JS Ostroff, S Hudon
International Workshop on Formal Techniques for Safety-Critical Systems, 262-279, 2013
32013
Precise documentation of requirements and executable specifications
JS Ostroff, CW Wang, S Hudon
Technical 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
Data Types as Quotients of Polynomial Functors
J Avigad, M Carneiro, S Hudon
Leibniz International Proceedings in Informatics 141, 6:1-6:19, 2019
12019
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
International Workshop on Formal Techniques for Safety-Critical Systems, 107-124, 2013
12013
Precise documentation and validation of requirements
JS Ostroff, CW Wang, S Hudon
Technical 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
Sealing Pointer-Based Optimizations Behind Pure Functions
D Selsam, S Hudon, L de Moura
arXiv preprint arXiv:2003.01685, 2020
2020
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