Károly Tilly

According to our database, Károly Tilly authored at least 4 papers between 1993 and 2010.

Collaborative distances:

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

2010

Semantic User Interfaces.

Károly Tilly, Zoltán Porkoláb

Int. J. Enterp. Inf. Syst., 2010

1995

A Method for the Construction and Interpretation of High-Level Models for Distributed Fault-Tolerant Systems.

Károly Tilly, István Kiss, Gyula Román, Tadeusz P. Dobrowiecki, Annamária R. Várkonyi-Kóczy

Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

CONTEST: A Constraint-based Framework for Automatic Test Pattern Generation in Digital Circuits.

Károly Tilly, Lászlo Surján

Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence, 1995

1993

Automatic test pattern generation can be solved as a constraint satisfaction problem.

Károly Tilly, Lászlo Surján, Gyula Román

Microprocess. Microprogramming, 1993