crossrefs.bib 275 KB
Newer Older
1
2
%% BibTeX crossreferences conference at Proceedings entries --
%% master file
3
4
5
%% Type "make" in the bib directory to process this with the
%%                  crossrefs-abbreviate
%% script, which creates crossrefs-unabbrev.bib.
Alessandra Gorla's avatar
Alessandra Gorla committed
6
7
8
9
%% Each entry should have both a title and a booktitle field.


% Strings can contain, but cannot start with, a numeral
10

Alessandra Gorla's avatar
Alessandra Gorla committed
11
@Proceedings{ThreeGSE2015,
12
13
14
15
16
17
18
  title =	 "3GSE: USENIX Summit on Gaming, Games, and
                  Gamification in Security Education",
  booktitle =	 "3GSE: USENIX Summit on Gaming, Games, and
                  Gamification in Security Education",
  year =	 2015,
  address =	 "Washington, DC",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
19
20
21
}

@Proceedings{AAAI98,
22
23
24
25
26
27
28
  title =	 "AAAI '98: Proceedings of the 15th National
                  Conference on Artificial Intelligence",
  booktitle =	 "AAAI '98: Proceedings of the 15th National
                  Conference on Artificial Intelligence",
  year =	 1998,
  address =	 "Madison, WI, USA",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
29
}
30

Alessandra Gorla's avatar
Alessandra Gorla committed
31
@Proceedings{AAAI2000,
Alessandra Gorla's avatar
Alessandra Gorla committed
32
  title =	 "AAAI/IAAI: Proceedings of the 17th National
33
34
35
                  Conference on Artificial Intelligence and 12th
                  Conference on Innovative Applications of Artificial
                  Intelligence",
Alessandra Gorla's avatar
Alessandra Gorla committed
36
  booktitle =	 "AAAI/IAAI: Proceedings of the 17th National
37
38
39
40
41
42
                  Conference on Artificial Intelligence and 12th
                  Conference on Innovative Applications of Artificial
                  Intelligence",
  year =	 2000,
  address =	 "Austin, TX",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
43
}
44

Alessandra Gorla's avatar
Alessandra Gorla committed
45
@Proceedings{AAAI2006,
46
47
48
49
50
51
52
  title =	 "AAAI 2006: Proceedings of the 21st National
                  Conference on Artificial Intelligence",
  booktitle =	 "AAAI 2006: Proceedings of the 21st National
                  Conference on Artificial Intelligence",
  year =	 2006,
  address =	 "Boston, MA, USA",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
53
}
54

Alessandra Gorla's avatar
Alessandra Gorla committed
55
@Proceedings{AAAI2011,
56
57
58
59
60
61
62
  title =	 "AAAI 2011: Proceedings of the 25th Conference on
                  Artificial Intelligence",
  booktitle =	 "AAAI 2011: Proceedings of the 25th Conference on
                  Artificial Intelligence",
  year =	 2011,
  address =	 "San Francisco, CA, USA",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
63
64
65
}

@Proceedings{AADEBUG2003,
66
67
68
69
70
71
72
  title =	 "AADEBUG 2003: 5th International Workshop on
                  Automated and Algorithmic Debugging",
  booktitle =	 "AADEBUG 2003: 5th International Workshop on
                  Automated and Algorithmic Debugging",
  year =	 2003,
  address =	 "Ghent, Belgium",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
73
}
74

Alessandra Gorla's avatar
Alessandra Gorla committed
75
@Proceedings{AADEBUG2005,
76
77
78
79
80
81
82
  title =	 "AADEBUG 2005: 6th International Symposium on
                  Automated and Algorithmic Debugging",
  booktitle =	 "AADEBUG 2005: 6th International Symposium on
                  Automated and Algorithmic Debugging",
  year =	 2005,
  address =	 "Monterey, CA, USA",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
83
84
85
}

@Proceedings{ACSAC2002,
86
87
88
89
90
91
92
  title =	 "ACSAC 2002: Proceedings of the 2002 Annual Computer
                  Security Applications Conference",
  booktitle =	 "ACSAC 2002: Proceedings of the 2002 Annual Computer
                  Security Applications Conference",
  year =	 2002,
  address =	 "Las Vegas, NV, USA",
  month =	 dec,
Alessandra Gorla's avatar
Alessandra Gorla committed
93
}
94

Alessandra Gorla's avatar
Alessandra Gorla committed
95
@Proceedings{ACSAC2006,
96
97
98
99
100
101
102
  title =	 "ACSAC 2006: Proceedings of the 2006 Annual Computer
                  Security Applications Conference",
  booktitle =	 "ACSAC 2006: Proceedings of the 2006 Annual Computer
                  Security Applications Conference",
  year =	 2006,
  address =	 "Miami Beach, FL, USA",
  month =	 dec,
Alessandra Gorla's avatar
Alessandra Gorla committed
103
}
104

Alessandra Gorla's avatar
Alessandra Gorla committed
105
@Proceedings{ACSAC2007,
106
107
108
109
110
111
112
  title =	 "ACSAC 2007: 23rd Annual Computer Security
                  Applications Conference",
  booktitle =	 "ACSAC 2007: 23rd Annual Computer Security
                  Applications Conference",
  year =	 2007,
  address =	 "Miami Beach, FL, USA",
  month =	 dec,
Alessandra Gorla's avatar
Alessandra Gorla committed
113
}
114

Alessandra Gorla's avatar
Alessandra Gorla committed
115
@Proceedings{ACSAC2008,
116
117
118
119
120
121
122
  title =	 "ACSAC 2008: 24th Annual Computer Security
                  Applications Conference",
  booktitle =	 "ACSAC 2008: 24th Annual Computer Security
                  Applications Conference",
  year =	 2008,
  address =	 "Anaheim, CA, USA",
  month =	 dec,
Alessandra Gorla's avatar
Alessandra Gorla committed
123
}
124

Alessandra Gorla's avatar
Alessandra Gorla committed
125
@Proceedings{ACSAC2009,
126
127
128
129
130
131
132
  title =	 "ACSAC 2009: 25th Annual Computer Security
                  Applications Conference",
  booktitle =	 "ACSAC 2009: 25th Annual Computer Security
                  Applications Conference",
  year =	 2009,
  address =	 "Honolulu, HI, USA",
  month =	 dec,
Alessandra Gorla's avatar
Alessandra Gorla committed
133
}
134

Paolo Calciati's avatar
Paolo Calciati committed
135
@Proceedings{ACSAC2012,
136
137
138
139
140
141
142
  title =	 "ACSAC 2012: Proceedings of the 28th Annual Computer
                  Security Applications Conference",
  booktitle =	 "ACSAC 2012: Proceedings of the 28th Annual Computer
                  Security Applications Conference",
  year =	 2012,
  address =	 "Orlando, FL, USA",
  month =	 dec,
Paolo Calciati's avatar
Paolo Calciati committed
143
}
Alessandra Gorla's avatar
Alessandra Gorla committed
144
145

@Proceedings{ACSC2005,
146
147
148
149
150
151
152
  title =	 "ACSC 2005: Proceedings of the 28th Australasian
                  Conference on Computer Science",
  booktitle =	 "ACSC 2005: Proceedings of the 28th Australasian
                  Conference on Computer Science",
  year =	 2005,
  address =	 "Newcastle, NSW, Australia",
  month =	 feb,
Alessandra Gorla's avatar
Alessandra Gorla committed
153
}
154

Alessandra Gorla's avatar
Alessandra Gorla committed
155
@Proceedings{ACSC2009,
156
157
158
159
160
161
162
  title =	 "ACSC 2009: Proceedings of the 32nd Australasian
                  Conference on Computer Science",
  booktitle =	 "ACSC 2009: Proceedings of the 32nd Australasian
                  Conference on Computer Science",
  year =	 2009,
  address =	 "Wellington, New Zealand",
  month =	 jan,
Alessandra Gorla's avatar
Alessandra Gorla committed
163
164
165
}

@Proceedings{AdaEurope99,
166
167
168
169
170
171
172
  title =	 "Ada-Europe: Ada-Europe'99 International Conference
                  on Reliable Software Technologies",
  booktitle =	 "Ada-Europe: Ada-Europe'99 International Conference
                  on Reliable Software Technologies",
  year =	 1999,
  address =	 "Santander, Spain",
  month =	 jun,
Alessandra Gorla's avatar
Alessandra Gorla committed
173
}
174

Alessandra Gorla's avatar
Alessandra Gorla committed
175
@Proceedings{AdaEurope2004,
176
177
178
179
180
181
182
  title =	 "Ada-Europe: Ada-Europe 2004 International Conference
                  on Reliable Software Technologies",
  booktitle =	 "Ada-Europe: Ada-Europe 2004 International Conference
                  on Reliable Software Technologies",
  year =	 2004,
  address =	 "Palma de Mallorca",
  month =	 jun,
Alessandra Gorla's avatar
Alessandra Gorla committed
183
184
185
}

@Proceedings{AIFIPP92,
186
187
188
189
190
191
192
193
194
195
196
  title =	 "AIFIPP '92: Knowledge Oriented Software Design:
                  Extended Papers from the IFIP TC 12 Workshop on
                  Artificial Intelligence from the Information
                  Processing Perspective",
  booktitle =	 "AIFIPP '92: Knowledge Oriented Software Design:
                  Extended Papers from the IFIP TC 12 Workshop on
                  Artificial Intelligence from the Information
                  Processing Perspective",
  year =	 1992,
  address =	 "Madrid, Spain",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
197
198
199
}

@Proceedings{AIPL77,
200
201
202
203
204
205
206
  title =	 "AIPL '77: ACM Symposium on Artificial Intelligence
                  and Programming Languages",
  booktitle =	 "AIPL '77: ACM Symposium on Artificial Intelligence
                  and Programming Languages",
  year =	 1977,
  address =	 "Rochester, NY",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
207
208
209
}

@Proceedings{AOSD2002,
210
211
212
213
214
215
216
  title =	 "AOSD 2002: Proceedings of the 1st International
                  Conference on Aspect-Oriented Software Development",
  booktitle =	 "AOSD 2002: Proceedings of the 1st International
                  Conference on Aspect-Oriented Software Development",
  year =	 2002,
  address =	 "Enschede, The Netherlands",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
217
}
218

Alessandra Gorla's avatar
Alessandra Gorla committed
219
@Proceedings{AOSD2007,
220
221
222
223
224
225
226
  title =	 "AOSD 2007: Proceedings of the 6th International
                  Conference on Aspect-Oriented Software Development",
  booktitle =	 "AOSD 2007: Proceedings of the 6th International
                  Conference on Aspect-Oriented Software Development",
  year =	 2007,
  address =	 "Vancouver, BC, Canada",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
227
}
228

Alessandra Gorla's avatar
Alessandra Gorla committed
229
@Proceedings{AOSD2010,
230
231
232
233
234
235
236
  title =	 "AOSD 2010: Proceedings of the 9th International
                  Conference on Aspect-Oriented Software Development",
  booktitle =	 "AOSD 2010: Proceedings of the 9th International
                  Conference on Aspect-Oriented Software Development",
  year =	 2010,
  address =	 "Rennes and Saint Malo, France",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
237
}
238

Alessandra Gorla's avatar
Alessandra Gorla committed
239
@Proceedings{AOSD2011,
240
241
242
243
244
245
246
  title =	 "AOSD 2011: Proceedings of the 10th International
                  Conference on Aspect-Oriented Software Development",
  booktitle =	 "AOSD 2011: Proceedings of the 10th International
                  Conference on Aspect-Oriented Software Development",
  year =	 2011,
  address =	 "Porto de Galinhas, Pernambuco, Brazil",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
247
}
248

Alessandra Gorla's avatar
Alessandra Gorla committed
249
@Proceedings{AOSD2012,
250
251
252
253
254
255
256
  title =	 "AOSD 2012: Proceedings of the 11th International
                  Conference on Aspect-Oriented Software Development",
  booktitle =	 "AOSD 2012: Proceedings of the 11th International
                  Conference on Aspect-Oriented Software Development",
  year =	 2012,
  address =	 "Potsdam, Germany",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
257
258
259
}

@Proceedings{APLAS2005,
260
261
262
263
264
265
266
  title =	 "APLAS 2005: 3rd Asian Symposium on Programming
                  Languages and Systems",
  booktitle =	 "APLAS 2005: 3rd Asian Symposium on Programming
                  Languages and Systems",
  year =	 2005,
  address =	 "Tsukuba, Japan",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
267
268
269
}

@Proceedings{APPSEMII2003,
270
271
272
273
274
  title =	 "APPSEM-II: 1st Applied Semantics II Workshop",
  booktitle =	 "APPSEM-II: 1st Applied Semantics II Workshop",
  year =	 2003,
  address =	 "Nottingham, UK",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
275
276
}

277
278
279
280
281
282
283
284
285
286
@Proceedings{APSEC2016,
  title =	 "APSEC 2016: Proceedings of the 23rd Asia-Pacific
                  Software Engineering Conference",
  booktitle =	 "APSEC 2016: Proceedings of the 23rd Asia-Pacific
                  Software Engineering Conference",
  year =	 2016,
  address =	 "Hamilton, New Zealand",
  month =	 dec,
}

Alessandra Gorla's avatar
Alessandra Gorla committed
287
@Proceedings{APSys2013,
288
289
290
291
292
  title =	 "APSys 2013: 4th Asia-Pacific Workshop on Systems",
  booktitle =	 "APSys 2013: 4th Asia-Pacific Workshop on Systems",
  year =	 2013,
  address =	 "Singapore",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
293
}
294

Alessandra Gorla's avatar
Alessandra Gorla committed
295
@Proceedings{APSys2014,
296
297
298
299
300
  title =	 "APSys 2014: 5th Asia-Pacific Workshop on Systems",
  booktitle =	 "APSys 2014: 5th Asia-Pacific Workshop on Systems",
  year =	 2014,
  address =	 "Beijing, China",
  month =	 jun,
Alessandra Gorla's avatar
Alessandra Gorla committed
301
302
303
}

@Proceedings{ASE98,
304
305
306
307
308
309
310
311
312
  title =	 "ASE '98: Proceedings of the 13th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE '98: Proceedings of the 13th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 1998,
  address =	 "Honolulu, Hawaii",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
313
}
314

Alessandra Gorla's avatar
Alessandra Gorla committed
315
@Proceedings{ASE2000,
316
317
318
319
320
321
322
323
324
  title =	 "ASE 2000: Proceedings of the 15th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2000: Proceedings of the 15th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2000,
  address =	 "Grenoble, France",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
325
}
326

Alessandra Gorla's avatar
Alessandra Gorla committed
327
@Proceedings{ASE2001,
328
329
330
331
332
333
334
335
336
  title =	 "ASE 2001: Proceedings of the 16th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2001: Proceedings of the 16th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2001,
  address =	 "San Diego, CA, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
337
}
338

Alessandra Gorla's avatar
Alessandra Gorla committed
339
@Proceedings{ASE2003,
340
341
342
343
344
345
346
347
348
  title =	 "ASE 2003: Proceedings of the 18th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2003: Proceedings of the 18th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2003,
  address =	 Montreal,
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
349
}
350

Alessandra Gorla's avatar
Alessandra Gorla committed
351
@Proceedings{ASE2004,
352
353
354
355
356
357
358
359
360
  title =	 "ASE 2004: Proceedings of the 19th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2004: Proceedings of the 19th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2004,
  address =	 "Linz, Australia",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
361
}
362

Alessandra Gorla's avatar
Alessandra Gorla committed
363
@Proceedings{ASE2005,
364
365
366
367
368
369
370
371
372
  title =	 "ASE 2005: Proceedings of the 20th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2005: Proceedings of the 20th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2005,
  address =	 "Long Beach, CA, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
373
}
374

Alessandra Gorla's avatar
Alessandra Gorla committed
375
@Proceedings{ASE2006,
376
377
378
379
380
381
382
383
384
  title =	 "ASE 2006: Proceedings of the 21st Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2006: Proceedings of the 21st Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2006,
  address =	 "Tokyo, Japan",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
385
}
386

Alessandra Gorla's avatar
Alessandra Gorla committed
387
@Proceedings{ASE2007,
388
389
390
391
392
393
394
395
396
  title =	 "ASE 2007: Proceedings of the 22nd Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2007: Proceedings of the 22nd Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2007,
  address =	 "Atlanta, GA, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
397
}
398

Alessandra Gorla's avatar
Alessandra Gorla committed
399
@Proceedings{ASE2008,
400
401
402
403
404
405
406
407
408
  title =	 "ASE 2008: Proceedings of the 23rd Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2008: Proceedings of the 23rd Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2008,
  address =	 "L'Aquila, Italy",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
409
}
410

Alessandra Gorla's avatar
Alessandra Gorla committed
411
@Proceedings{ASE2009,
412
413
414
415
416
417
418
419
420
  title =	 "ASE 2009: Proceedings of the 24th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2009: Proceedings of the 24th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2009,
  address =	 "Auckland, NZ",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
421
}
422

Alessandra Gorla's avatar
Alessandra Gorla committed
423
@Proceedings{ASE2010,
424
425
426
427
428
429
430
431
432
  title =	 "ASE 2010: Proceedings of the 25th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2010: Proceedings of the 25th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2010,
  address =	 "Antwerp, Belgium",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
433
}
434

Alessandra Gorla's avatar
Alessandra Gorla committed
435
@Proceedings{ASE2011,
436
437
438
439
440
441
442
443
444
  title =	 "ASE 2011: Proceedings of the 26th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2011: Proceedings of the 26th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2011,
  address =	 "Lawrence, KS, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
445
}
446

Alessandra Gorla's avatar
Alessandra Gorla committed
447
@Proceedings{ASE2012,
448
449
450
451
452
453
454
455
456
  title =	 "ASE 2012: Proceedings of the 27th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2012: Proceedings of the 27th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2012,
  address =	 "Essen, Germany",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
457
}
458

Alessandra Gorla's avatar
Alessandra Gorla committed
459
@Proceedings{ASE2013,
460
461
462
463
464
465
466
467
468
  title =	 "ASE 2013: Proceedings of the 28th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2013: Proceedings of the 28th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2013,
  address =	 "Palo Alto, CA, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
469
}
470

Alessandra Gorla's avatar
Alessandra Gorla committed
471
@Proceedings{ASE2014,
472
473
474
475
476
477
478
479
480
  title =	 "ASE 2014: Proceedings of the 29th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2014: Proceedings of the 29th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2014,
  address =	 "V{\"a}ster\o{a}s, Sweden",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
481
}
482

Alessandra Gorla's avatar
Alessandra Gorla committed
483
@Proceedings{ASE2015,
484
485
486
487
488
489
490
491
492
  title =	 "ASE 2015: Proceedings of the 30th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2015: Proceedings of the 30th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2015,
  address =	 "Lincoln, NE, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
493
}
494

Alessandra Gorla's avatar
Alessandra Gorla committed
495
@Proceedings{ASE2016,
496
497
498
499
500
501
502
503
504
  title =	 "ASE 2016: Proceedings of the 30th Annual
                  International Conference on Automated Software
                  Engineering",
  booktitle =	 "ASE 2016: Proceedings of the 30th Annual
                  International Conference on Automated Software
                  Engineering",
  year =	 2016,
  address =	 "Singapore, Singapore",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
505
506
507
}

@Proceedings{ASEE2004,
508
509
510
511
512
  title =	 "ASEE 2004: ASEE Annual Conference",
  booktitle =	 "ASEE 2004: ASEE Annual Conference",
  year =	 2004,
  address =	 "Salt Lake City, Utah",
  month =	 jun,
Alessandra Gorla's avatar
Alessandra Gorla committed
513
514
515
}

@Proceedings{ASID2006,
516
517
518
519
520
521
522
523
524
  title =	 "ASID 2006: Proceedings of the 1st Workshop on
                  Architectural and System Support for Improving
                  Software Dependability",
  booktitle =	 "ASID 2006: Proceedings of the 1st Workshop on
                  Architectural and System Support for Improving
                  Software Dependability",
  year =	 2006,
  address =	 "San Jose, CA, USA",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
525
526
527
}

@Proceedings{ASPLOS89,
528
529
530
531
532
533
534
535
536
  title =	 "ASPLOS '89: Proceedings of the 3rd International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '89: Proceedings of the 3rd International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 1989,
  address =	 "Boston, MA, USA",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
537
}
538

Alessandra Gorla's avatar
Alessandra Gorla committed
539
@Proceedings{ASPLOS91,
540
541
542
543
544
545
546
547
548
  title =	 "ASPLOS '91: Proceedings of the 4th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '91: Proceedings of the 4th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 1991,
  address =	 "Santa Clara, CA, USA",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
549
}
550

Alessandra Gorla's avatar
Alessandra Gorla committed
551
@Proceedings{ASPLOS92,
552
553
554
555
556
557
558
559
560
  title =	 "ASPLOS '92: Proceedings of the 5th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '92: Proceedings of the 5th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 1992,
  address =	 "Boston, MA, USA",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
561
}
562

Alessandra Gorla's avatar
Alessandra Gorla committed
563
@Proceedings{ASPLOS94,
564
565
566
567
568
569
570
571
572
  title =	 "ASPLOS '94: Proceedings of the 6th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '94: Proceedings of the 6th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 1992,
  address =	 "San Jose, CA, USA",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
573
}
574

Alessandra Gorla's avatar
Alessandra Gorla committed
575
@Proceedings{ASPLOS96,
576
577
578
579
580
581
582
583
584
  title =	 "ASPLOS '96: Proceedings of the 7th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '96: Proceedings of the 7th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 1996,
  address =	 "Cambridge, MA, USA",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
585
}
586

Alessandra Gorla's avatar
Alessandra Gorla committed
587
@Proceedings{ASPLOS98,
588
589
590
591
592
593
594
595
596
  title =	 "ASPLOS '98: Proceedings of the 8th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS '98: Proceedings of the 8th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 1998,
  address =	 "San Jose, CA",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
597
}
598

Alessandra Gorla's avatar
Alessandra Gorla committed
599
@Proceedings{ASPLOS2004,
600
601
602
603
604
605
606
607
608
  title =	 "ASPLOS 2004: Proceedings of the 11th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS 2004: Proceedings of the 11th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 2004,
  address =	 "Boston, Massachusetts, USA",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
609
}
610

Alessandra Gorla's avatar
Alessandra Gorla committed
611
@Proceedings{ASPLOS2008,
612
613
614
615
616
617
618
619
620
  title =	 "ASPLOS 2008: Proceedings of the 13th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS 2008: Proceedings of the 13th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 2008,
  address =	 "Seattle, WA, USA",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
621
}
622

Alessandra Gorla's avatar
Alessandra Gorla committed
623
@Proceedings{ASPLOS2013,
624
625
626
627
628
629
630
631
632
  title =	 "ASPLOS 2013: Proceedings of the 18th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS 2013: Proceedings of the 18th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 2013,
  address =	 "Houston, TX, USA",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
633
}
634

Alessandra Gorla's avatar
Alessandra Gorla committed
635
@Proceedings{ASPLOS2014,
636
637
638
639
640
641
642
643
644
  title =	 "ASPLOS 2014: Proceedings of the 19th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  booktitle =	 "ASPLOS 2014: Proceedings of the 19th International
                  Conference on Architectural Support for Programming
                  Languages and Operating Systems",
  year =	 2014,
  address =	 "Houston, TX, USA",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
645
646
647
}

@Proceedings{AST2006,
648
  title =	 "AST Workshop: 1st Workshop on Automation of Software
649
                  Test",
650
  booktitle =	 "AST Workshop: 1st Workshop on Automation of Software
651
                  Test",
652
653
654
  year =	 2006,
  address =	 "Shanghai, China",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
655
}
656

Alessandra Gorla's avatar
Alessandra Gorla committed
657
@Proceedings{AST2011,
658
  title =	 "AST Workshop: 6th Workshop on Automation of Software
659
                  Test",
660
  booktitle =	 "AST Workshop: 6th Workshop on Automation of Software
661
                  Test",
662
663
664
  year =	 2011,
  address =	 "Honolulu, Hawaii, USA",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
665
}
666

Paolo Calciati's avatar
Paolo Calciati committed
667
@Proceedings{AST2016,
668
  title =	 "AST Workshop:Proceedings of the 11th International
669
                  Workshop on Automation of Software Test",
670
  booktitle =	 "AST Workshop: Proceedings of the 11th International
671
                  Workshop on Automation of Software Test",
672
673
674
  year =	 2016,
  address =	 "Austin, Texas, USA",
  month =	 may,
Paolo Calciati's avatar
Paolo Calciati committed
675
}
Alessandra Gorla's avatar
Alessandra Gorla committed
676

677
678
679
680
681
682
683
684
685
686
@Proceedings{AST2017,
  title =	 "AST Workshop:Proceedings of the 12th International
                  Workshop on Automation of Software Test",
  booktitle =	 "AST Workshop: Proceedings of the 12th International
                  Workshop on Automation of Software Test",
  year =	 2017,
  address =	 "Buenos Aires, Argentina",
  month =	 may,
}

Alessandra Gorla's avatar
Alessandra Gorla committed
687
@Proceedings{ASWEC2001,
688
  title =	 "ASWEC 2001: 13th Australian Software Engineering
Alessandra Gorla's avatar
Alessandra Gorla committed
689
                  Conference",
690
  booktitle =	 "ASWEC 2001: 13th Australian Software Engineering
Alessandra Gorla's avatar
Alessandra Gorla committed
691
                  Conference",
692
693
694
  year =	 2001,
  address =	 "Canberra, Australia",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
695
}
696

Alessandra Gorla's avatar
Alessandra Gorla committed
697
@Proceedings{ASWEC2009,
698
  title =	 "ASWEC 2009: 20th Australian Software Engineering
Alessandra Gorla's avatar
Alessandra Gorla committed
699
                  Conference",
700
  booktitle =	 "ASWEC 2009: 20th Australian Software Engineering
Alessandra Gorla's avatar
Alessandra Gorla committed
701
                  Conference",
702
703
704
  year =	 2009,
  address =	 "Gold Coast, Australia",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
705
706
707
}

@Proceedings{AVIS2003,
708
709
710
711
712
713
714
  title =	 "AVIS 2003: Workshop on Automated Verification of
                  Infinite-State Systems",
  booktitle =	 "AVIS 2003: Workshop on Automated Verification of
                  Infinite-State Systems",
  year =	 2003,
  address =	 "Warsaw, Poland",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
715
716
717
}

@Proceedings{BlackHatUSA2012,
718
719
720
721
722
  title =	 "Black Hat USA",
  booktitle =	 "Black Hat USA",
  year =	 2012,
  address =	 "Las Vegas, NV, USA",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
723
724
725
}

@Proceedings{ByteCode2009,
726
727
728
729
730
731
732
733
734
  title =	 "ByteCode 2009: 4th International Workshop on
                  Bytecode Semantics, Verification, Analysis and
                  Transformation",
  booktitle =	 "ByteCode 2009: 4th International Workshop on
                  Bytecode Semantics, Verification, Analysis and
                  Transformation",
  year =	 2009,
  address =	 "York, UK",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
735
736
737
}

@Proceedings{CADE92,
738
  title =	 "CADE '92: Proceedings of the 11th International
739
                  Conference on Automated Deduction",
740
  booktitle =	 "CADE '92: Proceedings of the 11th International
741
                  Conference on Automated Deduction",
742
743
744
  year =	 1992,
  address =	 "Saratoga Springs, NY, USA",
  month =	 jun,
Alessandra Gorla's avatar
Alessandra Gorla committed
745
}
746

Alessandra Gorla's avatar
Alessandra Gorla committed
747
@Proceedings{CADE2000,
748
  title =	 "CADE 2000: Proceedings of the 17th International
749
                  Conference on Automated Deduction",
750
  booktitle =	 "CADE 2000: Proceedings of the 17th International
751
                  Conference on Automated Deduction",
752
753
754
  year =	 2000,
  address =	 "Pittsburgh, PA, USA",
  month =	 jun,
Alessandra Gorla's avatar
Alessandra Gorla committed
755
}
756

Alessandra Gorla's avatar
Alessandra Gorla committed
757
@Proceedings{CADE2011,
758
  title =	 "CADE 2011: Proceedings of the 23rd International
759
                  Conference on Automated Deduction",
760
  booktitle =	 "CADE 2011: Proceedings of the 23rd International
761
                  Conference on Automated Deduction",
762
763
764
  year =	 2011,
  address =	 "Warsaw, Poland",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
765
766
767
}

@Proceedings{CARDIS2004,
768
769
770
771
772
773
774
  title =	 "CARDIS 2004: 6th Smart Card Research and Advanced
                  Application IFIP Conference",
  booktitle =	 "CARDIS 2004: 6th Smart Card Research and Advanced
                  Application IFIP Conference",
  year =	 2004,
  address =	 "Toulouse, France",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
775
776
777
}

@Proceedings{CASCON1999,
778
779
780
781
782
783
  title =	 "CASCON '99: Proceedings of the 1999 conference of the
                  Centre for Advanced Studies on Collaborative
                  research",
  booktitle =	 "CASCON '99: Proceedings of the 1999 conference of the
                  Centre for Advanced Studies on Collaborative
                  research",
784
785
786
  year =	 1999,
  address =	 "Mississauga, Ontario, Canada",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
787
}
788

Alessandra Gorla's avatar
Alessandra Gorla committed
789
@Proceedings{CASCON2000,
790
791
792
793
794
795
  title =	 "CASCON '00: Proceedings of the 2000 conference of the
                  Centre for Advanced Studies on Collaborative
                  research",
  booktitle =	 "CASCON '00: Proceedings of the 2000 conference of the
                  Centre for Advanced Studies on Collaborative
                  research",
796
797
798
  year =	 2000,
  address =	 "Mississauga, Ontario, Canada",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
799
800
801
}

@Proceedings{CASES2005,
802
803
804
805
806
807
808
809
810
  title =	 "CASES 2005: Proceedings of the 2005 International
                  Conference on Compilers, Architectures and Synthesis
                  for Embedded Systems",
  booktitle =	 "CASES 2005: Proceedings of the 2005 International
                  Conference on Compilers, Architectures and Synthesis
                  for Embedded Systems",
  year =	 2005,
  address =	 "San Francisco, CA, USA",
  month =	 sep,
Alessandra Gorla's avatar
Alessandra Gorla committed
811
812
813
}

@Proceedings{CASSIS2004,
814
815
816
817
818
819
820
  title =	 "CASSIS 2004: Construction and Analysis of Safe,
                  Secure, and Interoperable Smart Devices",
  booktitle =	 "CASSIS 2004: Construction and Analysis of Safe,
                  Secure, and Interoperable Smart Devices",
  year =	 2004,
  address =	 "Marseille, France",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
821
}
822

Alessandra Gorla's avatar
Alessandra Gorla committed
823
@Proceedings{CASSIS2005,
824
825
826
827
828
829
830
  title =	 "CASSIS 2005: Construction and Analysis of Safe,
                  Secure, and Interoperable Smart Devices",
  booktitle =	 "CASSIS 2005: Construction and Analysis of Safe,
                  Secure, and Interoperable Smart Devices",
  year =	 2005,
  address =	 "Nice, France",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
831
832
833
}

@Proceedings{CAV95,
834
835
836
837
838
839
840
  title =	 "CAV '95: Proceedings of the 7th International
                  Conference On Computer Aided Verification",
  booktitle =	 "CAV '95: Proceedings of the 7th International
                  Conference On Computer Aided Verification",
  year =	 1995,
  address =	 "Liege, Belgium",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
841
}
842

Alessandra Gorla's avatar
Alessandra Gorla committed
843
@Proceedings{CAV96,
844
  title =	 "CAV '96: Proceedings of the 8th International
845
                  Conference on Computer Aided Verification",
846
  booktitle =	 "CAV '96: Proceedings of the 8th International
847
                  Conference on Computer Aided Verification",
848
849
850
  year =	 1996,
  address =	 "New Brunswick, NJ, USA",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
851
}
852

Alessandra Gorla's avatar
Alessandra Gorla committed
853
@Proceedings{CAV2001,
854
855
856
857
858
859
860
  title =	 "CAV 2001: 13th International Conference on Computer
                  Aided Verification",
  booktitle =	 "CAV 2001: 13th International Conference on Computer
                  Aided Verification",
  year =	 2001,
  address =	 "Paris, France",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
861
}
862

Alessandra Gorla's avatar
Alessandra Gorla committed
863
@Proceedings{CAV2006,
864
865
866
867
868
869
870
  title =	 "CAV 2006: 18th International Conference on Computer
                  Aided Verification",
  booktitle =	 "CAV 2006: 18th International Conference on Computer
                  Aided Verification",
  year =	 2006,
  address =	 "Seattle, WA, USA",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
871
}
872

Alessandra Gorla's avatar
Alessandra Gorla committed
873
@Proceedings{CAV2011,
874
875
876
877
878
879
880
  title =	 "CAV 2011: 23rd International Conference on Computer
                  Aided Verification",
  booktitle =	 "CAV 2011: 23rd International Conference on Computer
                  Aided Verification",
  year =	 2011,
  address =	 "Snowbird, UT, USA",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
881
}
882

Alessandra Gorla's avatar
Alessandra Gorla committed
883
@Proceedings{CAV2016,
884
885
886
887
888
889
890
  title =	 "CAV 2016: 28th International Conference on Computer
                  Aided Verification",
  booktitle =	 "CAV 2016: 28th International Conference on Computer
                  Aided Verification",
  year =	 2016,
  address =	 "Toronto, Canada",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
891
892
893
}

@Proceedings{CBSE2001,
894
895
896
897
898
899
900
  title =	 "CBSE4: 4th ICSE Workshop on Component-Based Software
                  Engineering",
  booktitle =	 "CBSE4: 4th ICSE Workshop on Component-Based Software
                  Engineering",
  year =	 2001,
  address =	 "Toronto, Canada",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
901
902
903
}

@Proceedings{CC94,
904
905
906
907
908
909
  title =	 "CC '94: Compiler Construction: 4th International
                  Conference",
  booktitle =	 "CC '94: Compiler Construction: 4th International
                  Conference",
  year =	 1994,
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
910
}
911

Alessandra Gorla's avatar
Alessandra Gorla committed
912
@Proceedings{CC96,
913
914
915
916
917
918
919
  title =	 "CC '96: Compiler Construction: 6th International
                  Conference",
  booktitle =	 "CC '96: Compiler Construction: 6th International
                  Conference",
  year =	 1996,
  address =	 "Linkoping, Sweden",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
920
}
921

Alessandra Gorla's avatar
Alessandra Gorla committed
922
@Proceedings{CC98,
923
924
925
926
927
928
929
  title =	 "CC '98: Compiler Construction: 7th International
                  Conference",
  booktitle =	 "CC '98: Compiler Construction: 7th International
                  Conference",
  year =	 1998,
  address =	 "Lisbon, Portugal",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
930
}
931

Alessandra Gorla's avatar
Alessandra Gorla committed
932
@Proceedings{CC2001,
933
934
935
936
937
938
939
  title =	 "CC 2001: Compiler Construction: 10th International
                  Conference",
  booktitle =	 "CC 2001: Compiler Construction: 10th International
                  Conference",
  year =	 2001,
  address =	 "Genova, Italy",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
940
}
941

Alessandra Gorla's avatar
Alessandra Gorla committed
942
@Proceedings{CC2002,
943
944
945
946
947
948
949
  title =	 "CC 2002: Compiler Construction: 11th International
                  Conference",
  booktitle =	 "CC 2002: Compiler Construction: 11th International
                  Conference",
  year =	 2002,
  address =	 "Grenoble, France",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
950
}
951

Alessandra Gorla's avatar
Alessandra Gorla committed
952
@Proceedings{CC2003,
953
954
955
956
957
958
959
  title =	 "CC 2003: Compiler Construction: 12th International
                  Conference",
  booktitle =	 "CC 2003: Compiler Construction: 12th International
                  Conference",
  year =	 2003,
  address =	 "Warsaw, Poland",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
960
}
961

Alessandra Gorla's avatar
Alessandra Gorla committed
962
@Proceedings{CC2004,
963
964
965
966
967
968
969
  title =	 "CC 2004: Compiler Construction: 13th International
                  Conference",
  booktitle =	 "CC 2004: Compiler Construction: 13th International
                  Conference",
  year =	 2004,
  address =	 "Barcelona, Spain",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
970
}
971

Alessandra Gorla's avatar
Alessandra Gorla committed
972
@Proceedings{CC2005,
973
974
975
976
977
978
979
  title =	 "CC 2005: Compiler Construction: 14th International
                  Conference",
  booktitle =	 "CC 2005: Compiler Construction: 14th International
                  Conference",
  year =	 2005,
  address =	 "Edinburgh, Scotland",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
980
}
981

Alessandra Gorla's avatar
Alessandra Gorla committed
982
@Proceedings{CC2008,
983
984
985
986
987
988
989
  title =	 "CC 2008: Compiler Construction: 14th International
                  Conference",
  booktitle =	 "CC 2008: Compiler Construction: 14th International
                  Conference",
  year =	 2008,
  address =	 "Budapest, Hungary",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
990
}
991

Alessandra Gorla's avatar
Alessandra Gorla committed
992
@Proceedings{CC2017,
993
994
995
996
997
998
999
  title =	 "CC 2017: 26th International Conference on Compiler
                  Construction",
  booktitle =	 "CC 2017: 26th International Conference on Compiler
                  Construction",
  year =	 2017,
  address =	 "Austin, TX, USA",
  month =	 feb,
Alessandra Gorla's avatar
Alessandra Gorla committed
1000
}
For faster browsing, not all history is shown. View entire blame