ESEC/FSE 2022 (series) / David Garlan

Registered user since Mon 24 Apr 2017
Name:David Garlan
Country:United States
Affiliation:Carnegie Mellon University
Personal website:https://www.cs.cmu.edu/~garlan/
Research interests:Software architecture, self-adaptive systems, applied formal methods
Contributions
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
View general profile