Skip to main content
Till KTH:s startsida Till KTH:s startsida

Publications by Karl Meinke

Peer reviewed

Articles

[2]
P. Y. H. Wong et al., "Testing abstract behavioral specifications," International Journal on Software Tools for Technology Transfer, vol. 17, no. 1, pp. 107-119, 2014.
[3]
S. Hu et al., "Dynamic-measurement system modeling of spinning spacecraft attitude and their applications," Chinese Space Science and Technology, vol. 27, no. 4, pp. 1-6+20, 2007.
[4]
S. Hu et al., "Iterative estimators of parameters in linear models with partially variant coefficients," International Journal of Applied Mathematics and Computer Sciences, vol. 17, no. 2, pp. 179-187, 2007.
[5]
S. Hu, K. Meinke and R. -. Chen, "Fault-tolerant algorithm of signal reconstruction in computer controlled systems," Xitong Fangzhen Xuebao / Journal of System Simulation, vol. 18, no. SUPPL. 2, pp. 841-843, 2006.
[6]
K. Meinke, "Proof theory of higher-order equations : conservativity, normal forms and term rewriting," Journal of computer and system sciences (Print), vol. 67, no. 1, pp. 127-173, 2003.
[7]
K. Meinke and L. J. Steggles, "Correctness of dataflow and systolic algorithms using algebras of streams," Acta Informatica, vol. 38, no. 1, pp. 45-88, 2001.

Conference papers

[8]
T. Hasegawa et al., "Edge-Based Graph Neural Networks for Cell-Graph Modeling and Prediction," in Information Processing in Medical Imaging - 28th International Conference, IPMI 2023, Proceedings, 2023, pp. 265-277.
[9]
K. Meinke, "Active Machine Learning to Test Autonomous Driving," in 2021 IEEE International Conference On Software Testing, Verification And Validation Workshops (Icstw 2021), 2021, pp. 286-286.
[10]
K. Meinke and H. Khosrowjerdi, "Use Case Testing : A Constrained Active Machine Learning Approach," in Lecture Notes in Computer Science, 2021, pp. 3-21.
[11]
A. Nair, A. Roy and K. Meinke, "FuncGNN : A graph neural network approach to program similarity," in International Symposium on Empirical Software Engineering and Measurement, 2020.
[12]
H. Khosrowjerdi, H. Nemati and K. Meinke, "Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries," in Tests and Proofs, 2020, pp. 59-79.
[13]
A. Nair, K. Meinke and S. Eldh, "Leveraging mutants for automatic prediction of metamorphic relations using machine learning," in MaLTeSQuE 2019 - Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, co-located with ESEC/FSE 2019, 2019, pp. 1-6.
[14]
H. Khosrowjerdi and K. Meinke, "Learning-Based testing for autonomous systems using spatial and temporal requirements," in MASES 2018 - Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, co-located with ASE 2018, 2018, pp. 6-15.
[15]
K. Meinke, "Learning-based testing : Recent progress and future prospects," in International Dagstuhl Seminar 16172 Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2016, 2018, pp. 53-73.
[16]
A. Bennaceur and K. Meinke, "Machine learning for software analysis : Models, methods, and applications," in International Dagstuhl Seminar 16172 Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2016, 2018, pp. 3-49.
[17]
K. Meinke and A. Bennaceur, "Machine learning for software engineering : Models, methods, and applications," in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018, pp. 548-549.
[18]
C. Bergenhem, K. Meinke and F. Ström, "Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons," in Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, 2018, pp. 386-404.
[19]
H. Khosrowjerdi, K. Meinke and A. Rasmusson, "Virtualized-Fault Injection Testing : a Machine Learning Approach," in 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2018, pp. 297-308.
[20]
K. Meinke, "Learning-Based testing of cyber-physical systems-of-systems : A platooning study," in 14th European Workshop on Computer Performance Engineering, EPEW 2017, 2017, pp. 135-151.
[21]
H. Khosrowjerdi, K. Meinke and A. Rasmusson, "Learning-based testing for safety critical automotive applications," in 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, 2017, pp. 197-211.
[22]
F. Howar, K. Meinke and A. Rausch, "Learning Systems : Machine-Learning in Software Products and Learning-Based Analysis of Software Systems Special Track at ISoLA 2016," in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION : DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, pp. 651-654.
[23]
H. Shaolin, K. Meinke and W. Xinfeng, "Simulation-Based Boundary Testing of Software with Its Applications," in Proceedings of the 2016 6th International Conference on Advanced Design and Manufacturing Engineering (ICADME 2016), 2016, pp. 741-744.
[24]
D. Chen et al., "A Knowledge-in-the-Loop Approach to Integrated Safety&Security for Cooperative System-of-Systems," in IEEE Seventh International Conference on Intelligent Computing and Information Systems, 2015.
[25]
K. Meinke and P. Nycander, "Learning-Based Testing of Distributed Microservice Architectures : Correctness and Fault Injection," in SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, pp. 3-10.
[26]
L. Feng et al., "Case studies in learning-based testing," in Testing Software and Systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, 2013, pp. 164-179.
[27]
K. Meinke and M. Sindhu, "LBTest : A Learning-based Testing Tool for Reactive Systems," in Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013, 2013, pp. 447-454.
[28]
K. Meinke and F. Niu, "An incremental learning algorithm for extended mealy automata," in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012, pp. 488-504.
[29]
K. Meinke, F. Niu and M. Sindhu, "Learning-based software testing : A tutorial," in Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers, 2012, pp. 200-219.
[30]
K. Meinke and N. Walkinshaw, "Model-based testing and model inference," in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012, pp. 440-443.
[31]
S. Hu and K. Meinke, "Dynamic-measurement modeling of attitude motion for N-bodies spacecraft with applications," in Proceedings of the 30th Chinese Control Conference, 2011, pp. 1453-1458.
[32]
K. Meinke and M. Sindhu, "Incremental Learning based Testing for Reactive Systems," in 5th International Conference on Tests and Proofs (TAP), 2011, pp. 134-151.
[33]
K. Meinke and F. Niu, "Learning-Based Testing for Reactive Systems using Term Rewriting Technology," in Proceedings of the 22nd IFIP International Conference on Testing Software and Systems, Paris, France, November 7-9, 2011, 2011, pp. 97-114.
[34]
S. Hu et al., "Outlier-Tolerant Fitting and Online Diagnosis of Outliers in Dynamic Process Sampling Data Series," in ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT III, 2011, pp. 195-203.
[35]
K. Meinke and F. Niu, "A Learning-based Approach to Unit Testing of Numerical Software," in 22nd IFIPInternational Conference on Testing Software and Systems, Natal, Brazil, Nov. 8-12, 2010, 2010, pp. 221-235.
[36]
K. Meinke, "CGE : A sequential learning algorithm for mealy automata," in Grammatical Inference : Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings, 2010, pp. 148-162.
[37]
L. Kovács and K. Meinke, "Preface," in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, p. 1.
[38]
S. Hu, K. Meinke and R. Chen, "Fault-tolerant design of computer cyclic check and control system," in Proceedings of the 26th Chinese Control Conference, CCC 2007, 2007, pp. 426-430.
[39]
K. Meinke, "automated black-box testing of functional correctness using function approximation," in ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, 2004, pp. 143-153.

Non-peer reviewed

Conference papers

[40]
A. Bennaceur, R. Hähnle and K. Meinke, "Preface," in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, pp. V-VI.
[41]
K. Meinke and M. Sindhu, "Correctness and Performance of an Incremental Learning Algorithm for Finite Automata," in Third Asian Conference on Machine Learning, 2011.

Theses

[42]
M. Sindhu, "Incremental Learning and Testing of Reactive Systems," Licentiate thesis Stockholm : KTH Royal Institute of Technology, Trita-CSC-A, 2011:14, 2011.

Reports

[45]
K. Meinke and M. Sindhu, "Correctness and Performance of an Incremental Learning Algorithm for Finite Automata," Stockholm : KTH Royal Institute of Technology, 2010.
Latest sync with DiVA:
2024-06-16 00:10:11