Panagiotis Manolios
Orcid: 0000-0003-0519-9699Affiliations:
- Northeastern University, Khoury College of Computer Sciences, Boston, MA, USA
- Georgia Institute of Technology, College of Computing, Atlanta, GA, USA
According to our database1,
Panagiotis Manolios
authored at least 93 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on ccs.neu.edu
On csauthors.net:
Bibliography
2023
Proc. VLDB Endow., 2023
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses.
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023
2022
Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers.
CoRR, 2022
Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
2019
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019
Proceedings of the Seventh AAAI Conference on Human Computation and Crowdsourcing, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions.
Sci. Comput. Program., 2018
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, 2018
2017
CoRR, 2017
2015
Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
Proceedings of the Hardware and Software: Verification and Testing, 2014
Proceedings of the Programming Languages and Systems, 2014
2013
Counterexample Generation Meets Interactive Theorem Proving: Current Results and Future Opportunities.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
2011
Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding.
Proceedings of the Tests and Proofs - 4th International Conference, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Hardware and Software: Verification and Testing, 2010
Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010
2009
Proceedings of the Verification, 2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
2008
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification.
IEEE Trans. Very Large Scale Integr. Syst., 2008
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation.
IEEE Trans. Software Eng., 2008
Automatic verification of safety and liveness for pipelined machines using WEB refinement.
ACM Trans. Design Autom. Electr. Syst., 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures.
J. Autom. Reason., 2006
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006
Using positive tainting and syntax-aware evaluation to counter SQL injection attacks.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Proceedings of the Formal Methods for Hardware Verification, 2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Integrating static analysis and general-purpose theorem proving for termination analysis.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 2006 International Conference on Computer-Aided Design, 2006
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Model Checking Software, 2005
A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
A complete compositional reasoning framework for the efficient verification of pipelined machines.
Proceedings of the 2005 International Conference on Computer-Aided Design, 2005
Proceedings of the 2005 International Conference on Computer-Aided Design, 2005
Proceedings of the 2005 Design, 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
2004
Proceedings of the Model Checking Software, 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements.
Proceedings of the 2004 Design, 2004
2003
Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003
Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003
2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
2000
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000
1999
Proceedings of the Correct Hardware Design and Verification Methods, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1994
Neural Comput., 1994