June Andronick
According to our database^{1},
June Andronick
authored at least 32 papers
between 2003 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on dl.acm.org
On csauthors.net:
Bibliography
2020
Commun. ACM, 2020
2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Proceedings of the Formal Methods  The Next 30 Years  Third World Congress, 2019
2018
Computer, 2018
Commun. ACM, 2018
2017
Proceedings of the Automated Deduction  CADE 26, 2017
2016
Arch. Formal Proofs, 2016
Proceedings of the Interactive Theorem Proving  7th International Conference, 2016
2015
Inf. Softw. Technol., 2015
Controlled OwickiGries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the FM 2015: Formal Methods, 2015
2014
ACM Trans. Comput. Syst., 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the 2014 ACMIEEE International Symposium on Empirical Software Engineering and Measurement, 2014
2013
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Proceedings of the Interactive Theorem Proving  Third International Conference, 2012
Proceedings of the 2012 International Conference on Software and System Process, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
Proceedings of the Interactive Theorem Proving  Second International Conference, 2011
2010
Commun. ACM, 2010
Proceedings of the 5th International Workshop on Systems Software Verification, 2010
Proceedings of the Formal Verification of ObjectOriented Software, 2010
Proceedings of the fifth ACM workshop on Scalable trusted computing, 2010
2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
2005
Proceedings of the FM 2005: Formal Methods, 2005
2003
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003