John Havlicek

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j4		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): 38 (2012)
	2011
c9		John Havlicek, Scott Little: Realtime regular expressions for analog and mixed-signal assertions. FMCAD 2011: 155-162
	2010
c8		John Havlicek, Scott Little, Oded Maler, Dejan Nickovic: Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS 2010: 23-24
	2006
c7		Doron Bustan, John Havlicek: Some Complexity Results for SystemVerilog Assertions. CAV 2006: 205-218
	2005
c6		Cindy Eisner, Dana Fisman, John Havlicek: A topological characterization of weakness. PODC 2005: 1-8
	2004
j3		John Havlicek: A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol Complexes. SIAM J. Comput. 33(5): 1215-1222 (2004)
	2003
j2		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)
c5		Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout: Reasoning with Temporal Logic on Truncated Paths. CAV 2003: 27-39
c4		Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout: The Definition of a Temporal Clock Operator. ICALP 2003: 857-870
	2002
c3		Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz: A Method for Synthesizing Boolean Constrains. IWLS 2002: 351-353
	2000
j1		John Havlicek: Computable Obstructions to Wait-Free Computability. Distributed Computing 13(2): 59-83 (2000)
c2		E. Allen Emerson, John Havlicek, Richard J. Trefler: Virtual Symmetry Reduction. LICS 2000: 121-131
	1997
c1		John Havlicek: Computable Obstructions to Wait-free Computability. FOCS 1997: 80-89

Coauthor Index

1	Magdy S. Abadir	[j2]
2	Ken Albin	[j2] [c3]
3	Adnan Aziz	[c3]
4	Doron Bustan	[c7]
5	David Van Campenhout	[c5] [c4]
6	Srikanth Chandrasekaran	[j4]
7	Pallab Dasgupta	[j4]
8	Cindy Eisner	[c6] [c5] [c4]
9	E. Allen Emerson	[c2]
10	Dana Fisman	[c6] [c5] [c4]
11	Narayanan Krishnamurthy	[j2]
12	Scott Little	[j4] [c9] [c8]
13	Yoad Lustig	[c5]
14	Oded Maler	[c8]
15	Andrew K. Martin	[j2]
16	Anthony McIsaac	[c5] [c4]
17	Subhankar Mukherjee	[j4]
18	Siddhartha Mukhopadhyay	[j4]
19	Dejan Nickovic	[c8]
20	Kurt Shultz	[c3]
21	Richard J. Trefler	[c2]
22	Jun Yuan	[c3]

Colors in the list of coauthors

Last update Sat May 25 06:22:34 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page