Karl Meinke

Orcid: 0000-0002-9706-5008

According to our database1, Karl Meinke authored at least 50 papers between 1988 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Driving Intention Recognition and Speed Prediction at Complex Urban Intersections Considering Traffic Environment.
IEEE Trans. Intell. Transp. Syst., May, 2024

2023
Edge-Based Graph Neural Networks for Cell-Graph Modeling and Prediction.
Proceedings of the Information Processing in Medical Imaging, 2023

2022
A graph neural network framework for mapping histological topology in oral mucosal tissue.
BMC Bioinform., 2022

2021
Code Coverage and Test Automation: State of the Art.
CoRR, 2021

Use Case Testing: A Constrained Active Machine Learning Approach.
Proceedings of the Tests and Proofs - 15th International Conference, 2021

Active Machine Learning to Test Autonomous Driving.
Proceedings of the 14th IEEE International Conference on Software Testing, 2021

2020
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.
Proceedings of the Tests and Proofs - 14th International Conference, 2020

funcGNN: A Graph Neural Network Approach to Program Similarity.
Proceedings of the ESEM '20: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2020

2019
Leveraging mutants for automatic prediction of metamorphic relations using machine learning.
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, 2019

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.
Int. J. Softw. Tools Technol. Transf., 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.
Int. J. Appl. Math. Comput. Sci., 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 Informatica, 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 Informatica, 1994

1993
ATLAS: a typed language for algebraic specification
Forschungsberichte, TU Munich, 1993

Specification and Verification in Higher-Order Algebra: A Case Study of Convolution.
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

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


  Loading...