BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Russia
1 × Spain
2 × Italy
2 × Portugal
2 × United Kingdom
3 × France
4 × Germany
9 × USA
Collaborated with:
D.Vroon S.K.Srinivasan V.Papavasileiou M.Jain E.Goldberg A.Turon M.Might Y.Zhang ∅ R.J.Trefler J.Pais J.Slepak O.Shivers C.Hang B.Chambers G.Subramanian M.G.Oms S.O.Valls R.Kane W.G.J.Halfond A.Orso K.S.Namjoshi R.Summers H.R.Chamarthi P.C.Dillinger
Talks about:
theorem (4) analysi (4) refin (4) prove (4) model (4) termin (3) system (3) verif (3) processor (2) generat (2)

Person: Panagiotis Manolios

DBLP DBLP: Manolios:Panagiotis

Contributed to:

CAV 20152015
CAV 20152015
ESOP 20142014
CAV 20132013
CAV 20112011
TACAS 20112011
TAP 20102010
DATE 20092009
TACAS 20092009
VMCAI 20092009
CAV 20072007
ISSTA 20072007
SAT 20072007
TACAS 20072007
CAV 20062006
DATE 20062006
FSE 20062006
ICSE 20062006
SAT 20062006
SFM 20062006
DATE 20052005
DATE v1 20042004
CADE 20032003
LICS 20012001
CAV 19991999
CAV (1) 20192019

Wrote 26 papers:

CAV-2015-JainM #refinement
Skipping Refinement (MJ, PM), pp. 103–119.
CAV-2015-ManoliosPP #framework #modulo theories #programming
The Inez Mathematical Programming Modulo Theories Framework (PM, JP, VP), pp. 53–69.
ESOP-2014-SlepakSM #morphism #polymorphism #rank
An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.
CAV-2013-ManoliosP #modulo theories
ILP Modulo Theories (PM, VP), pp. 662–677.
CAV-2011-HangMP #architecture #constraints #cyber-physical #modelling #realtime
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints (CH, PM, VP), pp. 441–456.
TACAS-2011-ChamarthiDMV #proving #theorem proving
The ACL2 Sedan Theorem Proving System (HRC, PCD, PM, DV), pp. 291–295.
TAP-2010-GoldbergM #encoding #generative #proving #testing
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding (EG, PM), pp. 101–116.
DATE-2009-ChambersMV #generative #performance #satisfiability
Faster SAT solving with better CNF generation (BC, PM, DV), pp. 1590–1595.
TACAS-2009-ManoliosT
All-Termination(T) (PM, AT), pp. 398–412.
VMCAI-2009-MightM #abstract interpretation #nondeterminism
A PosterioriSoundness for Non-deterministic Abstract Interpretations (MM, PM), pp. 260–274.
CAV-2007-ManoliosSV #analysis #named
BAT: The Bit-Level Analysis Tool (PM, SKS, DV), pp. 303–306.
ISSTA-2007-ManoliosVS #assembly #automation #component
Automating component-based system assembly (PM, DV, GS), pp. 61–72.
SAT-2007-ManoliosV #performance
Efficient Circuit to CNF Conversion (PM, DV), pp. 4–9.
TACAS-2007-ManoliosOV #consistency
Checking Pedigree Consistency with PCS (PM, MGO, SOV), pp. 339–342.
CAV-2006-ManoliosV #analysis #graph #termination
Termination Analysis with Calling Context Graphs (PM, DV), pp. 401–414.
DATE-2006-KaneMS #pipes and filters #verification
Monolithic verification of deep pipelines with collapsed flushing (RK, PM, SKS), pp. 1234–1239.
FSE-2006-HalfondOM #evaluation #injection #sql #using
Using positive tainting and syntax-aware evaluation to counter SQL injection attacks (WGJH, AO, PM), pp. 175–185.
ICSE-2006-ManoliosV #proving #static analysis #termination #theorem proving
Integrating static analysis and general-purpose theorem proving for termination analysis (PM, DV), pp. 873–876.
SAT-2006-ManoliosZ #implementation #overview
Implementing Survey Propagation on Graphics Processing Units (PM, YZ), pp. 311–324.
SFM-2006-Manolios #proving #refinement #theorem proving
Refinement and Theorem Proving (PM), pp. 176–210.
DATE-2005-ManoliosS #modelling #performance #refinement #verification
Refinement Maps for Efficient Verification of Processor Models (PM, SKS), pp. 1304–1309.
DATE-v1-2004-ManoliosS #automation #liveness #modelling #safety #using #verification #web
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements (PM, SKS), pp. 168–175.
CADE-2003-ManoliosV #algorithm
Algorithms for Ordinal Arithmetic (PM, DV), pp. 243–257.
LICS-2001-ManoliosT #branch #liveness #safety
Safety and Liveness in Branching Time (PM, RJT), pp. 366–374.
CAV-1999-ManoliosNS #bisimulation #model checking #proving #theorem proving
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation (PM, KSN, RS), pp. 369–379.
CAV-2019-JainM #composition #reasoning
Local and Compositional Reasoning for Optimized Reactive Systems (MJ, PM), pp. 553–571.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.