Zachary J. Oster

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Topics

Epistemic Logic

Qualitative Preferences

Top Venues

Publications

Zachary J. Oster
Improving Access to Internships with an On-Campus Software Development Center. SIGCSE (2019)
Zachary J. Oster
Improving Requirements Elicitation Through Listening Research. D4RE@RE (2018)
Zachary J. Oster
Efficient Satisfiability Verification for Conditional Importance Networks. ADT (2017)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu
Scalable modeling and analysis of requirements preferences: A qualitative approach using CI-Nets. RE (2015)
Zachary J. Oster
Reasoning with qualitative preferences to develop optimal component-based systems. ICSE (2013)
Ganesh Ram Santhanam, Zachary J. Oster, Samik Basu
Identifying a preferred countermeasure strategy for attack graphs. CSIIRW (2013)
Zachary J. Oster, Syed Adeel Ali, Ganesh Ram Santhanam, Samik Basu, Partha S. Roop
A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis. ICSOC (2012)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar
Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure. FACS (2012)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu
Automating analysis of qualitative preferences in goal-oriented requirements engineering. ASE (2011)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu
Identifying Optimal Composite Services by Decomposing the Service Composition Problem. ICWS (2011)
Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu
Decomposing the Service Composition Problem. ECOWS (2010)
Zachary J. Oster, Samik Basu
Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. ICTAI (2009)