Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Oortwijn, Wytse
37  Ergebnisse:
Personensuche X
?
1

gLTSdiff: A Generalized Framework for Structural Comparison..:

, In: 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS),
Hendriks, Dennis ; Oortwijn, Wytse - p. 285-295 , 2023
Link: https://doi.org/10.1109/..
 
?
2

A Multi-level Methodology for Behavioral Comparison of Soft..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Hendriks, Dennis ; Meer, Arjan van der ; Oortwijn, Wytse - p. 226-243 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Getting a Grip on the Ever‐Changing Software in Cyber‐Physi..:

Oortwijn, Wytse ; Hendriks, Dennis ; van der Meer, Arjan.
INSIGHT.  25 (2022)  4 - p. 89-95 , 2022
Link: https://doi.org/10.1002/..
 
?
4

Automated Verification of the Parallel Bellman–Ford Algorit..:

, In: Static Analysis; Lecture Notes in Computer Science,
Safari, Mohsen ; Oortwijn, Wytse ; Huisman, Marieke - p. 346-358 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Gobra: Modular Specification and Verification of Go Program:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Wolf, Felix A. ; Arquint, Linard ; Clochard, Martin... - p. 367-379 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Formal Verification of Parallel Prefix Sum:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Safari, Mohsen ; Oortwijn, Wytse ; Joosten, Sebastiaan. - p. 170-186 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Proceedings of the 22nd ACM SIGPLAN International Workshop ..:

Oortwijn, Wytse , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

Automated Verification of Parallel Nested DFS:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Oortwijn, Wytse ; Huisman, Marieke ; Joosten, Sebastiaan J. C.. - p. 247-265 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Practical Abstractions for Automated Verification of Shared..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Oortwijn, Wytse ; Gurov, Dilian ; Huisman, Marieke - p. 401-425 , 2020
Link: https://doi.org/10.1007/..
 
?
10

An Abstraction Technique for Verifying Shared-Memory Concur..:

Oortwijn, Wytse ; Gurov, Dilian ; Huisman, Marieke
Applied Sciences.  10 (2020)  11 - p. 3928 , 2020
Link: https://doi.org/10.3390/..
 
?
11

Practical Abstractions for Automated Verification of Messag..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Oortwijn, Wytse ; Huisman, Marieke - p. 399-417 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Formal Verification of an Industrial Safety-Critical Traffi..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Oortwijn, Wytse ; Huisman, Marieke - p. 418-436 , 2019
Link: https://doi.org/10.1007/..
 
?
13

An exercise in verifying sequential programs with VerCors:

, In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops,
Joosten, Sebastiaan J. C. ; Oortwijn, Wytse ; Safari, Mohsen. - p. 40-45 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Distributed binary decision diagrams for symbolic reachabil..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,
Oortwijn, Wytse ; Dijk, Tom van ; Pol, Jaco van de - p. 21-30 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Artifact for the paper 'gLTSdiff: A Generalized Framework f..:

Hendriks, Dennis ; Oortwijn, Wytse
doi:10.5281/zenodo.8096653.  , 2023
Link: https://zenodo.org/recor..
 
1-15