Feliks Kluzniak

dblp:27/360 · DBLP profile ↗
← Back
10ranked-venue papers
2as first author
5since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 7 · 2 first-author · 4 since 2021Theory of computation · 6 · 1 first-author · 2 since 2021Computer networks · 2 · 2 since 2021
YearPublicationVenuePosition
2026 Timed Scenario Expressions and Realisability
Neda Saeedloei, Feliks Kluzniak
COORDINATION2
2025 Distributed Timed Scenarios
Neda Saeedloei, Feliks Kluzniak
iFM2
2024 Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios
Neda Saeedloei, Feliks Kluzniak
FORTE2
2023 Operations on Timed Scenarios
Neda Saeedloei, Feliks Kluzniak
FORTE2
2022 Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
Neda Saeedloei, Feliks Kluzniak
IFM2
2020 Synthesizing Clock-Efficient Timed Automata
Neda Saeedloei, Feliks Kluzniak
IFM2
2018 Clock Allocation in Timed Automata and Graph Colouring
abstract
We consider the problem of optimal clock allocation for a fairly general class of timed automata, TAS, under the safe assumption that all locations are reachable. Techniques similar to those used in compiler technology allow us to construct an interference graph: the problem of clock allocation for timed automata in TAS can be reduced to that of colouring this graph. We then describe a class of timed automata, TADS ⊊ TAS, for which optimal clock allocation can be computed in polynomial time, because the corresponding interference graphs are perfect. Finally, we discuss some of the difficulties in applying similar techniques to timed automata outside TAS.
Neda Saeedloei, Feliks Kluzniak
HSCC2
2011 Infinite Computation, Co-induction and Computational Logic
Gopal Gupta 0001, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
CALCO6
1997 Spill - A Logic Language for Writing Testable Requirements Specifications
Feliks Kluzniak, Miroslawa Milkowska
Sci. Comput. Program.1
1987 Type Synthesis for Ground Prolog
Feliks Kluzniak
ICLP1