| 2002 |
|---|
| 14 | EE | Dragan Bosnacki,
Dennis Dams,
Leszek Holenderski:
Symmetric Spin.
STTT 4(1): 92-106 (2002) |
| 2001 |
|---|
| 13 | EE | Dragan Bosnacki,
Dennis Dams,
Leszek Holenderski:
A Heuristic for Symmetry Reductions with Scalarsets.
FME 2001: 518-533 |
| 12 | EE | Leszek Holenderski:
A Model Checking Project at Philips Research.
SPIN 2001: 288-295 |
| 2000 |
|---|
| 11 | EE | Leszek Holenderski:
Compositional Verification of Synchronous Networks.
FTRTFT 2000: 214-227 |
| 10 | | Dragan Bosnacki,
Dennis Dams,
Leszek Holenderski:
Symmetric Spin.
SPIN 2000: 1-19 |
| 9 | EE | Dragan Bosnacki,
Dennis Dams,
Leszek Holenderski,
Natalia Sidorova:
Model Checking SDL with Spin.
TACAS 2000: 363-377 |
| 1998 |
|---|
| 8 | | Axel Poigné,
Matthew Morley,
Olivier Maffeïs,
Leszek Holenderski,
Reinhard Budde:
The Synchronous Approach to Designing Reactive Systems.
Formal Methods in System Design 12(2): 163-187 (1998) |
| 1997 |
|---|
| 7 | EE | Axel Poigné,
Leszek Holenderski:
On the Combination of Synchronous Languages.
COMPOS 1997: 490-514 |
| 6 | | Leszek Holenderski,
Axel Poigné:
Synchronous Automata for Synchronous Programming Languages.
FBT 1997: 129-134 |
| 1995 |
|---|
| 5 | | Leszek Holenderski:
LUSTRE.
Formal Development of Reactive Systems 1995: 101-112 |
| 1988 |
|---|
| 4 | | Leszek Holenderski,
Andrzej Szalas:
Propositional Description of Finite Cause-Effect Structures.
Inf. Process. Lett. 27(3): 111-117 (1988) |
| 3 | | Andrzej Szalas,
Leszek Holenderski:
Incompleteness of First-Order Temporal Logic with Until.
Theor. Comput. Sci. 57: 317-325 (1988) |
| 1986 |
|---|
| 2 | | Leszek Holenderski:
The Correctness of Nondeterministic Programs Revisited.
Inf. Process. Lett. 23(6): 299-303 (1986) |
| 1984 |
|---|
| 1 | | Leszek Holenderski:
A Note on Specifying and Verifying Concurrent Processes.
Inf. Process. Lett. 18(2): 77-85 (1984) |
