Étienne André

	2012
10		Étienne André, Laurent Fribourg, Romain Soulat: Enhancing the Inverse Method with State Merging. NASA Formal Methods 2012: 100-105
	2011
9		Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu: An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472
8		Étienne André, Romain Soulat: Synthesis of Timing Parameters Satisfying Safety Properties. RP 2011: 31-44
	2010
7		Étienne André: IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata INFINITY 2010: 91-99
6		Étienne André, Laurent Fribourg: Behavioral Cartography of Timed Automata. RP 2010: 76-90
	2009
5		Étienne André: IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. ICTAC 2009: 336-342
4		Laurent Fribourg, Étienne André: An Inverse Method for Policy-Iteration Based Algorithms INFINITY 2009: 44-61
3		Étienne André, Laurent Fribourg, Jeremy Sproston: An Extension of the Inverse Method to Probabilistic Timed Automata. ECEASST 23: (2009)
2		Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz: An Inverse Method for Parametric Timed Automata. Int. J. Found. Comput. Sci. 20(5): 819-836 (2009)
	2008
1		Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz: An Inverse Method for Parametric Timed Automata. Electr. Notes Theor. Comput. Sci. 223: 29-46 (2008)

Coauthor Index

1	Thomas Chatain	[1] [2]
2	Jin Song Dong	[9]
3	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[1] [2]
4	Laurent Fribourg	[1] [2] [3] [4] [6] [10]
5	Shang-Wei Lin	[9]
6	Yang Liu	[9]
7	Romain Soulat	[8] [10]
8	Jeremy Sproston	[3]
9	Jun Sun	[9]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page