| The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... International journal on software tools for technology transfer 19, 367-390, 2017 | 54 | 2017 |
| {User-Guided} Device Driver Synthesis L Ryzhyk, A Walker, J Keys, A Legg, A Raghunath, M Stumm, M Vij 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014 | 50 | 2014 |
| Predicate abstraction for reactive synthesis A Walker, L Ryzhyk 2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014 | 42 | 2014 |
| capDL: A language for describing capability-based systems I Kuz, G Klein, C Lewis, A Walker Proceedings of the first ACM asia-pacific workshop on Workshop on systems, 31-36, 2010 | 36 | 2010 |
| The reactive synthesis competition (SYNTCOMP): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International journal on software tools for technology transfer 26 (5), 551-567, 2024 | 28 | 2024 |
| The second reactive synthesis competition (SYNTCOMP 2015) S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ... arXiv preprint arXiv:1602.01171, 2016 | 26 | 2016 |
| The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ... arXiv preprint arXiv:1609.00507, 2016 | 20 | 2016 |
| Solving games without controllable predecessor N Narodytska, A Legg, F Bacchus, L Ryzhyk, A Walker Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 20 | 2014 |
| Developing a practical reactive synthesis tool: Experience and lessons learned L Ryzhyk, A Walker arXiv preprint arXiv:1611.07624, 2016 | 17 | 2016 |
| John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, and Mona Vij. 2014. User-Guided Device Driver Synthesis L Ryzhyk, A Walker OSDI, USENIX Association, 661-676, 2014 | 15 | 2014 |
| A customizable multiprocessor for globally asynchronous locally synchronous execution A Malik, Z Salcic, A Girault, A Walker, SC Lee Proceedings of the 7th International Workshop on Java Technologies for Real …, 2009 | 13 | 2009 |
| The reactive synthesis competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022) S Jacobs, GA Pérez, R Abraham, V Bruyère, M Cadilhac, M Colange, ... | 8 | |
| The first reactive synthesis competition (SYNTCOMP 2014). STTT 19 (3), 367–390 (2017) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... | 5 | |
| The 5th reactive synthesis competition (SYNTCOMP 2018): Benchmarks, participants & results. CoRR abs/1904.07736 (2019) S Jacobs, R Bloem, M Colange, P Faymonville, B Finkbeiner, A Khalimov, ... | 4 | 1904 |
| A hybrid transfer learning and segmentation approach for the detection of acute lymphoblastic leukemia AJ Hau, N Hameed, A Walker, MM Hasan International Conference on Trends in Electronics and Health Informatics …, 2022 | 3 | 2022 |
| DEVICE DRIVER SYNTHESIS. M Vij, J Keys, A Raghunath, S Hahn, V Zimmer, L Ryzhyk, A Walker, ... Intel Technology Journal 17 (2), 2013 | 2 | 2013 |
| Learning Fall Detection Framework A Michaelides, N Hameed, A Walker Applied Intelligence and Informatics: Third International Conference, AII …, 2024 | | 2024 |
| A Driver Fatigue Detection Framework with Convolutional Neural Network and Long Short-Term Memory Network R Bao, N Hameed, A Walker International Conference on Applied Intelligence and Informatics, 283-297, 2023 | | 2023 |
| FallGuardian: Wear OS-Based Machine Learning Fall Detection Framework A Michaelides, N Hameed, A Walker International Conference on Applied Intelligence and Informatics, 298-308, 2023 | | 2023 |
| Automatic Device Driver Synthesis A Walker UNSW Sydney, 2016 | | 2016 |
