Karl Meinke

According to our database1, Karl Meinke
  • authored at least 37 papers between 1988 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Learning-Based Testing for Safety Critical Automotive Applications.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172).
Dagstuhl Reports, 2016

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Testing abstract behavioral specifications.
STTT, 2015

Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection.
Proceedings of the Software Engineering and Formal Methods, 2015

2013
Case Studies in Learning-Based Testing.
Proceedings of the Testing Software and Systems, 2013

LBTest: A Learning-Based Testing Tool for Reactive Systems.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
IDS: An Incremental Learning Algorithm for Finite Automata
CoRR, 2012

An n log n Alogrithm for Deterministic Kripke Structure Minimization
CoRR, 2012

Model-Based Testing and Model Inference.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

An Incremental Learning Algorithm for Extended Mealy Automata.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011
Incremental Learning-Based Testing for Reactive Systems.
Proceedings of the Tests and Proofs - 5th International Conference, 2011

Learning-Based Testing for Reactive Systems Using Term Rewriting Technology.
Proceedings of the Testing Software and Systems, 2011

Learning-Based Software Testing: A Tutorial.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

Outlier-Tolerant Fitting and Online Diagnosis of Outliers in Dynamic Process Sampling Data Series.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010
A Learning-Based Approach to Unit Testing of Numerical Software.
Proceedings of the Testing Software and Systems, 2010

CGE: A Sequential Learning Algorithm for Mealy Automata.
Proceedings of the Grammatical Inference: Theoretical Results and Applications, 2010

2007
Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients.
Applied Mathematics and Computer Science, 2007

2006
A Stochastic Theory of Black-Box Software Testing.
Proceedings of the Algebra, Meaning, and Computation, 2006

2004
Automated black-box testing of functional correctness using function approximation.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003
Proof theory of higher-order equations: conservativity, normal forms and term rewriting.
J. Comput. Syst. Sci., 2003

2001
Correctness of dataflow and systolic algorithms using algebras of streams.
Acta Inf., 2001

2000
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver.
Proceedings of the SAM 2000, 2000

1997
A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications.
J. Comput. Syst. Sci., 1997

1996
Topological Methods for Algebraic Specification.
Theor. Comput. Sci., 1996

On the Power of Higher-Order Algebraic Specification Methods.
Inf. Comput., 1996

1995
Higher-Order Equational Logic for Specification, Simulation and Testing.
Proceedings of the Higher-Order Algebra, 1995

1994
A Recursive Second Order Initial Algebra Specification of Primitive Recursion.
Acta Inf., 1994

Topological Methods for Algebraic Specification.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution.
Proceedings of the Higher-Order Algebra, 1993

ATLAS: A Typed Language for Algebraic Specification.
Proceedings of the Higher-Order Algebra, 1993

1992
Universal Algebra in Higher Types.
Theor. Comput. Sci., 1992

Algebraic Semantics of Rewriting Terms and Types.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991
Equational Specification of Abstract Types and Combinators.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990
Universal Algebra in Higher Types.
Proceedings of the Recent Trends in Data Type Specification, 1990

1988
The Scope and Limits of Synchronous Concurrent Computation.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988


  Loading...