List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Integrating testing and interactive theorem proving | 2024-08-13 | Paper |
| Local and compositional reasoning for optimized reactive systems Computer Aided Verification | 2024-02-16 | Paper |
| Skipping refinement (available as arXiv preprint) | 2018-03-01 | Paper |
| A lattice-theoretic characterization of safety and liveness Proceedings of the twenty-second annual symposium on Principles of distributed computing | 2015-09-04 | Paper |
| Quantifier elimination by dependency sequents Formal Methods in System Design | 2014-12-05 | Paper |
| Software for quantifier elimination in propositional logic Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
| An array-oriented language with static rank polymorphism Programming Languages and Systems | 2014-04-16 | Paper |
| ACL2s: ``the ACL2 sedan Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
| The ACL2 Sedan theorem proving system Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
| SAT-solving based on boundary point elimination Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
| Interactive Termination Proofs Using Termination Cores Interactive Theorem Proving | 2010-09-14 | Paper |
| Algorithms for ordinal arithmetic. Lecture Notes in Computer Science | 2010-04-20 | Paper |
| Correct Hardware Design and Verification Methods Lecture Notes in Computer Science | 2010-02-05 | Paper |
| All-Termination(T) Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
| A Posteriori Soundness for Non-deterministic Abstract Interpretations Lecture Notes in Computer Science | 2009-02-10 | Paper |
| Efficient execution in an automated reasoning environment Journal of Functional Programming | 2008-01-18 | Paper |
| Model Checking Software Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Termination Analysis with Calling Context Graphs Computer Aided Verification | 2007-09-05 | Paper |
| A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures Journal of Automated Reasoning | 2007-05-03 | Paper |
| Formal Methods for Hardware Verification Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Ordinal arithmetic: Algorithms and mechanization Journal of Automated Reasoning | 2006-11-17 | Paper |
| Formal Methods in Computer-Aided Design Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Formal Methods in Computer-Aided Design Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 2102719 (Why is no real title available?) | 2004-09-24 | Paper |
| Partial functions in ACL2 Journal of Automated Reasoning | 2004-03-15 | Paper |
| On the desirability of mechanizing calculational proofs Information Processing Letters | 2002-07-25 | Paper |
Research outcomes over time
This page was built for person: Panagiotis Manolios
