 | 2004 |
|---|
| 20 |       | Stanislav Racek,
Pavel Herout,
Jan Hlavicka:
Dependability Evaluation of Time Triggered Architecture Using Simulation.
Computers and Artificial Intelligence 23(1): (2004) |
| 2003 |
|---|
| 19 |  | Petr Fiser,
Jan Hlavicka,
Hana Kubatova:
FC-Min: A Fast Multi-Output Boolean Minimizer.
DSD 2003: 451-454 |
| 18 | | Petr Fiser,
Jan Hlavicka:
BOOM - A Heuristic Boolean Minimizer.
Computers and Artificial Intelligence 22(1): (2003) |
| 2002 |
|---|
| 17 | | Jan Hlavicka,
Petr Fiser:
Minimization and Partitioning Method Reducing Input Sets.
DELTA 2002: 434-436 |
| 16 | | Jan Hlavicka,
Stanislav Racek:
C-Sim - The C Language Enhancement for Discrete-Time Simulations.
DSN 2002: 539 |
| 15 | | Pavel Herout,
Stanislav Racek,
Jan Hlavicka:
Model-Based Dependability Evaluation Method for TTP/C Based Systems.
EDCC 2002: 271-282 |
| 14 | | Astrit Ademaj,
Petr Grillinger,
Pavel Herout,
Jan Hlavicka:
Fault Tolerance Evaluation Using Two Software Based Fault Injection Methods.
IOLTW 2002: 21-25 |
| 13 | | Khaled Elshafey,
Jan Hlavicka:
Fault-Tolerant FPGA-Based Systems.
Computers and Artificial Intelligence 21(5): (2002) |
| 2001 |
|---|
| 12 | | Petr Fiser,
Jan Hlavicka:
On the Use of Mutations in Boolean Minimization.
DSD 2001: 300-309 |
| 11 | | Jan Hlavicka,
Petr Fiser:
BOOM - A Heuristic Boolean Minimizer.
ICCAD 2001: 439-442 |
| 2000 |
|---|
| 10 | | Jan Hlavicka,
Stanislav Racek,
Pavel Herout:
Evaluation of process controller fault tolerance using simulation.
Simul. Pr. Theory 7(8): 769-790 (2000) |
| 1999 |
|---|
| 9 | | Jan Hlavicka,
Erik Maehle,
András Pataricza:
Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
Springer 1999 |
| 1997 |
|---|
| 8 | | J. Blatný,
Zdenek Kotásek,
Jan Hlavicka:
RT Level Test Scheduling.
Computers and Artificial Intelligence 16(1): (1997) |
| 1996 |
|---|
| 7 | | Jan Hlavicka,
Stanislav Racek,
Pavel Smrha:
Functional Validation of Fault-Tolerant Asynchronous Algorithms.
EUROMICRO 1996: 143-150 |
| 6 | | Yervant Zorian,
Jan Hlavicka:
Guest Editors' Introduction: East Meets West.
IEEE Design & Test of Computers 13(1): 5-7 (1996) |
| 1994 |
|---|
| 5 | | Jan Hlavicka:
Position Paper.
EDCC 1994: 411 |
| 1991 |
|---|
| 4 | | Jan Hlavicka:
On the Complexity of System-Level Diagnosis Algorithms.
EUROCAST 1991: 352-364 |
| 1989 |
|---|
| 3 | | Jan Hlavicka:
Validation and Verification of Hardware and Software (Position Statement).
IFIP Congress 1989: 343 |
| 1988 |
|---|
| 2 | | P. Golan,
Ondrej Novák,
Jan Hlavicka:
Pseudoexhaustive Test Pattern Generator with Enhanced Fault Coverage.
IEEE Trans. Computers 37(4): 496-500 (1988) |
| 1973 |
|---|
| 1 | | Jan Hlavicka:
Automatische Belegung von Flachbaugruppen im System PENTA-3.
Elektronische Rechenanlagen 15(1): 25-28 (1973) |
