default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKarl Meinke
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]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): 4470-4488 (2024)- 2023
- [c37]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: 265-277 - 2022
- [j10]Aravind Ashok 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): 506 (2022) - [e7]Laura Kovács, Karl Meinke:
Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings. Lecture Notes in Computer Science 13361, Springer 2022, ISBN 978-3-031-09826-0 [contents] - 2021
- [c36]Karl Meinke:
Active Machine Learning to Test Autonomous Driving. ICST Workshops 2021: 286 - [c35]Karl Meinke, Hojat Khosrowjerdi:
Use Case Testing: A Constrained Active Machine Learning Approach. TAP@STAF 2021: 3-21 - [i7]Karl Meinke:
Code Coverage and Test Automation: State of the Art. CoRR abs/2108.11723 (2021) - 2020
- [c34]Aravind Ashok Nair, Avijit Roy, Karl Meinke:
funcGNN: A Graph Neural Network Approach to Program Similarity. ESEM 2020: 10:1-10:11 - [c33]Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke:
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. TAP@STAF 2020: 59-79 - [i6]Aravind Ashok Nair, Avijit Roy, Karl Meinke:
funcGNN: A Graph Neural Network Approach to Program Similarity. CoRR abs/2007.13239 (2020)
2010 – 2019
- 2019
- [c32]Aravind Ashok Nair, Karl Meinke, Sigrid Eldh:
Leveraging mutants for automatic prediction of metamorphic relations using machine learning. MaLTeSQuE@ESEC/SIGSOFT FSE 2019: 1-6 - 2018
- [c31]Amel Bennaceur, Karl Meinke:
Machine Learning for Software Analysis: Models, Methods, and Applications. Machine Learning for Dynamic Software Analysis 2018: 3-49 - [c30]Karl Meinke:
Learning-Based Testing: Recent Progress and Future Prospects. Machine Learning for Dynamic Software Analysis 2018: 53-73 - [c29]Karl Meinke, Amel Bennaceur:
Machine learning for software engineering: models, methods, and applications. ICSE (Companion Volume) 2018: 548-549 - [c28]Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson:
Virtualized-Fault Injection Testing: A Machine Learning Approach. ICST 2018: 297-308 - [c27]Carl Bergenhem, Karl Meinke, Fabian Ström:
Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons. ISoLA (3) 2018: 386-404 - [c26]Hojat Khosrowjerdi, Karl Meinke:
Learning-based testing for autonomous systems using spatial and temporal requirements. MASES@ASE 2018: 6-15 - [e6]Amel Bennaceur, Reiner Hähnle, Karl Meinke:
Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Lecture Notes in Computer Science 11026, Springer 2018, ISBN 978-3-319-96561-1 [contents] - 2017
- [c25]Karl Meinke:
Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study. EPEW 2017: 135-151 - [c24]Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson:
Learning-Based Testing for Safety Critical Automotive Applications. IMBSA 2017: 197-211 - 2016
- [c23]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: 651-654 - [i5]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): 161-173 (2016) - 2015
- [j9]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): 107-119 (2015) - [c22]Karl Meinke, Peter Nycander:
Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection. SEFM Workshops 2015: 3-10 - 2013
- [c21]Karl Meinke, Muddassar A. Sindhu:
LBTest: A Learning-Based Testing Tool for Reactive Systems. ICST 2013: 447-454 - [c20]Lei Feng, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong:
Case Studies in Learning-Based Testing. ICTSS 2013: 164-179 - 2012
- [c19]Karl Meinke, Neil Walkinshaw:
Model-Based Testing and Model Inference. ISoLA (1) 2012: 440-443 - [c18]Karl Meinke, Fei Niu:
An Incremental Learning Algorithm for Extended Mealy Automata. ISoLA (1) 2012: 488-504 - [i4]Karl Meinke, Muddassar A. Sindhu:
An n log n Alogrithm for Deterministic Kripke Structure Minimization. CoRR abs/1205.5928 (2012) - [i3]Muddassar A. Sindhu, Karl Meinke:
IDS: An Incremental Learning Algorithm for Finite Automata. CoRR abs/1206.2691 (2012) - 2011
- [c17]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: 195-203 - [c16]Karl Meinke, Fei Niu, Muddassar A. Sindhu:
Learning-Based Software Testing: A Tutorial. ISoLA Workshops 2011: 200-219 - [c15]Karl Meinke, Fei Niu:
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology. ICTSS 2011: 97-114 - [c14]Karl Meinke, Muddassar A. Sindhu:
Incremental Learning-Based Testing for Reactive Systems. TAP@TOOLS 2011: 134-151 - 2010
- [c13]Karl Meinke:
CGE: A Sequential Learning Algorithm for Mealy Automata. ICGI 2010: 148-162 - [c12]Karl Meinke, Fei Niu:
A Learning-Based Approach to Unit Testing of Numerical Software. ICTSS 2010: 221-235
2000 – 2009
- 2007
- [j8]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): 179-187 (2007) - 2006
- [c11]Karl Meinke:
A Stochastic Theory of Black-Box Software Testing. Essays Dedicated to Joseph A. Goguen 2006: 578-595 - 2004
- [c10]Karl Meinke:
Automated black-box testing of functional correctness using function approximation. ISSTA 2004: 143-153 - 2003
- [j7]Karl Meinke:
Proof theory of higher-order equations: conservativity, normal forms and term rewriting. J. Comput. Syst. Sci. 67(1): 127-173 (2003) - 2001
- [j6]Karl Meinke, L. J. Steggles:
Correctness of dataflow and systolic algorithms using algebras of streams. Acta Informatica 38(1): 45-88 (2001) - 2000
- [c9]Karl Meinke:
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. SAM 2000: 203-
1990 – 1999
- 1998
- [e5]Catuscia Palamidessi, Hugh Glaser, Karl Meinke:
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. Lecture Notes in Computer Science 1490, Springer 1998, ISBN 3-540-65012-1 [contents] - 1997
- [j5]Karl Meinke:
A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications. J. Comput. Syst. Sci. 54(3): 502-519 (1997) - [e4]Michael Hanus, Jan Heering, Karl Meinke:
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997, Proceedings. Lecture Notes in Computer Science 1298, Springer 1997, ISBN 3-540-63459-2 [contents] - 1996
- [j4]Piotr Kosiuczenko, Karl Meinke:
On the Power of Higher-Order Algebraic Specification Methods. Inf. Comput. 124(1): 85-101 (1996) - [j3]Karl Meinke:
Topological Methods for Algebraic Specification. Theor. Comput. Sci. 166(1&2): 263-290 (1996) - [e3]Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller:
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Lecture Notes in Computer Science 1074, Springer 1996, ISBN 3-540-61254-8 [contents] - 1995
- [c8]Karl Meinke:
Higher-Order Equational Logic for Specification, Simulation and Testing. HOA 1995: 124-143 - 1994
- [j2]Karl Meinke:
A Recursive Second Order Initial Algebra Specification of Primitive Recursion. Acta Informatica 31(4): 329-340 (1994) - [c7]Karl Meinke:
Topological Methods for Algebraic Specification. COMPASS/ADT 1994: 368-388 - [e2]Egon Börger, Yuri Gurevich, Karl Meinke:
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Lecture Notes in Computer Science 832, Springer 1994, ISBN 3-540-58277-0 [contents] - [e1]Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow:
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers. Lecture Notes in Computer Science 816, Springer 1994, ISBN 3-540-58233-9 [contents] - 1993
- [c6]B. M. Hearn, Karl Meinke:
ATLAS: A Typed Language for Algebraic Specification. HOA 1993: 146-168 - [c5]Karl Meinke, L. J. Steggles:
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. HOA 1993: 189-222 - [i2]B. M. Hearn, Karl Meinke:
ATLAS: a typed language for algebraic specification. Forschungsberichte, TU Munich TUM I 9330: 1-21 (1993) - [i1]Karl Meinke:
Topological methods for algebraic specification. Forschungsberichte, TU Munich TUM I 9331: 1-32 (1993) - 1992
- [j1]Karl Meinke:
Universal Algebra in Higher Types. Theor. Comput. Sci. 100(2): 385-417 (1992) - [c4]Karl Meinke:
Algebraic Semantics of Rewriting Terms and Types. CTRS 1992: 1-20 - 1991
- [c3]Karl Meinke:
Equational Specification of Abstract Types and Combinators. CSL 1991: 257-271 - 1990
- [c2]Karl Meinke:
Universal Algebra in Higher Types. ADT 1990: 185-203
1980 – 1989
- 1988
- [c1]Karl Meinke, John V. Tucker:
The Scope and Limits of Synchronous Concurrent Computation. Concurrency 1988: 163-180
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
