John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rule-based

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with ArraysTorben Amtoft, John Hatcliff, Edwin RodrÃguez. ESOP 2010: 43-63 [doi]

SLM-based PAPR reduction method using partial data circulation and side information insertion in OFDM systemsJyh-Horng Wen, Shu-Hong Lee, Chu-Hsuan Cheng. ijcomsys, 22(1):87-100, 2009. [doi]

Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial WorkflowsJohn Hatcliff. icfem 2008: 3-4 [doi]

EventScript: an event-processing language based on regular expressions with actionsNorman H. Cohen, Karl Trygve Kalleberg. lctrts 2008: 111-120 [doi]

Wavelet-Based Speech Enhancement Using Time-Adapted Noise EstimationSheau-Fang Lei, Ying-Kai Tung. ieicet, 91-A(9):2555-2563, 2008. [doi]

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007Arnd Poetzsch-Heffter, editor, ACM, 2007.

20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, SloveniaIEEE Computer Society, 2007.

GA-Based Iris/Sclera Boundary Detection for Biometric Iris IdentificationTatiana Tambouratzis, Michael Masouris. icannga 2007: 457-466 [doi]

Document Retrieval by Projection Based Frequency DistributionIsamu Shioya, Hirohito Oh uchi, Takao Miura. ijait, 16(4):647-659, 2007. [doi]

Numerical Time-Series Pattern Extraction Based on Irregular Piecewise Aggregate Approximation and Gradient SpecificationMiho Ohsaki, Hidenao Abe, Takahira Yamaguchi. ngc, 25(3):213-222, 2007. [doi]

CALM and Cadena: Metamodeling for Component-Based Product-Line DevelopmentAdam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff. Computer, 39(2):42-50, 2006. [doi]

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic ExecutionXianghua Deng, Robby, John Hatcliff. ISoLA 2006: 137 [doi]

SOM-based estimation of climatic profilesTatiana Tambouratzis. ijis, 21(5):503-522, 2006. [doi]

A Parallel Solution to the HIP Game Based on Genetic AlgorithmsTatiana Tambouratzis. seal 2006: 672-679 [doi]

Advanced Video and Signal Based Surveillance, 2006 IEEE International Conference on Video and Signal Based Surveillance (AVSS 06), 22-24 November 2006, Sydney, AustraliaIEEE Computer Society, 2006.

Flexible Organic Field-Effect Transistors Based on the Composites with the Same Thiophene Backbone by Wet ProcessHirotake Kajii, Hiroshi Okuya, Shohei Fukuda, Akinori Sakakibara, Yutaka Ohmori. ieicet, 89-C(12):1779-1780, 2006. [doi]

18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 23-24 June 2005, Dublin, IrelandIEEE Computer Society, 2005.

12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USAIEEE Computer Society, 2005.

A polar-plane-based method for natural illumination of plants and treesMaria J. Vicent, Vicente Rosell, Roberto Vivó. cg, 29(2):203-208, 2005. [doi]

The T-detectors maturation algorithm based on match range modelDongyong Yang, Jungan Chen. SAC 2005: 43-44 [doi]

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based SystemsAdam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh. FASE 2004: 160-164 [doi]

17th IEEE Symposium on Computer-Based Medical Systems (CBMS 2004), 24-25 June 2004, Bethesda, MD, USAIEEE Computer Society, 2004.

Fast correspondence-based system for shape retrieval, Boaz J. Super. prl, 25(2):217-225, 2004. [doi]

Cadena: enabling CCM-based application development in EclipseVenkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh. OOPSLA 2003: 20-24 [doi]

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based SystemsJohn Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath. ICSE 2003: 160-173 [doi]

Package-Based Software DevelopmentMerijn de Jonge. euromicro 2003: 76-85 [doi]

2003 IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS 2003), 21-22 July 2003, Miami, FL, USAIEEE Computer Society, 2003.

Invariant-based specification, synthesis, and verification of synchronization in concurrent programsXianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno. ICSE 2002: 442-452 [doi]

Model-Checking Middleware-Based Event-Driven Real-Time Embedded SoftwareXianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh. FMCO 2003: 154-181 [doi]

COTS-Based Software Systems, First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, ProceedingsJohn C. Dean, Andrée Gravel, editors, Volume 2255 of Lecture Notes in Computer Science, Springer, 2002.

Towards sketch-based exploration of terrainP.-L. Lesage, Mahes Visvalingam. cg, 26(2):309-328, 2002. [doi]

Fast and Accurate Phylogeny Reconstruction Algorithms Based on the Minimum-Evolution PrincipleRichard Desper, Olivier Gascuel. jcb, 9(5):687-706, 2002.

Pulling it all Together with WIT: A Tool for Integrating Web-based InformationW. David Reese, Dennis Heimbigner, Alexander L. Wolf. wiiw 2001: 58-65

Multiscale color invariants based on the human visual systemJuliana F. Camapum Wanderley, Mark H. Fisher. TIP, 10(11):1630-1638, 2001. [doi]

Ask Smartypants: A Web-based tool to help busy educators keep up with research about new and emerging technologiesTammy McGraw, Krista Burdette, Chris Corallo. webnet 2001: 133-134

Conceptual Interactive Learning Tools Based on Computer SimulatorsDamjan Zazula, Bogdan Viher, Dean Korosec, Enis Avdicausevic, Mitja Lenic, Bozidar Potocnik. informaticaSI, 23(3), 1999.

Shape-based word recognitionA. Lawrence Spitz. ijdar, 1(4):178-190, 1999. [doi]

An Efficient Implementation of Distance-Based Diversity Measures Based on k-d TreesDimitris K. Agrafiotis, Victor S. Lobanov. jcisd, 39(1):51-58, 1999. [doi]

Staging Static Analyses Using Abstraction-Based Program SpecializationJohn Hatcliff, Matthew B. Dwyer, Shawn Laubach. plilp 1998: 134-151 [doi]

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental StudyFrançois Noël, Luke Hornof, Charles Consel, Julia L. Lawall. iccl 1998: 132-142 [doi]

Index-Based HyperlinksJohn H. Hartman, Todd A. Proebsting, Rajesh Sundaram. cn, 29(8-13):1129-1135, 1997. [doi]

Method for Evaluation of Stemming Algorithms Based on Error CountingChris D. Paice. jasis, 47(8):632-649, 1996.

An OCR based on character shape codes and lexical informationA. Lawrence Spitz. icdar 1995: 723-728 [doi]

A Trace Based Performance Evaluation Tool for Parallel Real Time SystemsRolf Borgeest, Bernward Dimke, Olav Hansen. pc, 21(4):551-564, 1995.

D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc ProjectRobert Neches. ai, 61(1):65-79, 1993.

Mixin-based InheritanceGilad Bracha, William R. Cook. OOPSLA 1990: 303-311

Knowledge-Based Tools to Promote Shared Goals and Terminology Between Interface DesignersRobert Neches. tois, 6(3):215-231, 1988. [doi]

A robust method for picture segmentation based on a split-and-merge procedureFusak Cheevasuvit, Henri Maître, Daniel Vidal-Madjar. cvgip, 34(3):268-281, 1986. [doi]

Representing Quantitative and Qualitative Knowledge in a Knowledge-Based Storm-Forecasting SystemRenee Elio, Johannes de Haan. ijmms, 25(5):523-547, 1986.

Consistent-Labeling Problems and Their Algorithms: Expected-Complexities and Theory-Based HeuristicsBernard Nudel. ai, 21(1-2):135-178, 1983.

runs on WebDSL