The ForSpec temporal logic: A new temporal property-specification language. Zbl 1043.68563
Armoni, Roy; Fix, Limor; Flaisher, Alon; Gerth, Rob; Ginsburg, Boris; Kanza, Tomer; Landver, Avner; Mador-Haim, Sela; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zbar, Yael |
|
2002
|
A partial order approach to branching time logic model checking. Zbl 1045.68588
Gerth, Rob; Kuiper, Ruurd; Peled, Doron; Penczek, Wojciech |
|
1999
|
The \(\mu\)-calculus as an assertion-language for fairness arguments. Zbl 0678.68010
Stomp, F. A.; de Roever, W. P.; Gerth, R. T. |
|
1989
|
Modelling Statecharts behaviour in a fully abstract way. Zbl 0647.68018
Huizing, C.; Gerth, R.; de Roever, W. P. |
|
1988
|
A timed failures model for extended communicating processes. Zbl 0623.68022
Gerth, Rob; Boucher, Andy |
|
1987
|
Compositional semantics for real-time distributed computing. Zbl 0669.68055
Koyman, R.; Shyamasundar, R. K.; De Roever, W. P.; Gerth, R.; Arun-Kumar, S. |
|
1988
|
Proving monitors revisited: A first step towards verifying object oriented systems. Zbl 0617.68026
Gerth, Rob; de Roever, W. P. |
|
1986
|
A proof system for concurrent ADA programs. Zbl 0536.68009
Gerth, Rob; de Roever, Willem P. |
|
1984
|
Compositional semantics for real-time distributed computing. Zbl 0565.68026
Koymans, R.; Shyamasundar, R. K.; de Roever, W. P.; Gerth, R.; Arun-Kumar, S. |
|
1985
|
Improving partial order reductions for universal branching time properties. Zbl 0966.68126
Penczek, Wojciech; Szreter, Maciej; Gerth, Rob; Kuiper, Ruurd |
|
2000
|
Procedures and concurrency: a study in proof. Zbl 0493.68019
Gerth, Rob; De Roever, Willem P.; Roncken, Marly |
|
1982
|
On proving communication closedness of distributed layers. Zbl 0604.68028
Gerth, Rob; Shrira, Liuba |
|
1986
|
Partial-order reduction techniques for real-time model checking. Zbl 0952.68070
Dams, Dennis; Gerth, Rob; Knaack, Bart; Kuiper, Ruurd |
|
1998
|
The bounded retransmission protocol revisited. Extended abstract. Zbl 0907.68122
Dams, Dennis; Gerth, Rob |
|
1997
|
A proof system for Brinch Hansen’s distributed processes. Zbl 0476.68023
Roncken, M.; Gerth, R.; De Roever, W. P. |
|
1981
|
A study in distributed systems and Dutch patriotism. Zbl 0547.68025
Gerth, Rob; de Roever, Willem P.; Roncken, Marly |
|
1982
|
Sequential consistency and the lazy caching algorithm. Zbl 1448.68101
Gerth, Rob |
|
1999
|
The ForSpec temporal logic: A new temporal property-specification language. Zbl 1043.68563
Armoni, Roy; Fix, Limor; Flaisher, Alon; Gerth, Rob; Ginsburg, Boris; Kanza, Tomer; Landver, Avner; Mador-Haim, Sela; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zbar, Yael |
|
2002
|
Improving partial order reductions for universal branching time properties. Zbl 0966.68126
Penczek, Wojciech; Szreter, Maciej; Gerth, Rob; Kuiper, Ruurd |
|
2000
|
A partial order approach to branching time logic model checking. Zbl 1045.68588
Gerth, Rob; Kuiper, Ruurd; Peled, Doron; Penczek, Wojciech |
|
1999
|
Sequential consistency and the lazy caching algorithm. Zbl 1448.68101
Gerth, Rob |
|
1999
|
Partial-order reduction techniques for real-time model checking. Zbl 0952.68070
Dams, Dennis; Gerth, Rob; Knaack, Bart; Kuiper, Ruurd |
|
1998
|
The bounded retransmission protocol revisited. Extended abstract. Zbl 0907.68122
Dams, Dennis; Gerth, Rob |
|
1997
|
The \(\mu\)-calculus as an assertion-language for fairness arguments. Zbl 0678.68010
Stomp, F. A.; de Roever, W. P.; Gerth, R. T. |
|
1989
|
Modelling Statecharts behaviour in a fully abstract way. Zbl 0647.68018
Huizing, C.; Gerth, R.; de Roever, W. P. |
|
1988
|
Compositional semantics for real-time distributed computing. Zbl 0669.68055
Koyman, R.; Shyamasundar, R. K.; De Roever, W. P.; Gerth, R.; Arun-Kumar, S. |
|
1988
|
A timed failures model for extended communicating processes. Zbl 0623.68022
Gerth, Rob; Boucher, Andy |
|
1987
|
Proving monitors revisited: A first step towards verifying object oriented systems. Zbl 0617.68026
Gerth, Rob; de Roever, W. P. |
|
1986
|
On proving communication closedness of distributed layers. Zbl 0604.68028
Gerth, Rob; Shrira, Liuba |
|
1986
|
Compositional semantics for real-time distributed computing. Zbl 0565.68026
Koymans, R.; Shyamasundar, R. K.; de Roever, W. P.; Gerth, R.; Arun-Kumar, S. |
|
1985
|
A proof system for concurrent ADA programs. Zbl 0536.68009
Gerth, Rob; de Roever, Willem P. |
|
1984
|
Procedures and concurrency: a study in proof. Zbl 0493.68019
Gerth, Rob; De Roever, Willem P.; Roncken, Marly |
|
1982
|
A study in distributed systems and Dutch patriotism. Zbl 0547.68025
Gerth, Rob; de Roever, Willem P.; Roncken, Marly |
|
1982
|
A proof system for Brinch Hansen’s distributed processes. Zbl 0476.68023
Roncken, M.; Gerth, R.; De Roever, W. P. |
|
1981
|