Karl Meinke

Cited by

	All	Since 2016
Citations	1242	375
h-index	15	11
i10-index	30	15

120

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020214 12 16 22 21 48 47 37 30 24 15 34 32 39 21 20 46 70 19 25 22 73 43 48 35 39 31 65 119 78 81 1

Co-authors

Muddassar Azam SindhuAssistant Professor, Computer Science Department, Quaid i Azam University, IslamabadVerified email at qau.edu.pk
Amel BennaceurAcademic in Computing - Adaptive and Intelligent Systems, The Open UniversityVerified email at open.ac.uk
H Ouyang (full professor)University of LiverpoolVerified email at liverpool.ac.uk
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
Lei FengKTH Royal Institute of TechnologyVerified email at kth.se
carl bergenhemResearcher, QamcomVerified email at bergenhem.com
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Miguel Gómez-ZamalloaAssistant Professor of Computer Science, Complutense University of MadridVerified email at clip.dia.fi.upm.es
Neil WalkinshawDepartment of Computer Science, The University of SheffieldVerified email at sheffield.ac.uk
DeJiu ChenAssociate Professor, KTH Royal Institute of TechnologyVerified email at kth.se
Aravind Ashok NairKTH UniversityVerified email at kth.se
Egon BoergerProfessor of Computer Science, University of Pisa (Italy)Verified email at di.unipi.it
Hugh GlaserSeme4 Ltd.Verified email at seme4.com
Christoph BaumannSenior Researcher, Ericsson Research Security SwedenVerified email at ericsson.com
Falk HowarTU DortmundVerified email at tu-dortmund.de
Michael HanusProfessor of Computer Science, Institute of Informatics, CAU KielVerified email at informatik.uni-kiel.de
Andreas RauschFull Professor for Software Systems Engineering, Department of Informatics, TU ClausthalVerified email at tu-clausthal.de
Sigrid EldhAdj. Prof. (Carleton Uni.) PhD. Researcher at Ericsson AB,Verified email at ericsson.com

Karl Meinke

Professor of Computer Science KTH Royal Institute of Technology

Verified email at csc.kth.se - Homepage

software testing machine learning cyber-physical systems autonomous systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Universal algebra K Meinke, JV Tucker University of Wales (Swansea). Mathematics and Computer Science Division, 1991	258	1991
Universal algebra, Handbook of logic in computer science (vol. 1): background: mathematical structures K Meinke, JV Tucker Oxford University Press, Inc., New York, NY, 1993	105	1993
Universal algebra in higher types K Meinke Theoretical Computer Science 100 (2), 385-417, 1992	95	1992
Many-sorted Logic and its Applications K Meinke, JV Tucker John Wiley & Sons, Inc., 1993	90	1993
Universal algebra in higher types K Meinke Theoretical Computer Science 100 (2), 385-417, 1992	86	1992
Incremental learning-based testing for reactive systems K Meinke, MA Sindhu International Conference on Tests and Proofs, 134-151, 2011	75	2011
Automated black-box testing of functional correctness using function approximation K Meinke Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004	52	2004
LBTest: a learning-based testing tool for reactive systems K Meinke, MA Sindhu 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013	49	2013
A learning-based approach to unit testing of numerical software K Meinke, F Niu IFIP International Conference on Testing Software and Systems, 221-235, 2010	37	2010
Learning-based testing of distributed microservice architectures: Correctness and fault injection K Meinke, P Nycander SEFM 2015 Collocated Workshops, 3-10, 2015	28	2015
Case studies in learning-based testing L Feng, S Lundmark, K Meinke, F Niu, MA Sindhu, PYH Wong IFIP International Conference on Testing Software and Systems, 164-179, 2013	27	2013
Learning-based testing of cyber-physical systems-of-systems: A platooning study K Meinke European Workshop on Performance Engineering, 135-151, 2017	26	2017
Cge: A sequential learning algorithm for mealy automata K Meinke International Colloquium on Grammatical Inference, 148-162, 2010	25	2010
Learning-based software testing: a tutorial K Meinke, F Niu, M Sindhu International Symposium On Leveraging Applications of Formal Methods …, 2011	21	2011
Specification and verification in higher order algebra: a case study of convolution K Meinke, LJ Steggles International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993	20	1993
A recursive second order initial algebra specification of primitive recursion K Meinke Acta informatica 31 (4), 329-340, 1994	17	1994
Testing abstract behavioral specifications PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ... International Journal on Software Tools for Technology Transfer 17 (1), 107-119, 2015	15	2015
Universal algebra, in “Handbook of Logic in Computer Science,” K Meinke, JV Tucker ed. S Abramsky, D Gabbay, T Maibaum), Oxford University Press (to appear), 1992	15	1992
Topological methods for algebraic specification K Meinke Theoretical computer science 166 (1-2), 263-290, 1996	14	1996
Machine Learning for Dynamic Software Analysis A Bennaceur, R Hähnle, K Meinke Lecture Notes in Computer Science 11026, 2018	13*	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors