Общедоступные статьи - June AndronickПодробнее...
1 статья недоступна нигде
Don't sweat the small stuff: formal verification of C code without the pain
D Greenaway, J Lim, J Andronick, G Klein
ACM SIGPLAN Notices 49 (6), 429-439, 2014
Финансирование: Australian Research Council
16 статей доступны в некоторых источниках
Comprehensive formal verification of an OS microkernel
G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ...
ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014
Финансирование: Australian Research Council
Formally verified software in the real world
G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser
Communications of the ACM 61 (10), 68-77, 2018
Финансирование: US Department of Defense
A formal approach to constructing secure air vehicle software
D Cofer, A Gacek, J Backes, MW Whalen, L Pike, A Foltzer, M Podhradsky, ...
Computer 51 (11), 14-23, 2018
Финансирование: US Department of Defense
Empirical study towards a leading indicator for cost of formal software verification
D Matichuk, T Murray, J Andronick, R Jeffery, G Klein, M Staples
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
Финансирование: Australian Research Council
An empirical research agenda for understanding formal methods productivity
R Jeffery, M Staples, J Andronick, G Klein, T Murray
Information and software technology 60, 102-112, 2015
Финансирование: Australian Research Council
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
J Andronick, C Lewis, D Matichuk, C Morgan, C Rizkallah
International Conference on Interactive Theorem Proving, 52-68, 2016
Финансирование: Australian Research Council
Formally verified system initialisation
A Boyton, J Andronick, C Bannister, M Fernandez, X Gao, D Greenaway, ...
Formal Methods and Software Engineering: 15th International Conference on …, 2013
Финансирование: Australian Research Council
Productivity for proof engineering
M Staples, R Jeffery, J Andronick, T Murray, G Klein, R Kolanski
Proceedings of the 8th ACM/IEEE International Symposium on Empirical …, 2014
Финансирование: Australian Research Council
Provably trustworthy systems
G Klein, J Andronick, G Keller, D Matichuk, T Murray, L O'Connor
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
Финансирование: US Department of Defense
Complx: A verification framework for concurrent imperative programs
S Amani, J Andronick, M Bortin, C Lewis, C Rizkallah, J Tuong
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
Финансирование: US Department of Defense
Formal specifications better than function points for code sizing
M Staples, R Kolanski, G Klein, C Lewis, J Andronick, T Murray, R Jeffery, ...
2013 35th International Conference on Software Engineering (ICSE), 1257-1260, 2013
Финансирование: Australian Research Council
Automated verification of RPC stub code
M Fernandez, J Andronick, G Klein, I Kuz
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
Финансирование: Australian Research Council
Reasoning about concurrency in high-assurance, high-performance software systems
J Andronick
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
Финансирование: US Department of Defense
CAmkES glue code semantics
M Fernandez, P Gammie, J Andronick, G Klein, I Kuz
NICTA and UNSW, 2013
Финансирование: Australian Research Council
Towards a verified component platform
M Fernandez, I Kuz, G Klein, J Andronick
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
Финансирование: Australian Research Council
Automated Verification of a Component Platform
M Fernandez, J Andronick, G Klein, I Kuz
Финансирование: Australian Research Council
Информация о публикациях и финансировании собрана автоматически.