Karl Meinke - RankMe

62 papers A 4B 2C 3Journal 18Unranked 29

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