John Havlicek

Publication Activity (10 Years)

Years Active: 1997-2014
Publications (10 Years): 0

Top Topics

Simulation Study

Spatial Clustering

Theoretical Framework

Topological Relations

Top Venues

ACM Trans. Comput. Log.

ACM Trans. Design Autom. Electr. Syst.

Publications

Cindy Eisner, Dana Fisman, John Havlicek
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. ACM Trans. Comput. Log. 15 (2) (2014)
Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. ACM Trans. Design Autom. Electr. Syst. 17 (4) (2012)
John Havlicek, Scott Little
Realtime regular expressions for analog and mixed-signal assertions. FMCAD (2011)
John Havlicek, Scott Little, Oded Maler, Dejan Nickovic
Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS (2010)
Doron Bustan, John Havlicek
Some Complexity Results for SystemVerilog Assertions. CAV (2006)
Cindy Eisner, Dana Fisman, John Havlicek
A topological characterization of weakness. PODC (2005)
John Havlicek
A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes. SIAM J. Comput. 33 (5) (2004)
Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin
Formal Verification Successes at Motorola. Formal Methods Syst. Des. 22 (2) (2003)
Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
The Definition of a Temporal Clock Operator. ICALP (2003)
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Reasoning with Temporal Logic on Truncated Paths. CAV (2003)
Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz
A Method for Synthesizing Boolean Constrains. IWLS (2002)
E. Allen Emerson, John Havlicek, Richard J. Trefler
Virtual Symmetry Reduction. LICS (2000)
John Havlicek
Computable Obstructions to Wait-Free Computability. Distributed Comput. 13 (2) (2000)
John Havlicek
Computable Obstructions to Wait-free Computability. FOCS (1997)