Follow
Adam Walker
Adam Walker
NICTA/UNSW
Verified email at nicta.com.au
Title
Cited by
Cited by
Year
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
552017
{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
492014
Predicate abstraction for reactive synthesis
A Walker, L Ryzhyk
2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014
412014
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
362010
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
262024
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
252016
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
202014
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
192016
Developing a practical reactive synthesis tool: Experience and lessons learned
L Ryzhyk, A Walker
arXiv preprint arXiv:1611.07624, 2016
172016
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
152014
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
122009
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, ...
41904
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
22022
DEVICE DRIVER SYNTHESIS.
M Vij, J Keys, A Raghunath, S Hahn, V Zimmer, L Ryzhyk, A Walker, ...
Intel Technology Journal 17 (2), 2013
22013
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
The system can't perform the operation now. Try again later.
Articles 1–19