Jan Hlavicka

According to our database, Jan Hlavicka authored at least 20 papers between 1970 and 2004.

Collaborative distances:

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

2004

Dependability Evaluation of Time Triggered Architecture Using Simulation.

Stanislav Racek, Pavel Herout, Jan Hlavicka

Comput. Artif. Intell., 2004

2003

BOOM - A Heuristic Boolean Minimizer.

Jan Hlavicka, Petr Fiser

Comput. Artif. Intell., 2003

FC-Min: A Fast Multi-Output Boolean Minimizer.

Petr Fiser, Jan Hlavicka, Hana Kubátová

Proceedings of the 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), 2003

2002

Fault-Tolerant FPGA-Based Systems.

Khaled Elshafey, Jan Hlavicka

Comput. Artif. Intell., 2002

Fault Tolerance Evaluation Using Two Software Based Fault Injection Methods.

Astrit Ademaj, Petr Grillinger, Pavel Herout, Jan Hlavicka

Proceedings of the 8th IEEE International On-Line Testing Workshop (IOLTW 2002), 2002

Model-Based Dependability Evaluation Method for TTP/C Based Systems.

Pavel Herout, Stanislav Racek, Jan Hlavicka

Proceedings of the Dependable Computing, 2002

C-Sim - The C Language Enhancement for Discrete-Time Simulations.

Jan Hlavicka, Stanislav Racek

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Minimization and Partitioning Method Reducing Input Sets.

Jan Hlavicka, Petr Fiser

Proceedings of the 1st IEEE International Workshop on Electronic Design, 2002

2001

On the Use of Mutations in Boolean Minimization.

Petr Fiser, Jan Hlavicka

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

2000

Evaluation of process controller fault tolerance using simulation.

Jan Hlavicka, Stanislav Racek, Pavel Herout

Simul. Pract. Theory, 2000

Formal Approach to the RTL Testability Analysis.

Zdenek Kotásek, Richard Ruzicka, Jan Hlavicka

Proceedings of the 1st Latin American Test Workshop, 2000

1997

RT Level Test Scheduling.

Jan Blatný, Zdenek Kotásek, Jan Hlavicka

Comput. Artif. Intell., 1997

1996

Guest Editors' Introduction: East Meets West.

Yervant Zorian, Jan Hlavicka

IEEE Des. Test Comput., 1996

Functional Validation of Fault-Tolerant Asynchronous Algorithms.

Jan Hlavicka, Stanislav Racek, Pavel Smrha

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1994

Position Paper.

Jan Hlavicka

Proceedings of the Dependable Computing, 1994

1991

On the Complexity of System-Level Diagnosis Algorithms.

Jan Hlavicka

Proceedings of the Computer Aided Systems Theory, 1991

1989

Validation and Verification of Hardware and Software (Position Statement).

Jan Hlavicka

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Pseudoexhaustive Test Pattern Generator with Enhanced Fault Coverage.

P. Golan, Ondrej Novák, Jan Hlavicka

IEEE Trans. Computers, 1988

1973

Automatische Belegung von Flachbaugruppen im System PENTA-3.

Jan Hlavicka

Elektron. Rechenanlagen, 1973

1970

Essential Hazard Correction Without the Use of Delay Elements.

Jan Hlavicka

IEEE Trans. Computers, 1970