Welcome...

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

Full Professor

Expertise

Model Checking
Specifications
Chondrocytes
Algebra
Throughput
Model
Specification Languages
Automata
Experiments

Ancillary Activities

  • Synnofin
    raad van advies

Publications

Recent Articles
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

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3055
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3055
P.O. Box 217
7500 AE Enschede
The Netherlands