Proving Skipping Refinement with ACL2s
Jain, Mitesh, Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (18.09.2015)
Published in Electronic proceedings in theoretical computer science (18.09.2015)
Get full text
Journal Article
Data Definitions in the ACL2 Sedan
Chamarthi, Harsh Raju, Dillinger, Peter C., Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (04.06.2014)
Published in Electronic proceedings in theoretical computer science (04.06.2014)
Get full text
Journal Article
Integrating Testing and Interactive Theorem Proving
Chamarthi, Harsh Raju, Dillinger, Peter C., Kaufmann, Matt, Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (20.10.2011)
Published in Electronic proceedings in theoretical computer science (20.10.2011)
Get full text
Journal Article
ACL2s Systems Programming
Walter, Andrew T., Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (24.05.2022)
Published in Electronic proceedings in theoretical computer science (24.05.2022)
Get full text
Journal Article
Proving Calculational Proofs Correct
Walter, Andrew T., Kumar, Ankit, Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (14.11.2023)
Published in Electronic proceedings in theoretical computer science (14.11.2023)
Get full text
Journal Article
Automated Grading of Automata with ACL2s
Kumar, Ankit, Walter, Andrew, Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (10.03.2023)
Published in Electronic proceedings in theoretical computer science (10.03.2023)
Get full text
Journal Article
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
Kumar, Ankit, von Hippel, Max, Manolios, Panagiotis, Nita-Rotaru, Cristina
Published in 2024 IEEE Symposium on Security and Privacy (SP) (19.05.2024)
Published in 2024 IEEE Symposium on Security and Privacy (SP) (19.05.2024)
Get full text
Conference Proceeding
A Case Study in Analytic Protocol Analysis in ACL2
von Hippel, Max, Manolios, Panagiotis, McMillan, Kenneth L., Nita-Rotaru, Cristina, Zuck, Lenore
Published in Electronic proceedings in theoretical computer science (14.11.2023)
Published in Electronic proceedings in theoretical computer science (14.11.2023)
Get full text
Journal Article
Verification of GossipSub in ACL2s
Kumar, Ankit, Hippel, Max von, Manolios, Panagiotis, Nita-Rotaru, Cristina
Published in Electronic proceedings in theoretical computer science (14.11.2023)
Published in Electronic proceedings in theoretical computer science (14.11.2023)
Get full text
Journal Article
Automating requirements analysis and test case generation
Moitra, Abha, Siu, Kit, Crapo, Andrew W., Durling, Michael, Li, Meng, Manolios, Panagiotis, Meiners, Michael, McMillan, Craig
Published in Requirements engineering (01.09.2019)
Published in Requirements engineering (01.09.2019)
Get full text
Journal Article
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation
Halfond, W.G.J., Orso, A., Manolios, P.
Published in IEEE transactions on software engineering (01.01.2008)
Published in IEEE transactions on software engineering (01.01.2008)
Get full text
Journal Article
A Model-Based Framework for Analyzing the Safety of System Architectures
Manolios, Panagiotis, Siu, Kit, Noorman, Michael, Liao, Hongwei
Published in 2019 Annual Reliability and Maintainability Symposium (RAMS) (01.01.2019)
Published in 2019 Annual Reliability and Maintainability Symposium (RAMS) (01.01.2019)
Get full text
Conference Proceeding
Mathematical Programming Modulo Strings
Kumar, Ankit, Manolios, Panagiotis
Published in 2021 Formal Methods in Computer Aided Design (FMCAD) (19.10.2021)
Published in 2021 Formal Methods in Computer Aided Design (FMCAD) (19.10.2021)
Get full text
Conference Proceeding
Implementing Survey Propagation on Graphics Processing Units
Get full text
Book Chapter
Conference Proceeding