Jan Hlavicka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1994–2003
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | DSD | FC-Min: A Fast Multi-Output Boolean Minimizer. | Petr Fiser, Jan Hlavicka, Hana Kubtov |
| 2002 | DSN | C-Sim - The C Language Enhancement for Discrete-Time Simulations. | Jan Hlavicka, Stanislav Racek |
| 2002 | EDCC | Model-Based Dependability Evaluation Method for TTP/C Based Systems. | Pavel Herout, Stanislav Racek, Jan Hlavicka |
| 2002 | IOLTS | Fault Tolerance Evaluation Using Two Software Based Fault Injection Methods. | Astrit Ademaj, Petr Grillinger, Pavel Herout, Jan Hlavicka |
| 2001 | DSD | On the Use of Mutations in Boolean Minimization. | Petr Fiser, Jan Hlavicka |
| 2001 | ICCAD | BOOM - A Heuristic Boolean Minimizer. | Jan Hlavicka, Petr Fiser |
| 1994 | EDCC | Position Paper. | Jan Hlavicka |