Write a Blog >>
Mon 14 - Fri 18 November 2022 Singapore
David Garlan

Registered user since Mon 24 Apr 2017

Name:David Garlan
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Software architecture, self-adaptive systems, applied formal methods


ESEC/FSE 2022 AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
A Behavioral Notion of Robustness for Software Systems
Show activities from other conferences

ESEC/FSE 2022-profile
View general profile