If you made any changes in Pure these will be visible here soon.

Research Output 2007 2019

Filter
Chapter
2019

Software Architecture of Modern Model Checkers

Kordon, F., Leuschel, M., Pol, J. V. D. & Thierry-Mieg, Y., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 393-419 27 p. (Lecture Notes in Computer Science; vol. 10000)(Theoretical Computer Science and General Issues).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Software architecture
Model checking
Specifications

Synchronous or Alternating? LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin

van de Pol, J. & Meijer, J., 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Margaria, T., Graf, S. & Larsen, K. G. (eds.). Cham: Springer, p. 417-430 14 p. (Lecture Notes in Computer Science; vol. 11200)(Theoretical Computer Science and General Issues).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Black Box
Reactive Systems
Semantics
Temporal logic
Model checking
2018
1 Citation (Scopus)

MCC'2017 - The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E. G., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Botlan, D. L., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., Pol, J. V. D. & Wolf, K., 21 Nov 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). p. 181-209 29 p. (Lecture notes in computer science; vol. 11090).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Model checking
Petri nets
55 Downloads (Pure)

Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Decision Diagrams
Data structures
Model checking
Algorithms and Data Structures
Automated Reasoning
3 Citations (Scopus)
45 Downloads (Pure)

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Temporal logic
Model checking
Temporal Logic
Model Checking
Linear Time
4 Citations (Scopus)
52 Downloads (Pure)

Symbolically Aligning Observed and Modelled Behaviour

Bloemen, V., van de Pol, J. & van der Aalst, W. M. P., 25 Jun 2018, 2018 18th International Conference on Application of Concurrency to System Design : Proceedings. IEEE, p. 50-59 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Model checking
Petri nets
Structural properties
Experiments
Costs
2015
65 Citations (Scopus)
86 Downloads (Pure)

LTSmin: High-Performance Language-Independent Model Checking

Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T., Apr 2015, Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
Model checking
Interface states
Modeling languages