| 2021 | ICST | Active Machine Learning to Test Autonomous Driving. | Karl Meinke |
| 2021 | TAP | Use Case Testing: A Constrained Active Machine Learning Approach. | Karl Meinke, Hojat Khosrowjerdi |
| 2020 | ESEM | funcGNN: A Graph Neural Network Approach to Program Similarity. | Aravind Ashok Nair, Avijit Roy, Karl Meinke |
| 2020 | TAP | Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. | Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke |
| 2018 | ICSE | Machine learning for software engineering: models, methods, and applications. | Karl Meinke, Amel Bennaceur |
| 2018 | ICST | Virtualized-Fault Injection Testing: A Machine Learning Approach. | Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson |
| 2018 | ISoLA | Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons. | Carl Bergenhem, Karl Meinke, Fabian Strm |
| 2016 | ISoLA | 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 |
| 2015 | SEFM | Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection. | Karl Meinke, Peter Nycander |
| 2013 | ICST | LBTest: A Learning-Based Testing Tool for Reactive Systems. | Karl Meinke, Muddassar A. Sindhu |
| 2012 | ISoLA | An Incremental Learning Algorithm for Extended Mealy Automata. | Karl Meinke, Fei Niu |
| 2012 | ISoLA | Model-Based Testing and Model Inference. | Karl Meinke, Neil Walkinshaw |
| 2011 | ISoLA | Learning-Based Software Testing: A Tutorial. | Karl Meinke, Fei Niu, Muddassar A. Sindhu |
| 2011 | TAP | Incremental Learning-Based Testing for Reactive Systems. | Karl Meinke, Muddassar A. Sindhu |
| 2004 | ISSTA | Automated black-box testing of functional correctness using function approximation. | Karl Meinke |
| 1994 | COMPASS | Topological Methods for Algebraic Specification. | Karl Meinke |
| 1991 | CSL | Equational Specification of Abstract Types and Combinators. | Karl Meinke |
| 1988 | CONCUR | The Scope and Limits of Synchronous Concurrent Computation. | Karl Meinke, John V. Tucker |