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 | 55 | 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 | 49 | 2014 |
Predicate abstraction for reactive synthesis A Walker, L Ryzhyk 2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014 | 41 | 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, 1-17, 2024 | 26 | 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 | 25 | 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 |
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 | 19 | 2016 |
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 | 12 | 2009 |
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 | 2 | 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 |
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 |
Learning Fall Detection Framework A Michaelides, N Hameed, A Walker Applied Intelligence and Informatics: Third International Conference, AII …, 0 | | |