Sign in
Ryan Wagner
ORCID
Publication Activity (10 Years)
Years Active: 2003-2021
Publications (10 Years): 3
Top Topics
Formal Language
Relational Queries
User Modeling
Customer Satisfaction
Top Venues
MEMOCODE
ESEC/SIGSOFT FSE
HotSoS
</>
Publications
</>
Changjian Zhang
,
Ryan Wagner
,
Pedro Orvalho
,
David Garlan
,
Vasco M. Manquinho
,
Ruben Martins
,
Eunsuk Kang
AlloyMax: bringing maximum satisfaction to relational specifications.
ESEC/SIGSOFT FSE
(2021)
Cody Kinneer
,
Ryan Wagner
,
Fei Fang
,
Claire Le Goues
,
David Garlan
Modeling observability in adaptive systems to defend against advanced persistent threats.
MEMOCODE
(2019)
Ryan Wagner
,
David Garlan
,
Matt Fredrikson
Quantitative underpinnings of secure, graceful degradation: poster.
HotSoS
(2018)
Miroslav Martinovic
,
G. Sampath
,
Ryan Wagner
,
Scott Briening
A Model of USENET Newsgroups Dynamics: Implementation and Results.
NLDB
(2003)