Krzysztof Bilinski

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Publications

Krzysztof Bilinski, Erik L. Dagless
Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers. ACSD (1998)
Krzysztof Bilinski, Erik L. Dagless, Jaroslaw Mirkowski
Synchronous parallel controller synthesis from behavioural multiple-process VHDL description. EURO-DAC (1996)
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. Saul
Behavioral Synthesis of Complex Parallel Controllers. VLSI Design (1996)
Krzysztof Bilinski, Erik L. Dagless
High Level Synthesis of Synchronous Parallel Controllers. Application and Theory of Petri Nets (1996)
Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul, Janusz Szajna
An efficient verification algorithm for parallel controllers. EURO-DAC (1994)
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. Saul, Marian Adamski
Parallel controller synthesis from a Petri net specification. EURO-DAC (1994)