Jan Hlavicka - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2004

Dependability Evaluation of Time Triggered Architecture Using SimulationStanislav Racek, Pavel Herout, Jan Hlavicka. cai, 23(1):51-76, 2004.

2003

FC-Min: A Fast Multi-Output Boolean MinimizerPetr Fiser, Jan Hlavicka, Hana Kubatova. dsdm 2003: 451-454 [doi]

BOOM - A Heuristic Boolean MinimizerPetr Fiser, Jan Hlavicka. cai, 22(1):19-51, 2003.

2002

2001

On the Use of Mutations in Boolean MinimizationPetr Fiser, Jan Hlavicka. dsdm 2001: 300-309 [doi]

BOOM - A Heuristic Boolean MinimizerJan Hlavicka, Petr Fiser. iccad 2001: 439-442 [doi]

2000

Evaluation of process controller fault tolerance using simulationJan Hlavicka, Stanislav Racek, Pavel Herout. simpra, 7(8):769-790, 2000. [doi]

Formal Approach to the RTL Testability AnalysisZdenek Kotásek, Richard Ruzicka, Jan Hlavicka. latw 2012: 256-261

1997

RT Level Test SchedulingJ. Blatný, Zdenek Kotásek, Jan Hlavicka. cai, 16(1):13-29, 1997.

1996

Functional Validation of Fault-Tolerant Asynchronous AlgorithmsJan Hlavicka, Stanislav Racek, Pavel Smrha. euromicro 1996: 143-150 [doi]

Guest Editors Introduction: East Meets WestYervant Zorian, Jan Hlavicka. dt, 13(1):5-7, 1996.

1994

Position PaperJan Hlavicka. edcc 1994: 411

1991

On the Complexity of System-Level Diagnosis AlgorithmsJan Hlavicka. eurocast 1992: 352-364

1989

Validation and Verification of Hardware and Software (Position Statement)Jan Hlavicka. ifip 1989: 343

1988

Pseudoexhaustive Test Pattern Generator with Enhanced Fault CoverageP. Golan, Ondrej Novák, Jan Hlavicka. TC, 37(4):496-500, 1988.

1973

Automatische Belegung von Flachbaugruppen im System PENTA-3Jan Hlavicka. it, 15(1):25-28, 1973.

1970

Essential Hazard Correction Without the Use of Delay ElementsJan Hlavicka. TC, 19(3):232-238, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL