Vincent Bloemen

According to our database1, Vincent Bloemen authored at least 9 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
STBins: Visual Tracking and Comparison of Multiple Data Sequences Using Temporal Binning.
IEEE Trans. Vis. Comput. Graph., 2020

2019
Model checking with generalized Rabin and Fin-less automata.
Int. J. Softw. Tools Technol. Transf., 2019

Minimal-Time Synthesis for Parametric Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
Maximizing Synchronization for Aligning Observed and Modelled Behaviour.
Proceedings of the Business Process Management - 16th International Conference, 2018

Symbolically Aligning Observed and Modelled Behaviour.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Parallel Model Checking Algorithms for Linear-Time Temporal Logic.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
Explicit state model checking with generalized Büchi and Rabin automata.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016
Multi-core on-the-fly SCC decomposition.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Multi-core SCC-Based LTL Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2016


  Loading...