Publications of Ryan Wagner 
|
Order by: Type | Year
|
|
|
|
|
|
|
|
| 2 |
Changjian Zhang,
Ryan Wagner, Pedro Orvalho,
David Garlan, Vasco Manquinho, Ruben Martins and
Eunsuk Kang. AlloyMax: Bringing Maximum Satisfaction to Relational Specifications. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021, Virtual, 23-28 August 2021. Distinguished Paper Award.
|
|
|
|
|
| 3 |
Cody Kinneer,
Ryan Wagner, Fei Fang, Claire Le Goues and
David Garlan. Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats. In Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for Systems Design (MEMCODE\'19), San Diego, USA, 9-11 October 2019.
|
|
|
|
|
| 4 |
Ryan Wagner,
David Garlan and Matthew Fredrikson. An Advanced Persistent Threat Simulation Range for Research of Self-Adaptive Systems. 2018. Submitted for publication.
|
| 5 |
Ryan Wagner,
David Garlan and Matthew Fredrikson. Poster: Quantitative Underpinnings of Secure, Graceful Degradation. In Proceedings of the 2018 Symposium of Hot Topics in the Science of Security, Raleigh, North Carolina, 10-11 April 2018.
|
|
|
|
|
|
|
