Suchergebnisse - Cranen, Sjoerd

1

A linear translation from CTL to the first-order modal μ -calculus von Cranen, Sjoerd, Groote, Jan Friso, Reniers, Michel

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Model Checking the FlexRay Startup Phase von Cranen, Sjoerd

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Parity game reductions von Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Abstraction in Fixpoint Logic von Cranen, Sjoerd, Gazda, Maciej, Wesselink, Wieger, Willemse, Tim A. C.

Veröffentlicht in ACM transactions on computational logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

An Overview of the mCRL2 Toolset and Its Recent Advances von Cranen, Sjoerd, Groote, Jan Friso, Keiren, Jeroen J. A., Stappers, Frank P. M., de Vink, Erik P., Wesselink, Wieger, Willemse, Tim A. C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Stuttering Mostly Speeds Up Solving Parity Games von Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Proof Graphs for Parameterised Boolean Equation Systems von Cranen, Sjoerd, Luttik, Bas, Willemse, Tim A. C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

A Rule Format for Associativity von Cranen, Sjoerd, Mousavi, MohammadReza, Reniers, Michel A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

A Cure for Stuttering Parity Games von Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings von Stoelinga, Mariëlle, Pinger, Ralf

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice... von Piterman, Nir, Smolka, Scott

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings von Roychoudhury, Abhik, D´Souza, Meenakshi

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems von Cranen, Sjoerd, Bril, R. J.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Stuttering Equivalence for Parity Games von Cranen, Sjoerd, Keiren, Jeroen J. A, Willemse, Tim A. C

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Stuttering Equivalence for Parity Games von Cranen, Sjoerd, Keiren, Jeroen J A, Willemse, Tim A C

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

A linear translation from CTL to the first-order modal μ -calculus von Cranen, Sjoerd, Groote, Jan Friso, Reniers, Michel

Model Checking the FlexRay Startup Phase von Cranen, Sjoerd

Parity game reductions von Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

Abstraction in Fixpoint Logic von Cranen, Sjoerd, Gazda, Maciej, Wesselink, Wieger, Willemse, Tim A. C.

An Overview of the mCRL2 Toolset and Its Recent Advances von Cranen, Sjoerd, Groote, Jan Friso, Keiren, Jeroen J. A., Stappers, Frank P. M., de Vink, Erik P., Wesselink, Wieger, Willemse, Tim A. C.

Stuttering Mostly Speeds Up Solving Parity Games von Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

Proof Graphs for Parameterised Boolean Equation Systems von Cranen, Sjoerd, Luttik, Bas, Willemse, Tim A. C.

A Rule Format for Associativity von Cranen, Sjoerd, Mousavi, MohammadReza, Reniers, Michel A.

A Cure for Stuttering Parity Games von Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings von Stoelinga, Mariëlle, Pinger, Ralf

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice... von Piterman, Nir, Smolka, Scott

Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings von Roychoudhury, Abhik, D´Souza, Meenakshi

Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems von Cranen, Sjoerd, Bril, R. J.

Stuttering Equivalence for Parity Games von Cranen, Sjoerd, Keiren, Jeroen J. A, Willemse, Tim A. C

Stuttering Equivalence for Parity Games von Cranen, Sjoerd, Keiren, Jeroen J A, Willemse, Tim A C

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle