Leszek Holenderski

According to our database, Leszek Holenderski authored at least 16 papers between 1984 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching.

Jorn Bakker, Leszek Holenderski, Rafal Kocielnik, Mykola Pechenizkiy, Natalia Sidorova

Proceedings of the ACM International Health Informatics Symposium, 2012

2002

Symmetric Spin.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski

Int. J. Softw. Tools Technol. Transf., 2002

2001

A Model Checking Project at Philips Research.

Leszek Holenderski

Proceedings of the Model Checking Software, 2001

A Heuristic for Symmetry Reductions with Scalarsets.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Model Checking SDL with Spin.

Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Compositional Verification of Synchronous Networks.

Leszek Holenderski

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1998

The Synchronous Approach to Designing Reactive Systems.

Axel Poigné, Matthew Morley, Olivier Maffeïs, Leszek Holenderski, Reinhard Budde

Formal Methods Syst. Des., 1998

Synchronie Workbench.

Leszek Holenderski, Axel Poigné

Proceedings of the International Workshop Tool Support for System Specification, 1998

1997

Synchronous Automata for Synchronous Programming Languages.

Leszek Holenderski, Axel Poigné

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

On the Combination of Synchronous Languages.

Axel Poigné, Leszek Holenderski

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

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

LUSTRE.

Leszek Holenderski

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

1988

Incompleteness of First-Order Temporal Logic with Until.

Andrzej Szalas, Leszek Holenderski

Theor. Comput. Sci., 1988

Propositional Description of Finite Cause-Effect Structures.

Leszek Holenderski, Andrzej Szalas

Inf. Process. Lett., 1988

1986

The Correctness of Nondeterministic Programs Revisited.

Leszek Holenderski

Inf. Process. Lett., 1986

1984

A Note on Specifying and Verifying Concurrent Processes.

Leszek Holenderski

Inf. Process. Lett., 1984