A Note on Specifying and Verifying Concurrent Processes. - Leszek Holenderski (Inf. Process. Lett., 1984)

The Correctness of Nondeterministic Programs Revisited. - Leszek Holenderski (Inf. Process. Lett., 1986)

Propositional Description of Finite Cause-Effect Structures. - Leszek Holenderski; Andrzej Szalas (Inf. Process. Lett., 1988)

Incompleteness of First-Order Temporal Logic with Until. - Andrzej Szalas; Leszek Holenderski (Theor. Comput. Sci., 1988)

LUSTRE. - Leszek Holenderski (Formal Development of Reactive Systems, 1995)

Systematic testing and formal verification to validate reactive programs. - Monika Müllerburg; Leszek Holenderski; Olivier Maffeïs; Agathe Merceron; Matthew Morley (Softw. Qual. J., 1995)

On the Combination of Synchronous Languages. - Axel Poigné; Leszek Holenderski (COMPOS, 1997)

Synchronous Automata for Synchronous Programming Languages. - Leszek Holenderski; Axel Poigné (FBT, 1997)

Synchronie Workbench. - Leszek Holenderski; Axel Poigné (Tool Support for System Specification, Development and Verification, 1998)

The Synchronous Approach to Designing Reactive Systems. - Axel Poigné; Matthew Morley; Olivier Maffeïs; Leszek Holenderski; Reinhard Budde (Formal Methods Syst. Des., 1998)

Compositional Verification of Synchronous Networks. - Leszek Holenderski (FTRTFT, 2000)

Model Checking SDL with Spin. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski; Natalia Sidorova (TACAS, 2000)

A Heuristic for Symmetry Reductions with Scalarsets. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski (FME, 2001)

A Model Checking Project at Philips Research. - Leszek Holenderski (SPIN, 2001)

Symmetric Spin. - Dragan Bosnacki; Dennis Dams; Leszek Holenderski (Int. J. Softw. Tools Technol. Transf., 2002)

Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching. - Jorn Bakker; Leszek Holenderski; Rafal Kocielnik; Mykola Pechenizkiy; Natalia Sidorova (IHI, 2012)