1. Monitoring Association Constraints in Model-Oriented Programming;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. Containerless Plurals: Separating Number from Type in Object-Oriented Programming;ACM Transactions on Programming Languages and Systems;2022-09-21
3. Abstraction in Modeling and Programming with Associations: Instantiation, Composition and Inheritance;Advances in Intelligent Systems and Computing;2019
4. Type checking for protocol role enactments via commitments;Autonomous Agents and Multi-Agent Systems;2018-01-31
5. This Is Not a Model;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018