Welkom...

prof.dr. J.C. van de Pol (Jaco)

Hoogleraar

Over mij

Mijn onderzoek in formele methoden voor Informatica gaat over het vergroten van de betrouwbaarheid en veiligheid van software. Door middel van logisch redeneren, algoritmes en software tools probeer ik de verificatie van software gemakkelijker te maken.

Ik ben geïnteresseerd in technische toepassingen in embedded systems, gedistribueerde systemen, inclusief blockchain technology, maar ook in biologische en sociale systemen.

Expertises

Model Checking
Binary Decision Diagrams
Parallel Algorithms
Data Structures
Temporal Logic
Specification Languages
Chemical Analysis
Industry

Nevenactiviteiten

  • Synnofin
    raad van advies

Publicaties

Recent
Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F., & van de Pol, J. (2018). Maximizing Synchronization for Aligning Observed and Modelled Behaviour. In M. Weske, M. Montali, J. vom Brocke, & I. Weber (Eds.), Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings (Vol. 11080, pp. 233-249). Cham: Springer International. DOI: 10.1007/978-3-319-98648-7_14
Petrucci, L., & van de Pol, J. (2018). Parameter Synthesis Algorithms for Parametric Interval Markov Chains. In C. Baier, & L. Caires (Eds.), Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (pp. 121-140). (Lecture Notes in Computer Science; Vol. 10854). Cham: Springer. DOI: 10.1007/978-3-319-92612-4_7
Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J., & Renault, E. (2018). Parallel Model Checking Algorithms for Linear-Time Temporal Logic. In Y. Hamadi, & L. Sais (Eds.), Handbook of Parallel Constraint Reasoning (pp. 457-507). Cham: Springer. DOI: 10.1007/978-3-319-63516-3_12
van Dijk, T., & van de Pol, J. (2018). Multi-core Decision Diagrams. In Y. Hamadi, & L. Sais (Eds.), Handbook of Parallel Constraint Reasoning (pp. 509-545). Cham: Springer. DOI: 10.1007/978-3-319-63516-3_13
Meijer, J., & van de Pol, J. (2018). Sound Black-Box Checking in the LearnLib. In A. Dutle, C. A. Muñoz, & A. Narkawicz (Eds.), NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (pp. 349-366). (Lecture Notes in Computer Science; Vol. 10811). Cham: Springer. DOI: 10.1007/978-3-319-77935-5_24
van Dijk, T., & van de Pol, J. (2018). Multi-core symbolic bisimulation minimisation. International journal on software tools for technology transfer, 20(2), 157-177. DOI: 10.1007/s10009-017-0468-z
van de Pol, J. (2017). Parallel Algorithms for Model Checking. In M. R. Mousavi, & J. Sgall (Eds.), Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings (pp. xv-xvi). (Lecture Notes in Computer Science; Vol. 10608). Springer.
van Dijk, T., & van de Pol, J. (2017). Sylvan: multi-core framework for decision diagrams. International journal on software tools for technology transfer, 19(6), 675-696. DOI: 10.1007/s10009-016-0433-2
Bernhard, S., Jasper, M., Meijer, J., & van de Pol, J. (2017). Property-Preserving Generation of Tailored Benchmark Petri Nets. In 17th International Conference on Application of Concurrency to System Design - ACSD 2017: 25-30 June 2017, Zaragoza, Spain : proceedings Piscataway, NJ: IEEE Computer Society. DOI: 10.1109/ACSD.2017.24
Langerak, R., van de Pol, J., Post, J. N., & Schivo, S. (2017). Improving the Timed Automata Approach to Biological Pathway Dynamics. In L. Aceto, G. Bacci, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (pp. 96-111). (Lecture Notes in Computer Science; Vol. 10460). Springer. DOI: 10.1007/978-3-319-63121-9_5

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3055
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3055
Postbus 217
7500 AE Enschede