Welkom...

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

Hoogleraar

Expertises

Model Checking
Specifications
Experiments
Chondrocytes
Algebra
Throughput
Parallel Algorithms
Specification Languages

Nevenactiviteiten

  • Synnofin
    raad van advies

Publicaties

Recente Artikelen
Langerak, R., Pol, J. V. D., 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 (Vol. 10460, pp. 96-111). (Lecture Notes in Computer Science). Springer. DOI: 10.1007/978-3-319-63121-9_5
Dijk, T. V., & Pol, J. V. D. (2017). Multi-core symbolic bisimulation minimisation. International journal on software tools for technology transfer, 1-21. DOI: 10.1007/s10009-017-0468-z
Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., Pol, J. V. D., ... Siegel, S. F. (2017). The RERS 2017 Challenge and Workshop: (Invited Paper). 11-20. Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States.DOI: 10.1145/3092282.3098206
Oortwijn, W., Dijk, T. V., & Pol, J. V. D. (2017). Distributed Binary Decision Diagrams for Symbolic Reachability. In SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (pp. 21-30). ACM. DOI: 10.1145/3092282.3092284
Bloemen, V., Duret-Lutz, A., & Pol, J. V. D. (2017). Explicit State Model Checking with Generalized Büchi and Rabin Automata. In SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (pp. 50-59). ACM. DOI: 10.1145/3092282.3092288
Huisman, M. (Ed.), Huisman, M. (Ed.), van de Pol, J. C. (Ed.), van de Pol, J. C. (Ed.), & Unknown, . U. (2016). Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Science of computer programming, 128, 1-1. DOI: 10.1016/j.scico.2016.04.013
Laarman, A., Pater, E., van de Pol, J. C., & Hansen, H. (2016). Guard-based partial-order reduction. International journal on software tools for technology transfer, 18(4), 427-448. DOI: 10.1007/s10009-014-0363-9
Huisman, M., Margaria, T. (Ed.), Steffen, B. (Ed.), Bos, H., Brinkkemper, S., van Deursen, A., ... Visser, E. (2016). Software that meets its Intent. 609-625. Paper presented at Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, .DOI: 10.1007/978-3-319-47169-3_47

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