Articles avec mandats d'accès public - Jaco van de PolEn savoir plus
Disponibles quelque part : 22
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J Van de Pol, S Blom, T Van Dijk
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
Exigences : Austrian Science Fund, Vienna Science and Technology Fund, Austria
Sylvan: multi-core framework for decision diagrams
T Van Dijk, J Van de Pol
International Journal on Software Tools for Technology Transfer 19 (6), 675-696, 2017
Exigences : Netherlands Organisation for Scientific Research
Multi-core on-the-fly SCC decomposition
V Bloemen, A Laarman, J van de Pol
Proceedings of the 21st ACM SIGPLAN symposium on Principles and practice of …, 2016
Exigences : Austrian Science Fund, Vienna Science and Technology Fund, Austria
Modelling with ANIMO: between fuzzy logic and differential equations
S Schivo, J Scholma, PE van der Vet, M Karperien, JN Post, J van de Pol, ...
BMC systems biology 10, 1-15, 2016
Exigences : Netherlands Organisation for Scientific Research
A benchmarks library for extended parametric timed automata
É André, D Marinho, J van de Pol
International Conference on Tests and Proofs, 39-50, 2021
Exigences : Agence Nationale de la Recherche
The RERS 2017 challenge and workshop
M Jasper, M Fecke, B Steffen, M Schordan, J Meijer, J Pol, F Howar, ...
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
Exigences : US Department of Energy
Iterative bounded synthesis for efficient cycle detection in parametric timed automata
É André, J Arias, L Petrucci, J Pol
International Conference on Tools and Algorithms for the Construction and …, 2021
Exigences : Agence Nationale de la Recherche
Multi-core symbolic bisimulation minimisation
T van Dijk, J van de Pol
International journal on software tools for technology transfer 20 (2), 157-177, 2018
Exigences : Austrian Science Fund, Netherlands Organisation for Scientific Research
A manifesto for applicable formal methods
M Gleirscher, J van de Pol, J Woodcock
Software and Systems Modeling 22 (6), 1737-1749, 2023
Exigences : German Research Foundation
Minimal-time synthesis for parametric timed automata
É André, V Bloemen, L Petrucci, J Van de Pol
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Exigences : Agence Nationale de la Recherche
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease
S Schivo, S Khurana, K Govindaraj, J Scholma, J Kerkhofs, L Zhong, ...
Cellular Signalling 68, 109471, 2020
Exigences : Research Foundation (Flanders), Netherlands Organisation for Scientific …
Distributed binary decision diagrams for symbolic reachability
W Oortwijn, T Dijk, J Pol
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
Exigences : Austrian Science Fund, Netherlands Organisation for Scientific Research
Symbolic Reachability Analysis of B Through ProB and LTSmin
J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ...
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
Exigences : UK Engineering and Physical Sciences Research Council
Sound black-box checking in the LearnLib
J Meijer, J van de Pol
Innovations in Systems and Software Engineering 15 (3), 267-287, 2019
Exigences : Netherlands Organisation for Scientific Research
Multi-core symbolic bisimulation minimisation
T van Dijk, J van de Pol
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
Exigences : Netherlands Organisation for Scientific Research
Automated verification of parallel nested DFS
W Oortwijn, M Huisman, SJC Joosten, J van de Pol
International Conference on Tools and Algorithms for the Construction and …, 2020
Exigences : Netherlands Organisation for Scientific Research
Verification of co-simulation algorithms subject to algebraic loops and adaptive steps
ST Hansen, C Gomes, M Palmieri, C Thule, J van de Pol, J Woodcock
International Conference on Formal Methods for Industrial Critical Systems, 3-20, 2021
Exigences : Government of Italy
Multi-core on-the-fly saturation
T van Dijk, J Meijer, J van de Pol
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Exigences : Austrian Science Fund
Efficient convex zone merging in parametric timed automata
É André, D Marinho, L Petrucci, J van de Pol
International Conference on Formal Modeling and Analysis of Timed Systems …, 2022
Exigences : Agence Nationale de la Recherche
An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation
S Khurana, S Schivo, JRM Plass, N Mersinis, J Scholma, J Kerkhofs, ...
Frontiers in bioengineering and biotechnology 9, 732917, 2021
Exigences : Research Foundation (Flanders), Netherlands Organisation for Scientific …
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique