Publikationer av Karl Meinke
Refereegranskade
Artiklar
[1]
Y. Tian et al., "Driving Intention Recognition and Speed Prediction at Complex Urban Intersections Considering Traffic Environment," IEEE transactions on intelligent transportation systems (Print), vol. 25, no. 5, s. 4470-4488, 2024.
[2]
A. Nair et al., "A graph neural network framework for mapping histological topology in oral mucosal tissue," BMC Bioinformatics, vol. 23, no. 1, 2022.
[3]
P. Y. H. Wong et al., "Testing abstract behavioral specifications," International Journal on Software Tools for Technology Transfer, vol. 17, no. 1, s. 107-119, 2014.
[4]
S. Hu et al., "Dynamic-measurement system modeling of spinning spacecraft attitude and their applications," Chinese Space Science and Technology, vol. 27, no. 4, s. 1-6+20, 2007.
[5]
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, s. 179-187, 2007.
[6]
S. Hu, K. Meinke och R. -. Chen, "Fault-tolerant algorithm of signal reconstruction in computer controlled systems," Xitong Fangzhen Xuebao / Journal of System Simulation, vol. 18, no. SUPPL. 2, s. 841-843, 2006.
[7]
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, s. 127-173, 2003.
[8]
K. Meinke och L. J. Steggles, "Correctness of dataflow and systolic algorithms using algebras of streams," Acta Informatica, vol. 38, no. 1, s. 45-88, 2001.
Konferensbidrag
[9]
T. Hasegawa et al., "Edge-Based Graph Neural Networks for Cell-Graph Modeling and Prediction," i Information Processing in Medical Imaging - 28th International Conference, IPMI 2023, Proceedings, 2023, s. 265-277.
[10]
K. Meinke, "Active Machine Learning to Test Autonomous Driving," i 2021 IEEE International Conference On Software Testing, Verification And Validation Workshops (Icstw 2021), 2021, s. 286-286.
[11]
K. Meinke och H. Khosrowjerdi, "Use Case Testing : A Constrained Active Machine Learning Approach," i Lecture Notes in Computer Science, 2021, s. 3-21.
[12]
A. Nair, A. Roy och K. Meinke, "FuncGNN : A graph neural network approach to program similarity," i International Symposium on Empirical Software Engineering and Measurement, 2020.
[13]
H. Khosrowjerdi, H. Nemati och K. Meinke, "Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries," i Tests and Proofs, 2020, s. 59-79.
[14]
A. Nair, K. Meinke och S. Eldh, "Leveraging mutants for automatic prediction of metamorphic relations using machine learning," i 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, s. 1-6.
[15]
H. Khosrowjerdi och K. Meinke, "Learning-Based testing for autonomous systems using spatial and temporal requirements," i MASES 2018 - Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, co-located with ASE 2018, 2018, s. 6-15.
[16]
K. Meinke, "Learning-based testing : Recent progress and future prospects," i International Dagstuhl Seminar 16172 Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2016, 2018, s. 53-73.
[17]
A. Bennaceur och K. Meinke, "Machine learning for software analysis : Models, methods, and applications," i International Dagstuhl Seminar 16172 Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2016, 2018, s. 3-49.
[18]
K. Meinke och A. Bennaceur, "Machine learning for software engineering : Models, methods, and applications," i Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018, s. 548-549.
[19]
C. Bergenhem, K. Meinke och F. Ström, "Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons," i Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, 2018, s. 386-404.
[20]
H. Khosrowjerdi, K. Meinke och A. Rasmusson, "Virtualized-Fault Injection Testing : a Machine Learning Approach," i 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2018, s. 297-308.
[21]
K. Meinke, "Learning-Based testing of cyber-physical systems-of-systems : A platooning study," i 14th European Workshop on Computer Performance Engineering, EPEW 2017, 2017, s. 135-151.
[22]
H. Khosrowjerdi, K. Meinke och A. Rasmusson, "Learning-based testing for safety critical automotive applications," i 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, 2017, s. 197-211.
[23]
F. Howar, K. Meinke och A. Rausch, "Learning Systems : Machine-Learning in Software Products and Learning-Based Analysis of Software Systems Special Track at ISoLA 2016," i LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION : DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, s. 651-654.
[24]
H. Shaolin, K. Meinke och W. Xinfeng, "Simulation-Based Boundary Testing of Software with Its Applications," i Proceedings of the 2016 6th International Conference on Advanced Design and Manufacturing Engineering (ICADME 2016), 2016, s. 741-744.
[25]
D. Chen et al., "A Knowledge-in-the-Loop Approach to Integrated Safety&Security for Cooperative System-of-Systems," i IEEE Seventh International Conference on Intelligent Computing and Information Systems, 2015.
[26]
K. Meinke och P. Nycander, "Learning-Based Testing of Distributed Microservice Architectures : Correctness and Fault Injection," i SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, s. 3-10.
[27]
L. Feng et al., "Case studies in learning-based testing," i Testing Software and Systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, 2013, s. 164-179.
[28]
K. Meinke och M. Sindhu, "LBTest : A Learning-based Testing Tool for Reactive Systems," i Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013, 2013, s. 447-454.
[29]
K. Meinke och F. Niu, "An incremental learning algorithm for extended mealy automata," i 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, s. 488-504.
[30]
K. Meinke, F. Niu och M. Sindhu, "Learning-based software testing : A tutorial," i 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, s. 200-219.
[31]
K. Meinke och N. Walkinshaw, "Model-based testing and model inference," i 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, s. 440-443.
[32]
S. Hu och K. Meinke, "Dynamic-measurement modeling of attitude motion for N-bodies spacecraft with applications," i Proceedings of the 30th Chinese Control Conference, 2011, s. 1453-1458.
[33]
K. Meinke och M. Sindhu, "Incremental Learning based Testing for Reactive Systems," i 5th International Conference on Tests and Proofs (TAP), 2011, s. 134-151.
[34]
K. Meinke och F. Niu, "Learning-Based Testing for Reactive Systems using Term Rewriting Technology," i Proceedings of the 22nd IFIP International Conference on Testing Software and Systems, Paris, France, November 7-9, 2011, 2011, s. 97-114.
[35]
S. Hu et al., "Outlier-Tolerant Fitting and Online Diagnosis of Outliers in Dynamic Process Sampling Data Series," i ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT III, 2011, s. 195-203.
[36]
K. Meinke och F. Niu, "A Learning-based Approach to Unit Testing of Numerical Software," i 22nd IFIPInternational Conference on Testing Software and Systems, Natal, Brazil, Nov. 8-12, 2010, 2010, s. 221-235.
[37]
K. Meinke, "CGE : A sequential learning algorithm for mealy automata," i Grammatical Inference : Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings, 2010, s. 148-162.
[38]
L. Kovács och K. Meinke, "Preface," i Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, s. 1.
[39]
S. Hu, K. Meinke och R. Chen, "Fault-tolerant design of computer cyclic check and control system," i Proceedings of the 26th Chinese Control Conference, CCC 2007, 2007, s. 426-430.
[40]
K. Meinke, "automated black-box testing of functional correctness using function approximation," i ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, 2004, s. 143-153.
Icke refereegranskade
Konferensbidrag
[41]
A. Bennaceur, R. Hähnle och K. Meinke, "Preface," i Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, s. V-VI.
[42]
K. Meinke och M. Sindhu, "Correctness and Performance of an Incremental Learning Algorithm for Finite Automata," i Third Asian Conference on Machine Learning, 2011.
Avhandlingar
[43]
M. Sindhu, "Incremental Learning and Testing of Reactive Systems," Licentiatavhandling Stockholm : KTH Royal Institute of Technology, Trita-CSC-A, 2011:14, 2011.
Rapporter
[44]
[45]
K. Meinke och M. Sindhu, "An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems," , 2012.
[46]
K. Meinke och M. Sindhu, "Correctness and Performance of an Incremental Learning Algorithm for Finite Automata," Stockholm : KTH Royal Institute of Technology, 2010.
Senaste synkning med DiVA:
2024-07-17 09:22:11