Simon Hudon

Simon Hudon

Carnegie Mellon University - Pittsburgh / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 5207700
person_outline Simon Hudon's MOST POPULAR ARTICLES
1-) Development of control systems guided by models of their environmentS Hudon, TS HoangElectronic Notes in Theoretical Computer Science 280, 57-68, 2011132011
2-) Data Types as Quotients of Polynomial FunctorsJ Avigad, M Carneiro, S HudonLeibniz International Proceedings in Informatics 141, 6:1-6:19, 2019112019
3-) Systems design guided by progress concernsS Hudon, TS HoangIntegrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013112013
4-) The Unit-B method: refinement guided by progress concernsS Hudon, TS Hoang, JS OstroffSoftware & Systems Modeling 15, 1091-1116, 201692016
5-) Precise documentation and validation of requirementsCW Wang, JS Ostroff, S HudonFormal Techniques for Safety-Critical Systems: Second International Workshop …, 201432014