Rajeev Alur, Loris D’Antoni, Sumit Gulwani & Dileep Kini (2013):
Automated Grading of DFA constructions.
In: International Joint Conference on Artificial Intelligence (IJCAI).
Available at http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6759.
Harsh Chamarthi, Peter C. Dillinger, Panagiotis Manolios & Daron Vroon (2011):
The "ACL2" Sedan Theorem Proving System.
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
doi:10.1007/978-3-642-19835-9_27.
Harsh Raju Chamarthi, Dillinger Peter C., Matt Kaufmann & Panagiotis Manolios (2011):
Integrating testing and interactive theorem proving.
In: International Workshop on the ACL2 Theorem Prover and its Applications (ACL2),
doi:10.4204/EPTCS.70.1.
Harsh Raju Chamarthi, Dillinger Peter C. & Panagiotis Manolios (2014):
Data Definitions in the ACL2 Sedan.
In: International Workshop on the ACL2 Theorem Prover and its Applications (ACL2),
doi:10.4204/EPTCS.152.3.
Harsh Raju Chamarthi & Panagiotis Manolios (2011):
Automated specification analysis using an interactive theorem prover.
In: International Conference on Formal Methods in Computer-Aided Design (FMCAD).
Available at http://dl.acm.org/citation.cfm?id=2157665.
Peter C. Dillinger, Panagiotis Manolios, Daron Vroon & J Strother Moore (2007):
ACL2s: "The ACL2 Sedan".
In: International Conference on Software Engineering (ICSE),
doi:10.1016/j.entcs.2006.09.018.
Loris D’Antoni, Martin Helfrich, Jan Kretinsky, Emanuel Ramneantu & Maximilian Weininger (2020):
Automata Tutor v3.
In: International Conference on Computer Aided Verification (CAV),
doi:10.1007/978-3-030-53291-8_1.
Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan & Björn Hartmann (2015):
How Can Automatic Feedback Help Students Construct Automata?.
In: ACM Transactions on Computer-Human Interaction (TOCHI),
doi:10.1145/2723163.
Matt Kaufmann & J Strother Moore:
ACL2: An industrial strength version of Nqthm.
In: Conference on Computer Assurance (COMPASS),
doi:10.1109/CMPASS.1996.507872.
Panagiotis Manolios & Daron Vroon (2003):
Algorithms for Ordinal Arithmetic.
In: 19th International Conference on Automated Deduction (CADE),
doi:10.1007/978-3-540-45085-6_19.
Panagiotis Manolios & Daron Vroon (2004):
Integrating Reasoning about Ordinal Arithmetic into ACL2.
In: Formal Methods in Computer-Aided Design (FMCAD),
doi:10.1007/978-3-540-30494-4_7.
Panagiotis Manolios & Daron Vroon (2005):
Ordinal Arithmetic: Algorithms and Mechanization.
Journal of Automated Reasoning,
doi:10.1007/s10817-005-9023-9.
Craig McMillan, Andy Crapo, Michael Durling, Meng Li, Abha Moitra, Panagiotis Manolios, Mark Stephens & Daniel Russell (2019):
Increasing development assurance for system and software development with validation and verification using ASSERT™.
Technical Report.
SAE Technical Paper,
doi:10.4271/2019-01-1370.
Mostafa Mohammed, Clifford A. Shaffer & Susan H. Rodger (2021):
Teaching Formal Languages with Visualizations and Auto-Graded Exercises.
In: ACM Technical Symposium on Computer Science Education (SIGCSE TS),
doi:10.1145/3408877.3432398.
Abha Moitra, Kit Siu, Andrew Crapo, Harsh Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios & Michael Meiners (2018):
Towards development of complete and conflict-free requirements.
In: 2018 IEEE 26th International Requirements Engineering Conference (RE),
doi:10.1109/RE.2018.00036.
Daphne Norton (2009):
Algorithms for testing equivalence of finite automata, with a grading tool for JFLAP.
Available at https://scholarworks.rit.edu/theses/6939.
Susan H Rodger & Thomas W Finley (2006):
JFLAP: an interactive formal languages and automata package,
Computer Science ed. edition.
Jones and Bartlett Publishers, Inc..
Available at https://www.jflap.org/jflapbook/jflapbook2006.pdf.
Clifford A. Shaffer (2016):
OpenDSA: An Interactive ETextbook for Computer Science Courses.
In: ACM Technical Symposium on Computing Science Education (SIGCSE TS),
doi:10.1145/2839509.2850505.
Vinay S. Shekhar, Anant Agarwalla, Akshay Agarwal, B. Nitish & Viraj Kumar (2014):
Enhancing JFLAP with automata construction problems and automated feedback.
In: International Conference on Contemporary Computing (IC3),
doi:10.1109/IC3.2014.6897141.
Michael Sipser (2013):
Introduction to the Theory of Computation,
Third edition.
Course Technology.
Andrew Walter, Seth Cooper & Panagiotis Manolios (2021):
A Reasoning Engine for the Gamification of Loop-Invariant Discovery.
arXiv preprint arXiv:2109.01121,
doi:10.48550/arXiv.2109.01121.
Andrew T Walter, Benjamin Boskin, Seth Cooper & Panagiotis Manolios (2019):
Gamification of Loop-Invariant Discovery from Code.
In: Proceedings of the AAAI Conference on Human Computation and Crowdsourcing,
doi:10.1609/hcomp.v7i1.5277.
Andrew T Walter, David Greve & Panagiotis Manolios (2022):
Enumerative Data Types with Constraints.
In: Conference on Formal Methods in Computer-Aided Design–FMCAD 2022,
doi:10.34727/2022/isbn.978-3-85448-053-2\@uscore .25.
Andrew T. Walter & Panagiotis Manolios (2022):
ACL2s Systems Programming.
In: International Workshop on the ACL2 Theorem Prover and its Applications (ACL2),
doi:10.4204/EPTCS.359.12.
eptcs@eptcs.org