Leszek Holenderski

Publication Activity (10 Years)

Years Active: 1984-2012
Publications (10 Years): 0

Top Topics

Deeper Understanding

Prediction Algorithm

Adaptive Learning

Top Venues

Publications

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