Billede af Jaco van de Pol

Vis Scopus-profil

Jaco van de Pol

 https://orcid.org/0000-0003-4305-0625

  • Åbogade 34

    8200 Aarhus N

    Danmark

20192024

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2019

    Software Architecture of Modern Model Checkers

    Kordon, F., Leuschel, M., Pol, J. V. D. & Thierry-Mieg, Y., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): State of the Art and Perspectives. Springer, s. 393-419 27 s. (Lecture Notes in Computer Science, Bind 10000).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Synchronous or Alternating? LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin

    Pol, J. V. D. & Meijer, J., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): The What, the How, and the Why Not?. Springer, s. 417-430 14 s. (Lecture Notes in Computer Science, Bind 11200).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review