Krzysztof Bilinski

According to our database, Krzysztof Bilinski authored at least 6 papers between 1994 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

1998

Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers.

Krzysztof Bilinski, Erik L. Dagless

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1996

Behavioral Synthesis of Complex Parallel Controllers.

Krzysztof Bilinski, Erik L. Dagless, Jonathan M. Saul

Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

Synchronous parallel controller synthesis from behavioural multiple-process VHDL description.

Krzysztof Bilinski, Erik L. Dagless, Jaroslaw Mirkowski

Proceedings of the conference on European design automation, 1996

High Level Synthesis of Synchronous Parallel Controllers.

Krzysztof Bilinski, Erik L. Dagless

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1994

An efficient verification algorithm for parallel controllers.

Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul, Janusz Szajna

Proceedings of the Proceedings EURO-DAC'94, 1994

Parallel controller synthesis from a Petri net specification.

Krzysztof Bilinski, Erik L. Dagless, Jonathan M. Saul, Marian Adamski

Proceedings of the Proceedings EURO-DAC'94, 1994