Suchergebnisse - Willemse, T. A. C.

1

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems von Ploeger, B., Wesselink, J.W., Willemse, T.A.C.

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A Symbolic Framework for Model-Based Testing von Frantzen, L., Tretmans, J., Willemse, T. A. C.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Experiences in developing the mCRL2 toolset von Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W., Willemse, T. A. C.

Veröffentlicht in Software, practice & experience

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Results on Embeddings Between State-Based and Event-Based Systems von Reniers, Michel A, Schoren, Rob, Willemse, Tim AC

Veröffentlicht in Computer journal

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

On Parity Game Preorders and the Logic of Matching Plays von Gazda, M. W., Willemse, T. A. C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conferen... von Peters, Kirstin, Willemse, Tim A. C

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Folk Theorems on the Correspondence between State-Based and Event-Based Systems von Reniers, M A, Willemse, T A C

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Capturing Smart Contract Design with DCR Graphs von Eshghie, Mojtaba, Ahrendt, Wolfgang, Artho, Cyrille, Hildebrandt, Thomas Troels, Schneider, Gerardo

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Parity Game Reductions von Cranen, S, Keiren, J. J. A, Willemse, T. A. C

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Tutorial: Designing Distributed Software in mCRL2 von Groote, Jan Friso, Keiren, Jeroen J. A.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Instantiation for Parameterised Boolean Equation Systems von van Dam, A., Ploeger, B., Willemse, T. A. C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Formal Verification of HotStuff von Jehl, Leander

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

How Adaptive and Reliable is Your Program? von Castiglioni, Valentina, Loreti, Michele, Tini, Simone

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

On Bidirectional Runtime Enforcement von Aceto, Luca, Cassar, Ian, Francalanza, Adrian, Ingólfsdóttir, Anna

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves von Gorrieri, Roberto

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker von Conchon, Sylvain, Korneva, Alexandrina

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Refinements for Open Automata von Ameur-Boulifa, Rabéa, Corradi, Quentin, Henrio, Ludovic, Madelaine, Eric

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Refactoring of Multi-instance BPMN Processes with Time and Resources von Nivon, Quentin, Salaün, Gwen

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Guiding Symbolic Execution with A-Star von De Castro Pinto, Theo, Rollet, Antoine, Sutre, Grégoire, Tobor, Ireneusz

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Prioritise the Best Variation von Kokke, Wen, Dardha, Ornela

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[39]

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems von Ploeger, B., Wesselink, J.W., Willemse, T.A.C.

A Symbolic Framework for Model-Based Testing von Frantzen, L., Tretmans, J., Willemse, T. A. C.

Experiences in developing the mCRL2 toolset von Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W., Willemse, T. A. C.

Results on Embeddings Between State-Based and Event-Based Systems von Reniers, Michel A, Schoren, Rob, Willemse, Tim AC

On Parity Game Preorders and the Logic of Matching Plays von Gazda, M. W., Willemse, T. A. C.

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conferen... von Peters, Kirstin, Willemse, Tim A. C

Folk Theorems on the Correspondence between State-Based and Event-Based Systems von Reniers, M A, Willemse, T A C

Capturing Smart Contract Design with DCR Graphs von Eshghie, Mojtaba, Ahrendt, Wolfgang, Artho, Cyrille, Hildebrandt, Thomas Troels, Schneider, Gerardo

Parity Game Reductions von Cranen, S, Keiren, J. J. A, Willemse, T. A. C

Tutorial: Designing Distributed Software in mCRL2 von Groote, Jan Friso, Keiren, Jeroen J. A.

Instantiation for Parameterised Boolean Equation Systems von van Dam, A., Ploeger, B., Willemse, T. A. C.

Formal Verification of HotStuff von Jehl, Leander

How Adaptive and Reliable is Your Program? von Castiglioni, Valentina, Loreti, Michele, Tini, Simone

On Bidirectional Runtime Enforcement von Aceto, Luca, Cassar, Ian, Francalanza, Adrian, Ingólfsdóttir, Anna

Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves von Gorrieri, Roberto

The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker von Conchon, Sylvain, Korneva, Alexandrina

Refinements for Open Automata von Ameur-Boulifa, Rabéa, Corradi, Quentin, Henrio, Ludovic, Madelaine, Eric

Refactoring of Multi-instance BPMN Processes with Time and Resources von Nivon, Quentin, Salaün, Gwen

Guiding Symbolic Execution with A-Star von De Castro Pinto, Theo, Rollet, Antoine, Sutre, Grégoire, Tobor, Ireneusz

Prioritise the Best Variation von Kokke, Wen, Dardha, Ornela

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle