Karl Meinke

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Driving Intention Recognition and Speed Prediction at Complex Urban Intersections Considering Traffic Environment.

Tian Yuan, Xuan Zhao, Rui Liu, Qiang Yu, Xichan Zhu, Shu Wang, Karl Meinke

IEEE Trans. Intell. Transp. Syst., May, 2024

2023

Edge-Based Graph Neural Networks for Cell-Graph Modeling and Prediction.

Tai Hasegawa, Helena Arvidsson, Nikolce Tudzarovski, Karl Meinke, Rachael V. Sugars, Aravind Ashok Nair

Proceedings of the Information Processing in Medical Imaging, 2023

2022

A graph neural network framework for mapping histological topology in oral mucosal tissue.

Aravind Ashok Nair, Helena Arvidsson, Jorge E. Gatica V., Nikolce Tudzarovski, Karl Meinke, Rachael V. Sugars

BMC Bioinform., 2022

2021

Code Coverage and Test Automation: State of the Art.

Karl Meinke

CoRR, 2021

Use Case Testing: A Constrained Active Machine Learning Approach.

Karl Meinke, Hojat Khosrowjerdi

Proceedings of the Tests and Proofs - 15th International Conference, 2021

Active Machine Learning to Test Autonomous Driving.

Karl Meinke

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

2020

Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.

Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke

Proceedings of the Tests and Proofs - 14th International Conference, 2020

funcGNN: A Graph Neural Network Approach to Program Similarity.

Aravind Ashok Nair, Avijit Roy, Karl Meinke

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.

Aravind Ashok Nair, Karl Meinke, Sigrid Eldh

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.

Hojat Khosrowjerdi, Karl Meinke

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.

Carl Bergenhem, Karl Meinke, Fabian Ström

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

Virtualized-Fault Injection Testing: A Machine Learning Approach.

Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson

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

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

Karl Meinke, Amel Bennaceur

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

Learning-Based Testing: Recent Progress and Future Prospects.

Karl Meinke

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

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

Amel Bennaceur, Karl Meinke

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

2017

Learning-Based Testing for Safety Critical Automotive Applications.

Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study.

Karl Meinke

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016

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

Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke

Dagstuhl Reports, 2016

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016.

Falk Howar, Karl Meinke, Andreas Rausch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Testing abstract behavioral specifications.

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu

Int. J. Softw. Tools Technol. Transf., 2015

Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection.

Karl Meinke, Peter Nycander

Proceedings of the Software Engineering and Formal Methods, 2015

2013

Case Studies in Learning-Based Testing.

Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong

Proceedings of the Testing Software and Systems, 2013

LBTest: A Learning-Based Testing Tool for Reactive Systems.

Karl Meinke, Muddassar A. Sindhu

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

IDS: An Incremental Learning Algorithm for Finite Automata

Muddassar A. Sindhu, Karl Meinke

CoRR, 2012

An n log n Alogrithm for Deterministic Kripke Structure Minimization

Karl Meinke, Muddassar A. Sindhu

CoRR, 2012

Model-Based Testing and Model Inference.

Karl Meinke, Neil Walkinshaw

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

An Incremental Learning Algorithm for Extended Mealy Automata.

Karl Meinke, Fei Niu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

Incremental Learning-Based Testing for Reactive Systems.

Karl Meinke, Muddassar A. Sindhu

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Learning-Based Testing for Reactive Systems Using Term Rewriting Technology.

Karl Meinke, Fei Niu

Proceedings of the Testing Software and Systems, 2011

Learning-Based Software Testing: A Tutorial.

Karl Meinke, Fei Niu, Muddassar A. Sindhu

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.

Shaolin Hu, Xiaofeng Wang, Karl Meinke, Huajiang Ouyang

Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010

A Learning-Based Approach to Unit Testing of Numerical Software.

Karl Meinke, Fei Niu

Proceedings of the Testing Software and Systems, 2010

CGE: A Sequential Learning Algorithm for Mealy Automata.

Karl Meinke

Proceedings of the Grammatical Inference: Theoretical Results and Applications, 2010

2007

Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients.

Shaolin Hu, Karl Meinke, Rushan Chen, Ouyang Huajiang

Int. J. Appl. Math. Comput. Sci., 2007

2006

A Stochastic Theory of Black-Box Software Testing.

Karl Meinke

Proceedings of the Algebra, Meaning, and Computation, 2006

2004

Automated black-box testing of functional correctness using function approximation.

Karl Meinke

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.

Karl Meinke

J. Comput. Syst. Sci., 2003

2001

Correctness of dataflow and systolic algorithms using algebras of streams.

Karl Meinke, L. J. Steggles

Acta Informatica, 2001

2000

Validation and Test Case Generations for MSCs Using A Propositional SAT Solver.

Karl Meinke

Proceedings of the SAM 2000, 2000

1997

A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications.

Karl Meinke

J. Comput. Syst. Sci., 1997

1996

Topological Methods for Algebraic Specification.

Karl Meinke

Theor. Comput. Sci., 1996

On the Power of Higher-Order Algebraic Specification Methods.

Piotr Kosiuczenko, Karl Meinke

Inf. Comput., 1996

1995

Higher-Order Equational Logic for Specification, Simulation and Testing.

Karl Meinke

Proceedings of the Higher-Order Algebra, 1995

1994

A Recursive Second Order Initial Algebra Specification of Primitive Recursion.

Karl Meinke

Acta Informatica, 1994

1993

ATLAS: a typed language for algebraic specification

B. M. Hearn, Karl Meinke

Forschungsberichte, TU Munich, 1993

Specification and Verification in Higher-Order Algebra: A Case Study of Convolution.

Karl Meinke, L. J. Steggles

Proceedings of the Higher-Order Algebra, 1993

1992

Universal Algebra in Higher Types.

Karl Meinke

Theor. Comput. Sci., 1992

Algebraic Semantics of Rewriting Terms and Types.

Karl Meinke

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

Equational Specification of Abstract Types and Combinators.

Karl Meinke

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1988

The Scope and Limits of Synchronous Concurrent Computation.

Karl Meinke, John V. Tucker

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988