dblp.uni-trier.dewww.uni-trier.de

Leszek Holenderski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
14EEDragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. STTT 4(1): 92-106 (2002)
2001
13EEDragan Bosnacki, Dennis Dams, Leszek Holenderski: A Heuristic for Symmetry Reductions with Scalarsets. FME 2001: 518-533
12EELeszek Holenderski: A Model Checking Project at Philips Research. SPIN 2001: 288-295
2000
11EELeszek Holenderski: Compositional Verification of Synchronous Networks. FTRTFT 2000: 214-227
10 Dragan Bosnacki, Dennis Dams, Leszek Holenderski: Symmetric Spin. SPIN 2000: 1-19
9EEDragan 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
7EEAxel 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)

Coauthor Index

1Dragan Bosnacki [9] [10] [13] [14]
2Reinhard Budde [8]
3Dennis Dams [9] [10] [13] [14]
4Olivier Maffeïs [8]
5Matthew Morley [8]
6Axel Poigné [6] [7] [8]
7Natalia Sidorova [9]
8Andrzej Szalas [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)