-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpublications.html
111 lines (108 loc) · 3.98 KB
/
publications.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
<html>
<head>
<title>HTL Publications</title>
<LINK href="./style.css" type="text/css" rel="stylesheet">
</head>
<body bgcolor="#eeeeff">
<table width="100%" class="title">
<tr>
<td align="center"><b><font color="blue">H</font></b>ierarchical <b><font color="blue">T</font></b>iming <b><font color="blue">L</font></b>anguage</td>
</tr>
</table>
<table width="100%" class="page_border">
<tr>
<td valign="top">
<table width="200" class="menu_border">
<tr>
<td width="200"><a href="./index.html" class="menu_item_div"><div class="menu_item">Home</div></td>
</tr>
<tr>
<td width="200"><a href="./HTLCompiler.html" class="menu_item_div"><div class="menu_item">HTL Compiler</div></td>
</tr>
<tr>
<td width="200"><a href="./emachine.html" class="menu_item_div"><div class="menu_item">E Machine</div></td>
</tr>
<tr>
<td width="200"><a href="./exotask-htl/index.html" class="menu_item_div"><div class="menu_item"> HTL Exotask</div></a></td>
</tr>
<tr>
<td width="200"><a href="./reliability.html" class="menu_item_div"><div class="menu_item"> HTL and Reliability</div></a></td>
</tr>
<tr>
<td width="200"><a href="./examples.html" class="menu_item_div"><div class="menu_item"> Examples</div></a></td>
</tr>
<tr>
<td width="200"><div class="inactive_menu_item"> Publications</div></td>
</tr>
<tr>
<td width="200"><a href="./team.html" class="menu_item_div"><div class="menu_item"> Team</div></a></td>
</tr>
</table>
</td>
<td valign="top">
<table>
<tr align=center><td width="100%" valign=top>
<table align="left">
<tr>
<td><h3>Papers</h3></td>
</tr>
<tr>
<td>
<ol>
<li>
<div><b>Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code</b></div>
<div><i>Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger, Alberto Sangiovanni-Vincentelli.</i></div>
<div>2007, APGES, Salzburg, Austria.</div>
</li>
<li>
<div><b>Java takes flight: Time-portable real-time programming with exotasks</b></div>
<div><i>J. Auerbach, D.F. Bacon, D.T. Iercan, C.M. Kirsch, V.T.Rajan, H. Röck, and R. Trummer.</i></div>
<div>2007, LCTES, ACM Press.</div>
</li>
<li>
<div><b>A Hierarchical Coordination Language for Interacting Real-Time Tasks</b></div>
<div><i>Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli.</i></div>
<div>2006, EMSOFT, Seoul, Korea.</div>
</li>
</ol>
</td>
</tr>
<tr><td> </td></tr>
<tr><td><h3>Technical Reports</h3></td></tr>
<tr>
<td>
<ol>
<li>
<div><b>Hierarchical Timing Language</b></div>
<div><i>Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli.</i></div>
<div>2006, Technical Report EECS-2006-79, University of California, Berkeley</div>
</li>
</ol>
</td>
</tr>
<tr><td> </td></tr>
<tr><td><h3>Presentations</h3></td></tr>
<tr>
<td>
<ol>
<li>
<div><b>Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code</b></div>
<div><i>Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger, Alberto Sangiovanni-Vincentelli.</i></div>
<div>2007, APGES, Salzburg, Austria. <a href="./files/APGES07.ppt">ppt</a></div>
</li>
<li>
<div><b>A Hierarchical Coordination Language for Interacting Real-Time Tasks</b></div>
<div><i>Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli.</i></div>
<div>2006, EMSOFT, Seoul, Korea. <a href="./files/HTL.ppt">ppt</a></div>
</li>
<ol>
</td>
</tr>
</table>
</td></tr>
</table>
</td>
</tr>
</table>
</body>
</html>