Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Timothy Bourke
2010 – today
- 2013
[c7]- 2012
- [j2]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)
- [c6]Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski: Challenges and Experiences in Managing Large-Scale Proofs. AISC/MKM/Calculemus 2012: 32-48
- 2011
- [c5]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
- [c4]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
- [c3]Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski: New Results on Timed Specifications. WADT 2010: 175-192
2000 – 2009
- 2008
- [c2]Timothy Bourke, Arcot Sowmya: Automatically transforming and relating Uppaal models of embedded systems. EMSOFT 2008: 59-68
- 2006
- [c1]Timothy Bourke, Arcot Sowmya: A timing model for synchronous language implementations in simulink. EMSOFT 2006: 93-101
- 2005
- [j1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-04 21:43 CEST by the dblp team