Autor der Publikation

Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden.

, , , , , und . J. Artif. Intell. Res., (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Survey on Knowledge Management in Software Engineering., , und . QRS Companion, Seite 237-244. IEEE, (2015)CAT: A Customized Automata Toolkit., , , , und . QRS Companion, Seite 171-177. IEEE, (2016)An Evaluation Framework of Knowledge Management Activities., , , und . QRS Companion, Seite 194-201. IEEE, (2016)Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage., , , und . SAFECOMP, Volume 8666 von Lecture Notes in Computer Science, Seite 109-124. Springer, (2014)Lifetime Extension of Software Execution Subject to Aging., , , und . IEEE Trans. Reliability, 66 (1): 123-134 (2017)Service Systems Development Based on a Knowledge Synthesis Methodology., , , , und . QRS Companion, Seite 245-250. IEEE, (2015)CVSkSA: cross-architecture vulnerability search in firmware based on kNN-SVM and attributed control flow graph., , , , , , , und . Softw. Qual. J., 27 (3): 1045-1068 (2019)Reliability Analysis of Systems Subject to Imperfect Fault Coverage Considering Failure Propagation and Component Relevancy., , , , , und . ISSRE Workshops, Seite 210-217. IEEE, (2021)IFCM: An improved Fuzzy C-means clustering method to handle Class Overlap on Aging-related Software Bug Prediction., , , , , , , und . ISSRE, Seite 590-600. IEEE, (2023)A Static Analysis of Dynamic Fault Trees with Priority-AND Gates., , , , , und . LADC, Seite 58-67. IEEE Computer Society, (2013)