Karl Meinke

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 20

Top Topics

Safety Analysis

Fault Injection

Machine Learning

Top Venues

Machine Learning for Dynamic Software Analysis

Publications

Tian Yuan, Xuan Zhao, Rui Liu, Qiang Yu, Xichan Zhu, Shu Wang, Karl Meinke
Driving Intention Recognition and Speed Prediction at Complex Urban Intersections Considering Traffic Environment. IEEE Trans. Intell. Transp. Syst. 25 (5) (2024)
Tai Hasegawa, Helena Arvidsson, Nikolce Tudzarovski, Karl Meinke, Rachael V. Sugars, Aravind Ashok Nair
Edge-Based Graph Neural Networks for Cell-Graph Modeling and Prediction. IPMI (2023)
Aravind Nair, Helena Arvidsson, Jorge E. Gatica V., Nikolce Tudzarovski, Karl Meinke, Rachael V. Sugars
A graph neural network framework for mapping histological topology in oral mucosal tissue. BMC Bioinform. 23 (1) (2022)
Karl Meinke
Code Coverage and Test Automation: State of the Art. CoRR (2021)
Karl Meinke
Active Machine Learning to Test Autonomous Driving. ICST Workshops (2021)
Karl Meinke, Hojat Khosrowjerdi
Use Case Testing: A Constrained Active Machine Learning Approach. TAP@STAF (2021)
Aravind Nair, Avijit Roy, Karl Meinke
funcGNN: A Graph Neural Network Approach to Program Similarity. ESEM (2020)
Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. TAP@STAF (2020)
Aravind Nair, Avijit Roy, Karl Meinke
funcGNN: A Graph Neural Network Approach to Program Similarity. CoRR (2020)
Aravind Nair, Karl Meinke, Sigrid Eldh
Leveraging mutants for automatic prediction of metamorphic relations using machine learning. MaLTeSQuE@ESEC/SIGSOFT FSE (2019)
Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson
Virtualized-Fault Injection Testing: A Machine Learning Approach. ICST (2018)
Karl Meinke
Learning-Based Testing: Recent Progress and Future Prospects. Machine Learning for Dynamic Software Analysis (2018)
Amel Bennaceur, Karl Meinke
Machine Learning for Software Analysis: Models, Methods, and Applications. Machine Learning for Dynamic Software Analysis (2018)
Hojat Khosrowjerdi, Karl Meinke
Learning-based testing for autonomous systems using spatial and temporal requirements. MASES@ASE (2018)
Carl Bergenhem, Karl Meinke, Fabian Ström
Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons. ISoLA (3) (2018)
Karl Meinke, Amel Bennaceur
Machine learning for software engineering: models, methods, and applications. ICSE (Companion Volume) (2018)
Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson
Learning-Based Testing for Safety Critical Automotive Applications. IMBSA (2017)
Karl Meinke
Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study. EPEW (2017)
Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). Dagstuhl Reports 6 (4) (2016)
Falk Howar, Karl Meinke, Andreas Rausch
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016. ISoLA (2) (2016)
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
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Karl Meinke, Peter Nycander
Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection. SEFM Workshops (2015)
Karl Meinke, Muddassar A. Sindhu
LBTest: A Learning-Based Testing Tool for Reactive Systems. ICST (2013)
Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong
Case Studies in Learning-Based Testing. ICTSS (2013)
Karl Meinke, Fei Niu
An Incremental Learning Algorithm for Extended Mealy Automata. ISoLA (1) (2012)
Muddassar A. Sindhu, Karl Meinke
IDS: An Incremental Learning Algorithm for Finite Automata CoRR (2012)
Karl Meinke, Neil Walkinshaw
Model-Based Testing and Model Inference. ISoLA (1) (2012)
Karl Meinke, Muddassar A. Sindhu
An n log n Alogrithm for Deterministic Kripke Structure Minimization CoRR (2012)
Shaolin Hu, Xiaofeng Wang, Karl Meinke, Huajiang Ouyang
Outlier-Tolerant Fitting and Online Diagnosis of Outliers in Dynamic Process Sampling Data Series. AICI (3) (2011)
Karl Meinke, Fei Niu
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology. ICTSS (2011)
Karl Meinke, Muddassar A. Sindhu
Incremental Learning-Based Testing for Reactive Systems. TAP@TOOLS (2011)
Karl Meinke, Fei Niu, Muddassar A. Sindhu
Learning-Based Software Testing: A Tutorial. ISoLA Workshops (2011)
Karl Meinke
CGE: A Sequential Learning Algorithm for Mealy Automata. ICGI (2010)
Karl Meinke, Fei Niu
A Learning-Based Approach to Unit Testing of Numerical Software. ICTSS (2010)
Shaolin Hu, Karl Meinke, Rushan Chen, Ouyang Huajiang
Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients. Int. J. Appl. Math. Comput. Sci. 17 (2) (2007)
Karl Meinke
A Stochastic Theory of Black-Box Software Testing. Essays Dedicated to Joseph A. Goguen (2006)
Karl Meinke
Automated black-box testing of functional correctness using function approximation. ISSTA (2004)
Karl Meinke
Proof theory of higher-order equations: conservativity, normal forms and term rewriting. J. Comput. Syst. Sci. 67 (1) (2003)
Karl Meinke, L. J. Steggles
Correctness of dataflow and systolic algorithms using algebras of streams. Acta Informatica 38 (1) (2001)
Karl Meinke
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. SAM (2000)
Karl Meinke
A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications. J. Comput. Syst. Sci. 54 (3) (1997)
Karl Meinke
Topological Methods for Algebraic Specification. Theor. Comput. Sci. 166 (1&2) (1996)
Piotr Kosiuczenko, Karl Meinke
On the Power of Higher-Order Algebraic Specification Methods. Inf. Comput. 124 (1) (1996)
Karl Meinke
Higher-Order Equational Logic for Specification, Simulation and Testing. HOA (1995)
Karl Meinke
A Recursive Second Order Initial Algebra Specification of Primitive Recursion. Acta Informatica 31 (4) (1994)
Karl Meinke
Topological Methods for Algebraic Specification. COMPASS/ADT (1994)
B. M. Hearn, Karl Meinke
ATLAS: a typed language for algebraic specification Forschungsberichte, TU Munich (1993)
Karl Meinke, L. J. Steggles
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. HOA (1993)
Karl Meinke
Topological methods for algebraic specification Forschungsberichte, TU Munich (1993)
B. M. Hearn, Karl Meinke
ATLAS: A Typed Language for Algebraic Specification. HOA (1993)
Karl Meinke
Algebraic Semantics of Rewriting Terms and Types. CTRS (1992)
Karl Meinke
Universal Algebra in Higher Types. Theor. Comput. Sci. 100 (2) (1992)
Karl Meinke
Equational Specification of Abstract Types and Combinators. CSL (1991)
Karl Meinke
Universal Algebra in Higher Types. ADT (1990)
Karl Meinke, John V. Tucker
The Scope and Limits of Synchronous Concurrent Computation. Concurrency (1988)