Feliks Kluzniak

According to our database, Feliks Kluzniak authored at least 20 papers between 1984 and 2024.

Collaborative distances:

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

2024

Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

Operations on Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022

An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Minimization of the Number of Clocks for Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020

Optimization of Timed Scenarios.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Synthesizing Clock-Efficient Timed Automata.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2018

Timed Scenarios: Consistency, Equivalence and Optimization.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Clock Allocation in Timed Automata and Graph Colouring.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

From Scenarios to Timed Automata.

Neda Saeedloei, Feliks Kluzniak

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2011

Infinite Computation, Co-induction and Computational Logic.

Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

1997

Spill - A Logic Language for Writing Testable Requirements Specifications.

Feliks Kluzniak, Miroslawa Milkowska

Sci. Comput. Program., 1997

1994

Readable, Runnable Requirements Specifications in SPILL-2.

Feliks Kluzniak, Miroslawa Milkowska

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Executable requirements Specifications in a Logic Specification Language SPILL-2.

Feliks Kluzniak, Miroslawa Milkowska

Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994

1991

Enriching Prolog with S-Unification.

Andreas Kågedal, Feliks Kluzniak

Proceedings of the Declarative Programming, 1991

1988

Towards a "Middle Road" Methodology for Writing Code Generators.

Feliks Kluzniak, Miroslawa Milkowska

Proceedings of the Programming Language Implementation and Logic Programming, 1988

Compile Time Garbage Collection for Ground Prolog.

Feliks Kluzniak

Proceedings of the Logic Programming, 1988

1987

Type Synthesis for Ground Prolog.

Feliks Kluzniak

Proceedings of the Logic Programming, 1987

1984

Prolog - a Panacea?

Feliks Kluzniak, Stan Szpakowicz

Proceedings of the Implementations of Prolog. , 1984

The 'Marseille Interpreter' - a Personal Perspective.

Feliks Kluzniak

Proceedings of the Implementations of Prolog. , 1984