E-LIB Suche - Ergebnisse für: van de Pol, Jaco

1

Implicit QBF Encodings for Positional Games:

, In: Lecture Notes in Computer Science; Advances in Computer Games,

Shaik, Irfansha ; Mayer-Eichberger, Valentin ; van de Pol, Jaco. - p. 133-145 , 2024

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

2

On-The-Fly Algorithm for Reachability in Parametric Timed G..:

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

Dahlsen-Jensen, Mikael Bisgaard ; Fievet, Baptiste ; Petrucci, Laure. - p. 194-212 , 2024

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

3

Fast Symbolic Computation of Bottom SCCs:

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

Jakobsen, Anna Blume ; Jørgensen, Rasmus Skibdahl Melanchton ; van de Pol, Jaco. - p. 110-128 , 2024

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

4

Correction to: The 2020 Expert Survey on Formal Methods:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Garavel, Hubert ; ter Beek, Maurice H. ; van de Pol, Jaco - p. C2-C2 , 2024

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

5

A Truly Symbolic Linear-Time Algorithm for SCC Decompositio:

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

Larsen, Casper Abild ; Schmidt, Simon Meldahl ; Steensgaard, Jesper... - p. 353-371 , 2023

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

6

Predicting Memory Demands of BDD Operations Using Maximum G..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Sølvsten, Steffan Christ ; van de Pol, Jaco - p. 72-92 , 2023

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

7

Adiar 1.1: Zero-Suppressed Decision Diagrams in External Me..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Sølvsten, Steffan Christ ; van de Pol, Jaco - p. 464-471 , 2023

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

8

A manifesto for applicable formal methods:

Gleirscher, Mario ; van de Pol, Jaco ; Woodcock, Jim
Software and Systems Modeling. 22 (2023) 6 - p. 1737-1749 , 2023

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

9

Optimal Layout Synthesis for Quantum Circuits as Classical ..:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),

Shaik, Irfansha ; van de Pol, Jaco - p. 1-9 , 2023

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

10

Fast and Efficient Boolean Unification for Hindley-Milner-S..:

Madsen, Magnus ; van de Pol, Jaco ; Henriksen, Troels
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 516-543 , 2023

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

11

Efficient Convex Zone Merging in Parametric Timed Automata:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

André, Étienne ; Marinho, Dylan ; Petrucci, Laure. - p. 200-218 , 2022

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

12

Verification and synthesis of co-simulation algorithms subj..:

Hansen, Simon Thrane ; Thule, Casper ; Gomes, Cláudio...
International Journal on Software Tools for Technology Transfer. 24 (2022) 6 - p. 999-1024 , 2022

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

13

Adiar Binary Decision Diagrams in External Memory:

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

Sølvsten, Steffan Christ ; de Pol, Jaco van ; Jakobsen, Anna Blume. - p. 295-313 , 2022

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

14

Aligning observed and modelled behaviour by maximizing sync..:

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

Link: https://doi.org/10.1016/..

15

Exploring a Parallel SCC Algorithm: Using $$\text {TLA}^{+}..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

van de Pol, Jaco - p. 535-555 , 2022

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