Safety first: A two-stage algorithm for LTL games S Sohail, F Somenzi 2009 Formal Methods in Computer-Aided Design, 77-84, 2009 | 41 | 2009 |
Safety first: a two-stage algorithm for the synthesis of reactive systems S Sohail, F Somenzi International Journal on Software Tools for Technology Transfer 15, 433-454, 2013 | 33 | 2013 |
A hybrid algorithm for LTL games S Sohail, F Somenzi, K Ravi International Workshop on Verification, Model Checking, and Abstract …, 2008 | 26 | 2008 |
A networking laboratory for the developing world SH Bokhari, M Ahmed, S bin Sohail, RH Khan, JA Mirza, M Ali IEEE Communications Magazine 42 (2), 106-113, 2004 | 10 | 2004 |
Improving the Efficiency and Quality of Omega-Regular Synthesis S Sohail | | 2014 |
Improving the Efficiency and Quality of Omega-Regular Synthesis S bin Sohail University of Colorado at Boulder, 2014 | | 2014 |
Efficient handling of obligation constraints in synthesis from omega-regular specifications S Sohail, F Somenzi 2013 Formal Methods in Computer-Aided Design, 34-41, 2013 | | 2013 |