# Karl Meinke

According to our database

Collaborative distances:

^{1}, Karl Meinke authored at least 39 papers between 1988 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2018

Learning-based testing for autonomous systems using spatial and temporal requirements.

Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018

Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Virtualized-Fault Injection Testing: A Machine Learning Approach.

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Machine learning for software engineering: models, methods, and applications.

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Learning-Based Testing: Recent Progress and Future Prospects.

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

Machine Learning for Software Analysis: Models, Methods, and Applications.

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

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

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

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

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