E-LIB Suche - Ergebnisse für: Bloemen, Vincent

1

Aligning observed and modelled behaviour by maximizing sync..:

Bloemen, Vincent ; van Zelst, Sebastiaan ; van der Aalst, Wil..
Information Systems. 103 (2022) - p. 101456 , 2022

2

Model checking with generalized Rabin and Fin-less automata:

Bloemen, Vincent ; Duret-Lutz, Alexandre ; van de Pol, Jaco
International Journal on Software Tools for Technology Transfer. 21 (2019) 3 - p. 307-324 , 2019

Link: https://doi.org/10.1007/..

3

STBins: Visual Tracking and Comparison of Multiple Data Seq..:

Qi, Ji ; Bloemen, Vincent ; Wang, Shihan..
IEEE Transactions on Visualization and Computer Graphics. , 2019

Link: https://doi.org/10.1109/..

4

Minimal-Time Synthesis for Parametric Timed Automata:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

André, Étienne ; Bloemen, Vincent ; Petrucci, Laure. - p. 211-228 , 2019

Link: https://doi.org/10.1007/..

5

Maximizing Synchronization for Aligning Observed and Modell..:

, In: Lecture Notes in Computer Science; Business Process Management,

Bloemen, Vincent ; van Zelst, Sebastiaan J. ; van der Aalst, Wil M. P... - p. 233-249 , 2018

Link: https://doi.org/10.1007/..

6

Explicit state model checking with generalized Büchi and Ra..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Bloemen, Vincent ; Duret-Lutz, Alexandre ; Pol, Jaco van de - p. 50-59 , 2017

Link: https://dl.acm.org/doi/1..

7

Multi-core on-the-fly SCC decomposition:

, In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,

Bloemen, Vincent ; Laarman, Alfons ; van de Pol, Jaco - p. 1-12 , 2016

Link: https://dl.acm.org/doi/1..

8

Multi-core on-the-fly SCC decomposition:

Bloemen, Vincent ; Laarman, Alfons ; van de Pol, Jaco
ACM SIGPLAN Notices. 51 (2016) 8 - p. 1-12 , 2016

Link: https://doi.org/10.1145/..

9

Minimal-Time Synthesis for Parametric Timed Automata:

André, Étienne ; Bloemen, Vincent ; Petrucci, Laure.
https://pure.au.dk/portal/da/publications/minimaltime-synthesis-for-parametric-timed-automata(01cb8ae6-243f-430c-9b0c-edbd28733565).html. , 2019

Link: https://pure.au.dk/porta..

10

Minimal-Time Synthesis for Parametric Timed Automata:

André, Étienne ; Bloemen, Vincent ; Petrucci, Laure.
http://arxiv.org/abs/1902.03013. , 2019

Link: http://arxiv.org/abs/190..

11

Model checking with generalized Rabin and Fin-less automata:

Bloemen, Vincent ; Duret-Lutz, Alexandre ; van de Pol, Jaco
https://pure.au.dk/portal/en/publications/58817619-7115-4c6b-bda3-d5997726d61c. , 2019

Link: https://pure.au.dk/porta..

12

Maximizing synchronization for aligning observed and modell..:

Bloemen, Vincent ; Zelst, SJ Bas van ; Aalst, WMP Wil van der.. , 2018

Link: http://repository.tue.nl..

13

Parallel model checking of ω-automata:

Bloemen, Vincent
http://doc.utwente.nl/102923/1/FM16-DS_-_Parallel_Model_Checking_of_%CF%89-Automata.pdf. , 2016

Link: http://purl.utwente.nl/p..

14

Extending the Finite Domain Solver of GNU Prolog:

Bloemen, Vincent ; Diaz, Daniel ; van der Bijl, Machiel.
http://eprints.eemcs.utwente.nl/25798/01/ciclops14.pdf. , 2014

Link: http://hdl.handle.net/10..

15

Extending the finite domain solver of GNU Prolog:

Bloemen, Vincent ; Diaz, Daniel ; Bijl, Machiel van der.
http://doc.utwente.nl/94675/1/ciclops14.pdf. , 2014

Link: http://purl.utwente.nl/p..