Login / Signup
Syed Adeel Ali
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Abstract Interpretation
Automated Verification
Requirements Engineering
Model Checking
Top Venues
ICSOC
Int. J. Softw. Informatics
ICWS
</>
Publications
</>
Syed Adeel Ali
,
Partha S. Roop
,
Ian Warren
Web Service Choreography: Unanimous Handling of Control and Data.
Int. J. Softw. Informatics
7 (2) (2013)
Syed Adeel Ali
,
Partha S. Roop
,
Ian Warren
Stateful Web Services - Auto Modeling and Composition.
ICWS
(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)
Syed Adeel Ali
,
Partha S. Roop
,
Ian Warren
,
Zeeshan Ejaz Bhatti
Unified management of control flow and data mismatches in web service composition.
SOSE
(2011)