- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| 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 Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page