Timothy Bourke

	2012
7		Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet: Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78(3): 877-910 (2012)
	2011
6		Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet: A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. EMSOFT 2011: 137-148
5		Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet: Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70
	2010
4		Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192
	2008
3		Timothy Bourke, Arcot Sowmya: Automatically transforming and relating Uppaal models of embedded systems. EMSOFT 2008: 59-68
	2006
2		Timothy Bourke, Arcot Sowmya: A timing model for synchronous language implementations in simulink. EMSOFT 2006: 93-101
	2005
1		Timothy Bourke, Arcot Sowmya: Formal Models in Industry Standard Tools: an Argos Block within Simulink. International Journal of Software Engineering and Knowledge Engineering 15(2): 389-396 (2005)

Coauthor Index

1	Albert Benveniste	[5] [6] [7]
2	Benoît Caillaud	[5] [6] [7]
3	Alexandre David	[4]
4	Kim Guldstrand Larsen (Kim G. Larsen)	[4]
5	Axel Legay	[4]
6	Didier Lime	[4]
7	Ulrik Nyman (Ulrik Larsen)	[4]
8	Marc Pouzet	[5] [6] [7]
9	Arcot Sowmya	[1] [2] [3]
10	Andrzej Wasowski	[4]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page