Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007
Number of items: 75.

2014

Ahmad, Waheed and Groote, Robert de and Hölzenspies, Philip and Stoelinga, Mariëlle and Pol, Jaco van de (2014) Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata. [Report]

Ahmad, Waheed and Groote, Robert de and Hölzenspies, Philip K.F. and Stoelinga, Mariëlle and Pol, Jaco van de (2014) Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata (extended version). [Report]

2013

Laarman, Alfons and Olesen, Mads Chr. and Dalsgaard, Andreas and Larsen, Kim G. and Pol, Jaco van de (2013) Multi-core emptiness checking of timed Büchi automata using inclusion abstraction. In: 25th International Conference on Computer Aided Verification, CAV 2013, 13-19 July 2013, Saint Petersburg, Russia.

Laarman, Alfons and Pater, Elwin and Pol, Jaco van de and Weber, Michael (2013) Guard-based partial-order reduction. In: 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 8-9 July 2013, Stony Brook, NY, USA.

Schivo, Stefano and Scholma, Jetse and Wanders, Brend and Urquidi Camacho, Ricardo A. and Vet, Paul E. van der and Karperien, Marcel and Langerak, Rom and Pol, Jaco van de and Post, Janine N. (2013) Modelling biological pathway dynamics with Timed Automata. IEEE journal of biomedical and health informatics . ISSN 2168-2194

Scholma, J. and Kerkhofs, J. and Schivo, S. and Langerak, R. and Vet, P.E. van der and Karperien, H.B.J. and Pol, J.C. van de and Geris, L. and Post, J.N. (2013) Mathematical modeling of signaling pathways in osteoarthritis. Osteoarthritis and cartilage, 21 (Suppl.). S123-S123. ISSN 1063-4584

Scholma, J. and Schivo, Stefano and Urquidi Camacho, Ricardo A. and Pol, Jaco van de and Karperien, Marcel and Post, Janine N. (2013) Biological networks 101: computational modeling for molecular biologists. Gene, 533 (42). 379 - 384. ISSN 0378-1119

Timmer, M. and Pol, J.C. van de and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata (extended version). [Report]

Timmer, Mark and Pol, Jaco van de and Stoelinga, Mariëlle (2013) Confluence reduction for Markov automata. In: 11th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, 23-24 March 2013, Rome, Italy.

Timmer, Mark and Pol, Jaco van de and Stoelinga, L.A. (2013) Confluence reduction for Markov automata. In: 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, 29-31 August 2013, Buenos Aires, Argentina (pp. pp. 243-257).

2012

Dalsgaard, Andreas and Laarman, Alfons and Larsen, Kim G. and Olesen, Mads Chr. and Pol, Jaco van de (2012) Multi-Core Reachability for Timed Automata. In: 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, 18-20 September 2012, London, UK (pp. pp. 91-106).

Dijk, T. van and Laarman, A.W. and Pol, J.C. van de (2012) Multi-Core BDD Operations for Symbolic Reachability. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 September 2012, London, UK.

Dijk, Tom van and Laarman, Alfons and Pol, Jaco van de (2012) Multi-core and/or symbolic model checking. In: 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012, 18-20 September 2012, Bamberg, Germany.

Evangelista, Sami and Laarman, Alfons and Petrucci, Laure and Pol, Jaco van de (2012) Improved Multi-Core Nested Depth-First Search. In: 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, 3-6 October 2012, Thiruvananthapuram (Trivandrum), Kerala.

Kant, Gijs and Pol, Jaco van de (2012) Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. In: First Workshop on Graph Inspection and Traversal Engineering, GRAPHite 2012, 1 April 2012, Tallinn, Estonia (pp. pp. 50-65).

Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R.A. and Vet, P.E. van der and Karperien, H.B.J. and Langerak, R. and Pol, J.C. van de and Post, J.N. (2012) Modelling biological pathway dynamics with timed automata. In: 12th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2012, 11-13 November 2012, Larnaca, Cyprus (pp. pp. 447-453).

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 31 March - 1 April 2012, Tallinn, Estonia.

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata (extended version). [Report]

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 23rd International Conference on Concurrency Theory, CONCUR 2012, September 4-7, 2012, Newcastle upon Tyne, UK (pp. pp. 364-379).

2011

Aceto, Luca and Chen, Taolue and Ingolfsdottir, Anna and Luttik, Bas and Pol, Jaco van de (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28). pp. 3035-3044. ISSN 0304-3975

Bergstra, Jan A. and Pol, Jaco van de (2011) A Calculus for Four-Valued Sequential Logic. Theoretical Computer Science, 412 (28). pp. 3122-3128. ISSN 0304-3975

Hansen, Helle Hvid and Ketema, Jeroen and Luttik, Bas and Mousavi, MohammadReza and Pol, Jaco van de and Marchi dos Santos, Oscar (2011) Automated Verification of Executable UML Models. In: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010, 29 Nov - 01 Dec 2010, Graz, Austria (pp. pp. 225-250).

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2011) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975

Laarman, Alfons and Langerak, Rom and Pol, Jaco van de and Weber, Michael and Wijs, Anton (2011) Multi-Core Nested Depth-First Search. In: 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 October 2011, Tapei, Taiwan.

Laarman, Alfons and Pol, Jaco van de (2011) Variations on Multi-Core Nested Depth-First Search. In: 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, 14 July 2011, Snowbird, Utah.

Laarman, Alfons and Pol, Jaco van de and Weber, Michael (2011) Multi-Core LTSmin: Marrying Modularity and Scalability. In: Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 April 2011, Pasadena, CA, USA (pp. pp. 506-511).

Laarman, Alfons and Pol, Jaco van de and Weber, Michael (2011) Parallel Recursive State Compression for Free. In: 18th International SPIN Workshop on Model Checking of Software, SPIN 2011, 14-15 July 2011, Snow Bird, Utah.

Timmer, Mark and Stoelinga, Mariëlle and Pol, Jaco van de (2011) Confluence Reduction for Probabilistic Systems. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 March - 3 April 2011, Saarbrücken, Germany (pp. pp. 311-325).

2010

Blom, Stefan and Pol, Jaco van de and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: 22nd International Conference on Computer Aided Verification, CAV 2010, 15-19 July 2010, Edinburgh, UK (pp. pp. 354-359).

Hansen, Helle Hvid and Ketema, Jeroen and Luttik, Bas and Mousavi, MohammadReza and Pol, Jaco van de (2010) Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering, 6 (1-2). pp. 83-90. ISSN 1614-5046

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process-algebraic format for probabilistic systems with data (extended version). [Report]

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process algebraic format for probabilistic systems with data. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal (pp. pp. 213-222).

Laarman, Alfons and Pol, Jaco van de and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, 20-23 October 2010, Lugano, Switzerland (pp. pp. 247-255).

Laarman, Alfons and Pol, Jaco van de and Weber, Michael (2010) Boosting Multi-Core Reachability Performance with Shared Hash Tables. [Report]

Pol, Jaco van de and Weber, Michael (2010) Preface. In: Model Checking Software. Lecture Notes in Computer Science, 6349 . Springer Verlag, Berlin, Germany, v-vi. ISBN 9783642161636

Timmer, Mark and Pol, Jaco van de and Stoelinga, Mariëlle (2010) Confluence reduction for probabilistic systems. In: 2nd Young Researchers Workshop on Concurrency Theory, 4 September 2010, Paris, France (pp. pp. 87-90).

Timmer, Mark and Stoelinga, Mariëlle and Pol, Jaco van de (2010) Confluence Reduction for Probabilistic Systems (extended version). [Report]

Xing, Jiansheng and Theelen, B.D. and Langerak, Rom and Pol, Jaco van de and Tretmans, Jan and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal (pp. pp. 47-56).

Xing, Jiansheng and Theelen, Bart D. and Langerak, Rom and Pol, Jaco van de and Tretmans, Jan and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, 18-20 October 2010, Amirandes, Heraclion, Crete (pp. pp. 160-174). (In Press)

2009

Barnat, Jiri and Chaloupka, Jakub and Pol, Jaco van de (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, 21 (1). pp. 23-44. ISSN 0955-792X

Blom, Stefan and Lisser, Bert and Pol, Jaco van de and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X

Blom, Stefan and Pol, Jaco van de (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. [Report]

Blom, Stefan and Pol, Jaco van de (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. In: 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, 4 November 2009, Eindhoven, The Netherlands (pp. pp. 32-46).

Blom, Stefan and Pol, Jaco van de and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. [Report]

Brim, L. and Pol, J.C. van de (2009) Preface. In: 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, 4 November 2009, Eindhoven, The Netherlands.

Kuijper, Wouter and Pol, Jaco van de (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, 22-29 March 2009, York, UK (pp. pp. 92-106).

Kuijper, Wouter and Pol, Jaco van de (2009) Compositional Control Synthesis for Partially Observable Systems. In: 20th International Conference on Concurrency Theory, CONCUR 2009, 1-4 September 2009, Bologna, Italy (pp. pp. 431-447).

Pol, Jaco van de and Timmer, Mark (2009) State Space Reduction of Linear Processes using Control Flow Reconstruction. [Report]

Pol, Jaco van de and Timmer, Mark (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, October 14-16, 2009, Macao SAR, China (pp. pp. 54-68).

Sinderen, M.J. van and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and Pol, J.C. van de and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Aksit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. [Report]

Wijs, Anton J. and Pol, Jaco C. van de and Bortnik, Elena M. (2009) Solving scheduling problems by untimed model checking. The clinical chemical analyser case study. International Journal on Software Tools for Technology Transfer (STTT), 11 (5). pp. 375-392. ISSN 1433-2779

2008

Badban, Bahareh and Fokkink, Wan and Pol, Jaco van de (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 September 2008, York, UK (pp. pp. 179-202).

Badban, Bahareh and Fokkink, Wan and Pol, Jaco van de (2008) Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs). [Report]

Bakhshi, Rena and Fokkink, Wan and Pang, Jun and Pol, Jaco van de (2008) Leader Election in Anonymous Rings: Franklin Goes Probabilistic. In: Fifth IFIP International Conference On Theoretical Computer Science, 8-10 September 2008, Milano, Italy (pp. pp. 57-72).

Barnat, Jiri and Chaloupka, Jakub and Pol, Jaco van de (2008) Improved Distributed Algorithms for SCC Decomposition. In: 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007, 8 July 2007, Berlin, Germany (pp. pp. 63-77).

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol, Jaco van de and Rennoch, Axel and Sidorova, Natalia (2008) Simulated time for host-based testing with TTCN-3. Software Testing, Verification and Reliability, 18 (1). pp. 29-49. ISSN 0960-0833

Blom, Stefan and Haverkort, Boudewijn R. and Kuntz, Matthias and Pol, Jaco van de (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 35-50. ISSN 1571-0661

Blom, Stefan and Lisser, Bert and Pol, Jaco van de and Weber, Michael (2008) A Database Approach to Distributed State Space Generation. Electronic Notes in Theoretical Computer Science, 198 (1). pp. 17-32. ISSN 1571-0661

Blom, Stefan and Pol, Jaco van de (2008) Symbolic Reachability for Process Algebras with Recursive Data Types. In: 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008, 1-3 September 2008, Istanbul, Turkey (pp. pp. 81-95).

Calamé, Jens R. and Pol, Jaco van de (2008) Applying Model-based Testing to HTML Rendering Engines - A Case Study. In: 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems, TestCom 2008, 10-13 June 2008, Tokyo, Japan (pp. pp. 250-265).

Chen, Taolue and Pol, Jaco van de and Wang, Yanjing (2008) PDL over Accelerated Labeled Transition Systems. In: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, 17-19 June 2008, Nanjing, China (pp. pp. 193-200).

Crouzen, P. and Pol, J.C. van de and Rensink, A. (2008) Applying Formal Methods to Gossiping Networks with mCRL and Groove. ACM SIGMETRICS Performance Evaluation Review, 36 (3). pp. 7-16. ISSN 0163-5999

Pol, Jaco van de (2008) A Typical Verification Challenge for the GRID. In: Dagstuhl Seminar Proceedings 08332 'Distributed Verification and Grid Computing ', 10-14 August 2008, Dagstuhl, Germany.

Pol, Jaco van de and Weber, Michael (2008) A Multi-Core Solver for Parity Games. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 19-34. ISSN 1571-0661

2007

Badban, Bahareh and Pol, Jaco van de and Tveretina, Olga and Zantema, Hans (2007) Generalizing DPLL and satisfiability for equalities. Information and Computation, 205 (8). pp. 1188-1211. ISSN 0890-5401

Blom, Stefan and Calamé, Jens R. and Lisser, Bert and Orzan, Simona and Pang, Jun and Pol, Jaco van de and Torabi Dashti, Mohammad and Wijs, Anton J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, 24 March - 01 April 2007, Braga, Portugal (pp. pp. 683-689).

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol, Jaco van de and Rennoch, Axel and Sidorova, Natalia (2007) TTCN-3 for Distributed Testing Embedded Software. In: 6th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, PSI 2006, 27-30 June 2006, Novosibirsk, Russia (pp. pp. 98-111).

Blom, Stefan and Lisser, Bert and Pol, Jaco van de and Weber, Michael (2007) A Database Approach to Distributed State Space Generation. In: Sixth International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007, 8 July 2007, Berlin, Germany (pp. pp. 17-32).

Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and Pol, Jaco van de (2007) Preface. In: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, 26-31 Aug 2006, Bonn, Germany (pp. V-VI).

Calame, J.R. and Ioustinova, N. and Pol, J.C. van de and Sidorova, N. (2007) Bug Hunting with False Negatives Revisited. [Report]

Calamé, Jens and Ioustinova, Natalia and Pol, Jaco van de and Sidorova, Natalia (2007) Bug Hunting with False Negatives. In: 6th International Conferenceon Integrated Formal Methods, IFM 2007, 2-5 July 2007, Oxford, UK (pp. pp. 98-117).

Calamé, Jens R. and Ioustinova, Natalia and Pol, Jaco van de (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM 2005, 29 November 2005, Eindhoven, The Netherlands (pp. pp. 25-48).

Chen, Taolue and Ploeger, Bas and Pol, Jaco van de and Willemse, Tim A.C. (2007) Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. In: 18th International Conference on Concurrency Theory, CONCUR 2007, September 3-8, 2007, Lisbon, Portugal (pp. pp. 120-135).

Romijn, Judi and Smith, Graeme and Pol, Jaco van de (2007) Preface. In: Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 29 Nov 2005, Eindhoven, The Netherlands (pp. pp. 1-2).

Valero Espada, Miguel and Pol, Jaco van de (2007) An abstract interpretation toolkit for μCRL. Formal Methods in System Design, 30 (3). pp. 249-273. ISSN 0925-9856

This list was generated on Sun Apr 20 05:33:32 2014 CEST.