Výsledky vyhledávání - "Bloemen, Vincent"

Report

Minimal-Time Synthesis for Parametric Timed Automata

Autor: André, Étienne, Bloemen, Vincent, Petrucci, Laure, van de Pol, Jaco

Publikováno v: TACAS'19, Springer LNCS 11428, pages 211-228, April 2019

Parametric timed automata (PTA) extend timed automata by allowing parameters in clock constraints. Such a formalism is for instance useful when reasoning about unknown delays in a timed system. Using existing techniques, a user can synthesize the par

Externí odkaz: http://arxiv.org/abs/1902.03013

Zobrazit plný text záznamu

Akademický článek

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

Autor: Bloemen, Vincent, van Zelst, Sebastiaan, van der Aalst, Wil, van Dongen, Boudewijn, van de Pol, Jaco

Publikováno v: In Information Systems January 2022 103

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Maximizing Synchronization for Aligning Observed and Modelled Behaviour

Autor: Bloemen, Vincent, van Zelst, S.J., van der Aalst, W.M.P., van Dongen, B.F., van de Pol, Jaco, Weske, Mathias, Montali, Marco, vom Brocke, Jan, Weber, Ingo

Publikováno v: Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings, 11080, 233-249
Lecture Notes in Computer Science ISBN: 9783319986470
BPM
Business Process Management-16th International Conference, BPM 2018, Proceedings, 233-249
STARTPAGE=233;ENDPAGE=249;TITLE=Business Process Management-16th International Conference, BPM 2018, Proceedings

Conformance checking is a branch of process mining that aims to assess to what degree event data originating from the execution of a (business) process and a corresponding reference model conform to each other. Alignments have been recently introduce

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db5b3c9e2fbf0f9b4e263a6b55385851
https://doi.org/10.1007/978-3-319-98648-7_14

Zobrazit plný text záznamu

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Autor: Barnat, Jiri, Bloemen, Vincent, Duret-Lutz, Alexandre, Laarman, Alfons, Petrucci, Laure, van de Pol, Jaco, Renault, Etienne, Hamadi, Youssef, Sais, Lakhdar

Publikováno v: Handbook of Parallel Constraint Reasoning, 457-507
STARTPAGE=457;ENDPAGE=507;TITLE=Handbook of Parallel Constraint Reasoning
Handbook of Parallel Constraint Reasoning ISBN: 9783319635156
Handbook of Parallel Constraint Reasoning

Model checking is a fully automated, formal method for demonstrating absence of bugs in reactive systems. Here, bugs are violations of properties in Linear-time Temporal Logic (LTL). A fundamental challenge to its application is the exponential explo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cef84b08843fd21b258dba5871603470
https://research.utwente.nl/en/publications/68f894f1-2e5c-4b1e-8f4d-04739f68f673

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Parallel Model Checking of ω-Automata

Autor: Bloemen, Vincent, Butterfield, Andrew, Rossi, Matteo

Publikováno v: Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016)

Specifications for non-terminating reactive systems are described by ω-regular properties. Such properties can be translated in various types of automata, e.g. Büchi, Rabin, and Parity. A model checker can then check for language containment and de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e18522a54d9b9f6ab83d0b02d72f84ca
https://research.utwente.nl/en/publications/cd55e841-b1f9-4fb5-ae2a-c534b92884be

Zobrazit plný text záznamu

Multi-core SCC-Based LTL Model Checking

Autor: Bloemen, Vincent, van de Pol, Jan Cornelis, Bloem, Roderick, Arbel, Eli

Publikováno v: Hardware and Software: Verification and Testing ISBN: 9783319490519
Haifa Verification Conference
Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016, 18-33
STARTPAGE=18;ENDPAGE=33;TITLE=Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016

We investigate and improve the scalability of multi-core LTL model checking. Our algorithm, based on parallel DFS-like SCC decomposition, is able to efficiently decompose large SCCs on-the-fly, which is a difficult problem to solve in parallel. To va

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::713398f74c71ad8bb1a524ddfdc9c764
https://doi.org/10.1007/978-3-319-49052-6_2

Zobrazit plný text záznamu

Extending the Finite Domain Solver of GNU Prolog

Autor: Bloemen, Vincent, Diaz, Daniel, van der Bijl, Machiel, Abreu, Salvador, Ströder, Thomas, Swift, Terrance

Publikováno v: Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014, 47-62
STARTPAGE=47;ENDPAGE=62;TITLE=Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014

This paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::dba5a354757af0061dae48c663932d18
https://research.utwente.nl/en/publications/7fbf5cb7-4ccc-479a-b365-500a7e70e236

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání