Panagiotis Manolios

Available identifiers

zbMath Open manolios.panagiotisMaRDI QIDQ479822

List of research outcomes

Publication	Date of Publication	Type
Integrating testing and interactive theorem proving	2024-08-13	Paper
Local and compositional reasoning for optimized reactive systems	2024-02-16	Paper
Skipping refinement	2018-03-01	Paper
A lattice-theoretic characterization of safety and liveness	2015-09-04	Paper
Quantifier elimination by dependency sequents	2014-12-05	Paper
Software for Quantifier Elimination in Propositional Logic	2014-09-08	Paper
An Array-Oriented Language with Static Rank Polymorphism	2014-04-16	Paper
ACL2s: ``the ACL2 sedan	2013-12-20	Paper
The ACL2 Sedan Theorem Proving System	2011-05-19	Paper
SAT-Solving Based on Boundary Point Elimination	2011-04-06	Paper
Interactive Termination Proofs Using Termination Cores	2010-09-14	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
All-Termination(T)	2009-03-31	Paper
A Posteriori Soundness for Non-deterministic Abstract Interpretations	2009-02-10	Paper
Efficient execution in an automated reasoning environment	2008-01-18	Paper
Model Checking Software	2007-09-28	Paper
Termination Analysis with Calling Context Graphs	2007-09-05	Paper
A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures	2007-05-03	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper
Ordinal arithmetic: Algorithms and mechanization	2006-11-17	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4818805	2004-09-24	Paper
Partial functions in ACL2	2004-03-15	Paper
On the desirability of mechanizing calculational proofs	2002-07-25	Paper

Research outcomes over time

This page was built for person: Panagiotis Manolios