Frédéric Herbreteau

	2012
14		Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz: Efficient emptiness check for timed Büchi automata. Formal Methods in System Design 40(2): 122-146 (2012)
	2011
13		Frédéric Herbreteau, B. Srivathsan: Coarse Abstractions Make Zeno Behaviours Difficult to Detect. CONCUR 2011: 92-107
12		Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz: Using non-convex approximations for efficient analysis of timed automata. FSTTCS 2011: 78-89
11		Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz: Efficient Emptiness Check for Timed Büchi Automata (Extended version) CoRR abs/1104.1540: (2011)
10		Frédéric Herbreteau, B. Srivathsan: Coarse abstractions make Zeno behaviours difficult to detect CoRR abs/1106.1850: (2011)
9		Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz: Using non-convex approximations for efficient analysis of timed automata CoRR abs/1110.3704: (2011)
8		Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz: Better abstractions for timed automata CoRR abs/1110.3705: (2011)
	2010
7		Frédéric Herbreteau, B. Srivathsan: Efficient On-the-Fly Emptiness Check for Timed Büchi Automata. ATVA 2010: 218-232
6		Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz: Efficient Emptiness Check for Timed Büchi Automata. CAV 2010: 148-161
	2007
5		Frédéric Herbreteau, Grégoire Sutre, The Quang Tran: Unfolding Concurrent Well-Structured Transition Systems. TACAS 2007: 706-720
	2006
4		Bernard Boigelot, Frédéric Herbreteau: The Power of Hybrid Acceleration. CAV 2006: 438-451
	2003
3		Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne: Hybrid Acceleration Using Real Vector Automata (Extended Abstract). CAV 2003: 193-205
	2002
2		Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414
	2001
1		Frédéric Herbreteau, Franck Cassez, Olivier Roux: Application of Partial-Order Methods to Reactive Programs with Event Memorization. Real-Time Systems 20(3): 287-316 (2001)

Coauthor Index

1	Bernard Boigelot	[3] [4]
2	Franck Cassez	[1] [2]
3	Alain Finkel	[2]
4	Sébastien Jodogne	[3]
5	Dileep Kini (Dileep Raghunath Kini)	[9] [12]
6	Olivier H. Roux (Olivier Roux)	[1] [2]
7	B. Srivathsan	[6] [7] [8] [9] [10] [11] [12] [13] [14]
8	Grégoire Sutre	[2] [5]
9	The Quang Tran	[5]
10	Igor Walukiewicz	[6] [8] [9] [11] [12] [14]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page