Karl Meinke

Karl Meinke, Neil Walkinshaw: Model-Based Testing and Model Inference. ISoLA (1) 2012: 440-443

Karl Meinke, Fei Niu: An Incremental Learning Algorithm for Extended Mealy Automata. ISoLA (1) 2012: 488-504

Karl Meinke, Muddassar A. Sindhu: An n log n Alogrithm for Deterministic Kripke Structure Minimization. CoRR abs/1205.5928 (2012)

Muddassar A. Sindhu, Karl Meinke: IDS: An Incremental Learning Algorithm for Finite Automata. CoRR abs/1206.2691 (2012)

Shaolin Hu, Xiaofeng Wang, Karl Meinke, Huajiang Ouyang: Outlier-Tolerant Fitting and Online Diagnosis of Outliers in Dynamic Process Sampling Data Series. AICI (3) 2011: 195-203

Karl Meinke, Fei Niu: Learning-Based Testing for Reactive Systems Using Term Rewriting Technology. ICTSS 2011: 97-114

Karl Meinke, Muddassar A. Sindhu: Incremental Learning-Based Testing for Reactive Systems. TAP 2011: 134-151

Karl Meinke: CGE: A Sequential Learning Algorithm for Mealy Automata. ICGI 2010: 148-162

Karl Meinke, Fei Niu: A Learning-Based Approach to Unit Testing of Numerical Software. ICTSS 2010: 221-235

Shaolin Hu, Karl Meinke, Rushan Chen, Ouyang Huajiang: Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients. Applied Mathematics and Computer Science 17(2): 179-187 (2007)

Karl Meinke: A Stochastic Theory of Black-Box Software Testing. Essays Dedicated to Joseph A. Goguen 2006: 578-595

Karl Meinke: Automated black-box testing of functional correctness using function approximation. ISSTA 2004: 143-153

Karl Meinke: Proof theory of higher-order equations: conservativity, normal forms and term rewriting. J. Comput. Syst. Sci. 67(1): 127-173 (2003)

Karl Meinke, L. J. Steggles: Correctness of dataflow and systolic algorithms using algebras of streams. Acta Inf. 38(1): 45-88 (2001)

Karl Meinke: Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. SAM 2000: 203-

Catuscia Palamidessi, Hugh Glaser, Karl Meinke (Eds.): Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings. Lecture Notes in Computer Science 1490, Springer 1998, isbn 3-540-65012-1

Karl Meinke: A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications. J. Comput. Syst. Sci. 54(3): 502-519 (1997)

Michael Hanus, Jan Heering, Karl Meinke (Eds.): Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1298, Springer 1997, isbn 3-540-63459-2

Piotr Kosiuczenko, Karl Meinke: On the Power of Higher-Order Algebraic Specification Methods. Inf. Comput. 124(1): 85-101 (1996)

Karl Meinke: Topological Methods for Algebraic Specification. Theor. Comput. Sci. 166(1&2): 263-290 (1996)

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (Eds.): Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Lecture Notes in Computer Science 1074, Springer 1996, isbn 3-540-61254-8

Karl Meinke: Higher-Order Equational Logic for Specification, Simulation and Testing. HOA 1995: 124-143

Karl Meinke: A Recursive Second Order Initial Algebra Specification of Primitive Recursion. Acta Inf. 31(4): 329-340 (1994)

Karl Meinke: Topological Methods for Algebraic Specification. COMPASS/ADT 1994: 368-388

Egon Börger, Yuri Gurevich, Karl Meinke (Eds.): Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Lecture Notes in Computer Science 832, Springer 1994, isbn 3-540-58277-0

Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (Eds.): Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers. Lecture Notes in Computer Science 816, Springer 1994, isbn 3-540-58233-9

B. M. Hearn, Karl Meinke: ATLAS: A Typed Language for Algebraic Specification. HOA 1993: 146-168

Karl Meinke, L. J. Steggles: Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. HOA 1993: 189-222

Karl Meinke: Universal Algebra in Higher Types. Theor. Comput. Sci. 100(2): 385-417 (1992)

Karl Meinke: Algebraic Semantics of Rewriting Terms and Types. CTRS 1992: 1-20

Karl Meinke: Equational Specification of Abstract Types and Combinators. CSL 1991: 257-271

Karl Meinke: Universal Algebra in Higher Types. ADT 1990: 185-203

Karl Meinke, J. V. Tucker: The Scope and Limits of Synchronous Concurrent Computation. Concurrency 1988: 163-180