Jan Hlavicka

22 papers A 2C 2Misc 3Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2004 J jnl
Dependability Evaluation of Time Triggered Architecture Using Simulation.
Comput. Artif. Intell.
Stanislav Racek, Pavel Herout, Jan Hlavicka
2003 J jnl
BOOM - A Heuristic Boolean Minimizer.
Comput. Artif. Intell.
Jan Hlavicka, Petr Fiser
2003 C conf
FC-Min: A Fast Multi-Output Boolean Minimizer.
DSD
Petr Fiser, Jan Hlavicka, Hana Kubátová
2002 A conf
C-Sim - The C Language Enhancement for Discrete-Time Simulations.
DSN
Jan Hlavicka, Stanislav Racek
2002 — conf
Fault Tolerance Evaluation Using Two Software Based Fault Injection Methods.
IOLTW
Astrit Ademaj, Petr Grillinger, Pavel Herout, Jan Hlavicka
2002 J jnl
Fault-Tolerant FPGA-Based Systems.
Comput. Artif. Intell.
Khaled Elshafey, Jan Hlavicka
2002 — conf
Minimization and Partitioning Method Reducing Input Sets.
DELTA
Jan Hlavicka, Petr Fiser
2002 Misc conf
Model-Based Dependability Evaluation Method for TTP/C Based Systems.
EDCC
Pavel Herout, Stanislav Racek, Jan Hlavicka
2001 A conf
BOOM - A Heuristic Boolean Minimizer.
ICCAD
Jan Hlavicka, Petr Fiser
2001 C conf
On the Use of Mutations in Boolean Minimization.
DSD
Petr Fiser, Jan Hlavicka
2000 J jnl
Evaluation of process controller fault tolerance using simulation.
Simul. Pract. Theory
Jan Hlavicka, Stanislav Racek, Pavel Herout
2000 — conf
Formal Approach to the RTL Testability Analysis.
LATW
Zdenek Kotásek, Richard Ruzicka, Jan Hlavicka
1999 Misc ed.
Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
EDCC
Jan Hlavicka, Erik Maehle, András Pataricza
1997 J jnl
RT Level Test Scheduling.
Comput. Artif. Intell.
Jan Blatný, Zdenek Kotásek, Jan Hlavicka
1996 — conf
Functional Validation of Fault-Tolerant Asynchronous Algorithms.
EUROMICRO
Jan Hlavicka, Stanislav Racek, Pavel Smrha
1996 J jnl
Guest Editors' Introduction: East Meets West.
IEEE Des. Test Comput.
Yervant Zorian, Jan Hlavicka
1994 Misc conf
Position Paper.
EDCC
Jan Hlavicka
1991 — conf
On the Complexity of System-Level Diagnosis Algorithms.
EUROCAST
Jan Hlavicka
1989 — conf
Validation and Verification of Hardware and Software (Position Statement).
IFIP Congress
Jan Hlavicka
1988 J jnl
Pseudoexhaustive Test Pattern Generator with Enhanced Fault Coverage.
IEEE Trans. Computers
Petr Golan, Ondrej Novák, Jan Hlavicka
1973 J jnl
Automatische Belegung von Flachbaugruppen im System PENTA-3.
Elektron. Rechenanlagen
Jan Hlavicka
1970 J jnl
Essential Hazard Correction Without the Use of Delay Elements.
IEEE Trans. Computers
Jan Hlavicka