Development of control systems guided by models of their environment S Hudon, TS Hoang Electronic Notes in Theoretical Computer Science 280, 57-68, 2011 | 13 | 2011 |
Data Types as Quotients of Polynomial Functors J Avigad, M Carneiro, S Hudon Leibniz International Proceedings in Informatics 141, 6:1-6:19, 2019 | 11 | 2019 |
Systems design guided by progress concerns S Hudon, TS Hoang Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013 | 11 | 2013 |
The Unit-B method: refinement guided by progress concerns S Hudon, TS Hoang, JS Ostroff Software & Systems Modeling 15, 1091-1116, 2016 | 7 | 2016 |
Precise documentation and validation of requirements CW Wang, JS Ostroff, S Hudon Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014 | 3 | 2014 |
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 | 2 | 2020 |
Precise documentation of requirements and executable specifications JS Ostroff, CW Wang, S Hudon Tech Report CSE-2012-03, York University, 2012 | 2 | 2012 |
A progress preserving refinement S Hudon Eidgenössische Technische Hochschule Zürich, Department of Computer Science …, 2011 | 2 | 2011 |
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems CW Wang, JS Ostroff, S Hudon arXiv preprint arXiv:1506.03558, 2015 | 1 | 2015 |
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 | 1 | 2014 |
Precise documentation and validation of requirements JS Ostroff, CW Wang, S Hudon Tech Report CSE-2013-08, York University, 2013 | 1 | 2013 |
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 | 1 | 2013 |
Developing control systems with some fragile environment TS Hoang, S Hudon Technical report 723, 2010 | 1 | 2010 |
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 | | |