John Havlicek

According to our database, John Havlicek authored at least 13 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations.

Cindy Eisner, Dana Fisman, John Havlicek

ACM Trans. Comput. Log., 2014

2012

Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice.

Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran

ACM Trans. Design Autom. Electr. Syst., 2012

2011

Realtime regular expressions for analog and mixed-signal assertions.

John Havlicek, Scott Little

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Property-Based Monitoring of Analog and Mixed-Signal Systems.

John Havlicek, Scott Little, Oded Maler, Dejan Nickovic

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2006

Some Complexity Results for SystemVerilog Assertions.

Doron Bustan, John Havlicek

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

A topological characterization of weakness.

Cindy Eisner, Dana Fisman, John Havlicek

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

2004

A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes.

John Havlicek

SIAM J. Comput., 2004

2003

Formal Verification Successes at Motorola.

Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin

Formal Methods Syst. Des., 2003

The Definition of a Temporal Clock Operator.

Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Reasoning with Temporal Logic on Truncated Paths.

Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

A Method for Synthesizing Boolean Constrains.

Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

2000

Computable Obstructions to Wait-Free Computability.

John Havlicek

Distributed Comput., 2000

Virtual Symmetry Reduction.

E. Allen Emerson, John Havlicek, Richard J. Trefler

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000