2006 |
10 | EE | Doron Bustan,
John Havlicek:
Some Complexity Results for SystemVerilog Assertions.
CAV 2006: 205-218 |
2005 |
9 | EE | Cindy Eisner,
Dana Fisman,
John Havlicek:
A topological characterization of weakness.
PODC 2005: 1-8 |
2004 |
8 | EE | John Havlicek:
A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes.
SIAM J. Comput. 33(5): 1215-1222 (2004) |
2003 |
7 | EE | Cindy Eisner,
Dana Fisman,
John Havlicek,
Yoad Lustig,
Anthony McIsaac,
David Van Campenhout:
Reasoning with Temporal Logic on Truncated Paths.
CAV 2003: 27-39 |
6 | EE | Cindy Eisner,
Dana Fisman,
John Havlicek,
Anthony McIsaac,
David Van Campenhout:
The Definition of a Temporal Clock Operator.
ICALP 2003: 857-870 |
5 | EE | Magdy S. Abadir,
Ken Albin,
John Havlicek,
Narayanan Krishnamurthy,
Andrew K. Martin:
Formal Verification Successes at Motorola.
Formal Methods in System Design 22(2): 117-123 (2003) |
2002 |
4 | | Jun Yuan,
Kurt Shultz,
John Havlicek,
Ken Albin,
Adnan Aziz:
A Method for Synthesizing Boolean Constrains.
IWLS 2002: 351-353 |
2000 |
3 | EE | E. Allen Emerson,
John Havlicek,
Richard J. Trefler:
Virtual Symmetry Reduction.
LICS 2000: 121-131 |
2 | EE | John Havlicek:
Computable Obstructions to Wait-Free Computability.
Distributed Computing 13(2): 59-83 (2000) |
1997 |
1 | EE | John Havlicek:
Computable Obstructions to Wait-free Computability.
FOCS 1997: 80-89 |