Leszek Holenderski

17 papers A 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2012 — conf
Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching.
IHI
Jorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova
2002 J jnl
Symmetric Spin.
Int. J. Softw. Tools Technol. Transf.
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
2001 — conf
A Heuristic for Symmetry Reductions with Scalarsets.
FME
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
2001 — conf
A Model Checking Project at Philips Research.
SPIN
Leszek Holenderski
2000 — conf
Compositional Verification of Synchronous Networks.
FTRTFT
Leszek Holenderski
2000 A conf
Model Checking SDL with Spin.
TACAS
Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
2000 — conf
Symmetric Spin.
SPIN
Dragan Bosnacki, Dennis Dams, Leszek Holenderski
1998 — conf
Synchronie Workbench.
Tool Support for System Specification, Development and Verification
Leszek Holenderski, Axel Poigné
1998 J jnl
The Synchronous Approach to Designing Reactive Systems.
Formal Methods Syst. Des.
Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde
1997 — conf
On the Combination of Synchronous Languages.
COMPOS
Axel Poigné, Leszek Holenderski
1997 — conf
Synchronous Automata for Synchronous Programming Languages.
FBT
Leszek Holenderski, Axel Poigné
1995 — ch.
LUSTRE.
Formal Development of Reactive Systems
Leszek Holenderski
1995 J jnl
Systematic testing and formal verification to validate reactive programs.
Softw. Qual. J.
Monika Müllerburg, Leszek Holenderski, Olivier Maffeïs, Agathe Merceron, Matthew Morley
1988 J jnl
Incompleteness of First-Order Temporal Logic with Until.
Theor. Comput. Sci.
Andrzej Szalas, Leszek Holenderski
1988 J jnl
Propositional Description of Finite Cause-Effect Structures.
Inf. Process. Lett.
Leszek Holenderski, Andrzej Szalas
1986 J jnl
The Correctness of Nondeterministic Programs Revisited.
Inf. Process. Lett.
Leszek Holenderski
1984 J jnl
A Note on Specifying and Verifying Concurrent Processes.
Inf. Process. Lett.
Leszek Holenderski