default search action
Panagiotis Manolios
- > Home > Persons > Panagiotis Manolios
Publications
- 2024
- [c72]Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru:
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers. SP 2024: 2142-2160 - 2023
- [c71]Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck:
A Case Study in Analytic Protocol Analysis in ACL2. ACL2 2023: 50-66 - [c70]Ruben Gamboa, Panagiotis Manolios, Eric Whitman Smith, Kyle Thompson:
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses. ACL2 2023: 82-93 - [c69]Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru:
Verification of GossipSub in ACL2s. ACL2 2023: 113-132 - [c68]Andrew T. Walter, Ankit Kumar, Panagiotis Manolios:
Proving Calculational Proofs Correct. ACL2 2023: 133-150 - [i15]Andrew T. Walter, Ankit Kumar, Panagiotis Manolios:
Calculational Proofs in ACL2s. CoRR abs/2307.12224 (2023) - 2022
- [c67]Andrew T. Walter, David A. Greve, Panagiotis Manolios:
Enumerative Data Types with Constraints. FMCAD 2022: 189-198 - [c66]Ankit Kumar, Andrew T. Walter, Panagiotis Manolios:
Automated Grading of Automata with ACL2s. ThEdu@FLoC 2022: 77-91 - [c65]Andrew T. Walter, Panagiotis Manolios:
ACL2s Systems Programming. ACL2 2022: 134-150 - [i14]Ankit Kumar, Max von Hippel, Pete Manolios, Cristina Nita-Rotaru:
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers. CoRR abs/2212.05197 (2022) - 2021
- [c64]Ankit Kumar, Panagiotis Manolios:
Mathematical Programming Modulo Strings. FMCAD 2021: 261-270 - [i13]Andrew T. Walter, Seth Cooper, Panagiotis Manolios:
A Reasoning Engine for the Gamification of Loop-Invariant Discovery. CoRR abs/2109.01121 (2021) - 2020
- [c63]Benjamin Quiring, Panagiotis Manolios:
GACAL: Conjecture-Based Verification - (Competition Contribution). TACAS (2) 2020: 388-392 - 2019
- [j12]Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan:
Automating requirements analysis and test case generation. Requir. Eng. 24(3): 341-364 (2019) - [c61]Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios:
Gamification of Loop-Invariant Discovery from Code. HCOMP 2019: 188-196 - [c60]Justin Slepak, Olin Shivers, Panagiotis Manolios:
Records with rank polymorphism. ARRAY@PLDI 2019: 80-92 - [i12]Justin Slepak, Olin Shivers, Panagiotis Manolios:
The Semantics of Rank Polymorphism. CoRR abs/1907.00509 (2019) - [i11]Olin Shivers, Justin Slepak, Panagiotis Manolios:
Introduction to Rank-polymorphic Programming in Remora (Draft). CoRR abs/1912.13451 (2019) - 2018
- [j11]Maria Pittou, Panagiotis Manolios, Jan Reineke, Stavros Tripakis:
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. 167: 1-24 (2018) - [c59]Justin Slepak, Panagiotis Manolios, Olin Shivers:
Rank polymorphism viewed as a constraint problem. ARRAY@PLDI 2018: 34-41 - [c58]Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners:
Towards Development of Complete and Conflict-Free Requirements. RE 2018: 286-296 - 2014
- [c53]Justin Slepak, Olin Shivers, Panagiotis Manolios:
An Array-Oriented Language with Static Rank Polymorphism. ESOP 2014: 27-46 - [c49]Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios:
Data Definitions in the ACL2 Sedan. ACL2 2014: 27-48 - 2011
- [c42]Harsh Raju Chamarthi, Panagiotis Manolios:
Automated specification analysis using an interactive theorem prover. FMCAD 2011: 46-53 - [c41]Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon:
The ACL2 Sedan Theorem Proving System. TACAS 2011: 291-295 - [c40]Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios:
Integrating Testing and Interactive Theorem Proving. ACL2 2011: 4-19 - 2010
- [c38]Panagiotis Manolios, Daron Vroon:
Interactive Termination Proofs Using Termination Cores. ITP 2010: 355-370 - [p1]Panagiotis Manolios, Sudarshan K. Srinivasan:
Verifying Pipelines with BAT. Design and Verification of Microprocessor Systems for High-Assurance Applications 2010: 145-174 - 2009
- [c36]Benjamin Chambers, Panagiotis Manolios, Daron Vroon:
Faster SAT solving with better CNF generation. DATE 2009: 1590-1595 - [c35]Peter C. Dillinger, Panagiotis Manolios:
Fast, All-Purpose State Storage. SPIN 2009: 12-31 - [c34]Panagiotis Manolios, Aaron Turon:
All-Termination(T). TACAS 2009: 398-412 - [c33]Matthew Might, Panagiotis Manolios:
A PosterioriSoundness for Non-deterministic Abstract Interpretations. VMCAI 2009: 260-274 - 2008
- [j9]David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding:
Efficient execution in an automated reasoning environment. J. Funct. Program. 18(1): 15-46 (2008) - [j8]Panagiotis Manolios, Sudarshan K. Srinivasan:
Automatic verification of safety and liveness for pipelined machines using WEB refinement. ACM Trans. Design Autom. Electr. Syst. 13(3): 45:1-45:19 (2008) - [j6]Panagiotis Manolios, Sudarshan K. Srinivasan:
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification. IEEE Trans. Very Large Scale Integr. Syst. 16(4): 353-364 (2008) - 2007
- [c32]Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon:
BAT: The Bit-Level Analysis Tool. CAV 2007: 303-306 - [c31]Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore:
ACL2s: "The ACL2 Sedan". ICSE Companion 2007: 59-60 - [c30]Panagiotis Manolios, Daron Vroon, Gayatri Subramanian:
Automating component-based system assembly. ISSTA 2007: 61-72 - [c29]Panagiotis Manolios, Daron Vroon:
Efficient Circuit to CNF Conversion. SAT 2007: 4-9 - 2006
- [j5]Panagiotis Manolios, Sudarshan K. Srinivasan:
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures. J. Autom. Reason. 37(1-2): 93-116 (2006) - [c27]Panagiotis Manolios, Daron Vroon:
Termination Analysis with Calling Context Graphs. CAV 2006: 401-414 - [c26]Roma Kane, Panagiotis Manolios, Sudarshan K. Srinivasan:
Monolithic verification of deep pipelines with collapsed flushing. DATE 2006: 1234-1239 - [c25]Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon:
Automatic memory reductions for RTL model verification. ICCAD 2006: 786-793 - [c24]Panagiotis Manolios, Daron Vroon:
Integrating static analysis and general-purpose theorem proving for termination analysis. ICSE 2006: 873-876 - [c20]Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J Strother Moore:
ACL2s: "The ACL2 Sedan". UITP@FLoC 2006: 3-18 - [e1]Panagiotis Manolios, Matthew Wilding:
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. ACM 2006, ISBN 0-9788493-0-2 [contents] - 2005
- [j4]Panagiotis Manolios, Daron Vroon:
Ordinal Arithmetic: Algorithms and Mechanization. J. Autom. Reason. 34(4): 387-423 (2005) - [c19]Panagiotis Manolios, Sudarshan K. Srinivasan:
A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems. CHARME 2005: 363-366 - [c18]Panagiotis Manolios, Sudarshan K. Srinivasan:
Refinement Maps for Efficient Verification of Processor Models. DATE 2005: 1304-1309 - [c17]Panagiotis Manolios, Sudarshan K. Srinivasan:
Verification of executable pipelined machines with bit-level interfaces. ICCAD 2005: 855-862 - [c16]Panagiotis Manolios, Sudarshan K. Srinivasan:
A complete compositional reasoning framework for the efficient verification of pipelined machines. ICCAD 2005: 863-870 - [c15]Panagiotis Manolios, Sudarshan K. Srinivasan:
A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines. MEMOCODE 2005: 188-197 - [c14]Peter C. Dillinger, Panagiotis Manolios:
Enhanced Probabilistic Verification with 3Spin and 3Murphi. SPIN 2005: 272-276 - 2004
- [c12]Panagiotis Manolios, Sudarshan K. Srinivasan:
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements. DATE 2004: 168-175 - [c11]Panagiotis Manolios, Daron Vroon:
Integrating Reasoning About Ordinal Arithmetic into ACL2. FMCAD 2004: 82-97 - [c10]Peter C. Dillinger, Panagiotis Manolios:
Bloom Filters in Probabilistic Verification. FMCAD 2004: 367-381 - [c9]Peter C. Dillinger, Panagiotis Manolios:
Fast and Accurate Bitstate Verification for SPIN. SPIN 2004: 57-75 - 2003
- [j3]Panagiotis Manolios, J Strother Moore:
Partial Functions in ACL2. J. Autom. Reason. 31(2): 107-127 (2003) - [c8]Panagiotis Manolios, Daron Vroon:
Algorithms for Ordinal Arithmetic. CADE 2003: 243-257 - [c6]Panagiotis Manolios, Richard J. Trefler:
A lattice-theoretic characterization of safety and liveness. PODC 2003: 325-333 - 2001
- [j2]Panagiotis Manolios, J Strother Moore:
On the desirability of mechanizing calculational proofs. Inf. Process. Lett. 77(2-4): 173-179 (2001) - [c4]Panagiotis Manolios, Richard J. Trefler:
Safety and Liveness in Branching Time. LICS 2001: 366-374 - 1999
- [c2]Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers:
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. CAV 1999: 369-379
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-23 00:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint