Ryan Wagner

According to our database, Ryan Wagner authored at least 4 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

AlloyMax: bringing maximum satisfaction to relational specifications.

Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco M. Manquinho, Ruben Martins, Eunsuk Kang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2019

Modeling observability in adaptive systems to defend against advanced persistent threats.

Cody Kinneer, Ryan Wagner, Fei Fang, Claire Le Goues, David Garlan

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2018

Quantitative underpinnings of secure, graceful degradation: poster.

Ryan Wagner, David Garlan, Matt Fredrikson

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

2003

A Model of USENET Newsgroups Dynamics: Implementation and Results.

Miroslav Martinovic, G. Sampath, Ryan Wagner, Scott Briening

Proceedings of the Natural Language Processing and Information Systems, 2003