The Community for Technology Leaders
RSS Icon
Subscribe
Formal Methods and Models for Co-Design, ACM/IEEE International Conference on (2005)
Verona, Italy
July 11, 2005 to July 14, 2005
ISBN: 0-7803-9227-2
TABLE OF CONTENTS
Papers
N. Halbwachs , Verimag, Grenoble, France
pp. 3-11
M. Pellauer , Massachusetts Inst. of Technol., Cambridge, MA, USA
pp. 15-24
N. Dave , Comput. Sci.&Artificial Intelligence Lab., Massachusetts Univ., Cambridge, MA, USA
M.C. Ng , Comput. Sci.&Artificial Intelligence Lab., Massachusetts Univ., Cambridge, MA, USA
null Arvind , Comput. Sci.&Artificial Intelligence Lab., Massachusetts Univ., Cambridge, MA, USA
pp. 25-34
S.A. Edwards , Columbia Univ., New York, NY, USA
O. Tardieu , Columbia Univ., New York, NY, USA
pp. 37-44
S. Zhao , Center of Embedded Comput. Syst., California Univ., Irvine, CA, USA
D.D. Gajski , Center of Embedded Comput. Syst., California Univ., Irvine, CA, USA
pp. 45-53
G. Hoover , Dept. of Electr.&Comput. Eng., California Univ., Santa Barbara, CA, USA
F. Brewer , Dept. of Electr.&Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 55-64
M. Archer , Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
pp. 67
D.D. Gajski , Center for Embedded Comput. Syst., California Univ., Irvine, CA, USA
pp. 71-75
J. Jurjens , Dept. of Informatics, Technische Univ. Munchen, Germany
pp. 89-98
D. Kroening , Comput. Syst. Inst., Eidgenossische Tech. Hochschule, Zurich, Switzerland
pp. 101-110
F. Xie , Dept. of Comput. Sci., Portland State Univ., OR, USA
pp. 111-120
T. Sakunkonchak , VLSI Design&Educ. Center, Tokyo Univ., Japan
S. Komatsu , VLSI Design&Educ. Center, Tokyo Univ., Japan
M. Fujita , VLSI Design&Educ. Center, Tokyo Univ., Japan
pp. 121-130
M. Broy , Inst. fur Inf., Technische Univ. Munchen, Germany
pp. 143-149
I.H. Kruger , Dept. of Comput. Sci.&Eng., California Univ., San Diego, CA, USA
pp. 150
W. Pree , Dept. of Comput. Sci., Univ. of Salzburg, Austria
pp. 151
F. Balarin , Cadence Berkeley Labs., CA, USA
R. Passerone , Cadence Berkeley Labs., CA, USA
pp. 155-163
T. Schuele , Dept. of Comput. Sci., Kaiserslautern Univ., Germany
K. Schneider , Dept. of Comput. Sci., Kaiserslautern Univ., Germany
pp. 177-186
A. Sezgin , Dept. of Comput. Eng., Atilim Univ., Ankara, Turkey
pp. 199-208
C. Kloukinas , Dept. of Comput., City Univ., London, UK
pp. 211-220
S. Brait , Dipt. di Informatica, Univ. di Verona, Italy
F. Fummi , Dipt. di Informatica, Univ. di Verona, Italy
G. Pravadelli , Dipt. di Informatica, Univ. di Verona, Italy
pp. 221-230
R. Jeffords , Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
R. Bharadwaj , Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
pp. 243-244
E. Leonard , Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
M. Archer , Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
pp. 245-246
G. Naeser , Dept. of Comput. Sci.&Electron., Malardalen Univ., Sweden
J. Furunas , Dept. of Comput. Sci.&Electron., Malardalen Univ., Sweden
pp. 247-248
K. Rothbart , Graz Univ. of Technol., Austria
U. Neffe , Graz Univ. of Technol., Austria
Ch. Steger , Graz Univ. of Technol., Austria
R. Weiss , Graz Univ. of Technol., Austria
pp. 253-254
X. Xu , Graduate Sch. of IPS, Waseda Univ., Tokyo, Japan
S. Kimura , Graduate Sch. of IPS, Waseda Univ., Tokyo, Japan
pp. 259-260
Author index (PDF)
pp. 261
9 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool