crossrefs.bib 263 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
}

@Proceedings{APSys2013,
278
279
280
281
282
  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
283
}
284

Alessandra Gorla's avatar
Alessandra Gorla committed
285
@Proceedings{APSys2014,
286
287
288
289
290
  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
291
292
293
}

@Proceedings{ASE98,
294
295
296
297
298
299
300
301
302
  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
303
}
304

Alessandra Gorla's avatar
Alessandra Gorla committed
305
@Proceedings{ASE2000,
306
307
308
309
310
311
312
313
314
  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
315
}
316

Alessandra Gorla's avatar
Alessandra Gorla committed
317
@Proceedings{ASE2001,
318
319
320
321
322
323
324
325
326
  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
327
}
328

Alessandra Gorla's avatar
Alessandra Gorla committed
329
@Proceedings{ASE2003,
330
331
332
333
334
335
336
337
338
  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
339
}
340

Alessandra Gorla's avatar
Alessandra Gorla committed
341
@Proceedings{ASE2004,
342
343
344
345
346
347
348
349
350
  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
351
}
352

Alessandra Gorla's avatar
Alessandra Gorla committed
353
@Proceedings{ASE2005,
354
355
356
357
358
359
360
361
362
  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
363
}
364

Alessandra Gorla's avatar
Alessandra Gorla committed
365
@Proceedings{ASE2006,
366
367
368
369
370
371
372
373
374
  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
375
}
376

Alessandra Gorla's avatar
Alessandra Gorla committed
377
@Proceedings{ASE2007,
378
379
380
381
382
383
384
385
386
  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
387
}
388

Alessandra Gorla's avatar
Alessandra Gorla committed
389
@Proceedings{ASE2008,
390
391
392
393
394
395
396
397
398
  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
399
}
400

Alessandra Gorla's avatar
Alessandra Gorla committed
401
@Proceedings{ASE2009,
402
403
404
405
406
407
408
409
410
  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
411
}
412

Alessandra Gorla's avatar
Alessandra Gorla committed
413
@Proceedings{ASE2010,
414
415
416
417
418
419
420
421
422
  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
423
}
424

Alessandra Gorla's avatar
Alessandra Gorla committed
425
@Proceedings{ASE2011,
426
427
428
429
430
431
432
433
434
  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
435
}
436

Alessandra Gorla's avatar
Alessandra Gorla committed
437
@Proceedings{ASE2012,
438
439
440
441
442
443
444
445
446
  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
447
}
448

Alessandra Gorla's avatar
Alessandra Gorla committed
449
@Proceedings{ASE2013,
450
451
452
453
454
455
456
457
458
  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
459
}
460

Alessandra Gorla's avatar
Alessandra Gorla committed
461
@Proceedings{ASE2014,
462
463
464
465
466
467
468
469
470
  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
471
}
472

Alessandra Gorla's avatar
Alessandra Gorla committed
473
@Proceedings{ASE2015,
474
475
476
477
478
479
480
481
482
  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
483
}
484

Alessandra Gorla's avatar
Alessandra Gorla committed
485
@Proceedings{ASE2016,
486
487
488
489
490
491
492
493
494
  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
495
496
497
}

@Proceedings{ASEE2004,
498
499
500
501
502
  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
503
504
505
}

@Proceedings{ASID2006,
506
507
508
509
510
511
512
513
514
  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
515
516
517
}

@Proceedings{ASPLOS89,
518
519
520
521
522
523
524
525
526
  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
527
}
528

Alessandra Gorla's avatar
Alessandra Gorla committed
529
@Proceedings{ASPLOS91,
530
531
532
533
534
535
536
537
538
  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
539
}
540

Alessandra Gorla's avatar
Alessandra Gorla committed
541
@Proceedings{ASPLOS92,
542
543
544
545
546
547
548
549
550
  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
551
}
552

Alessandra Gorla's avatar
Alessandra Gorla committed
553
@Proceedings{ASPLOS94,
554
555
556
557
558
559
560
561
562
  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
563
}
564

Alessandra Gorla's avatar
Alessandra Gorla committed
565
@Proceedings{ASPLOS96,
566
567
568
569
570
571
572
573
574
  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
575
}
576

Alessandra Gorla's avatar
Alessandra Gorla committed
577
@Proceedings{ASPLOS98,
578
579
580
581
582
583
584
585
586
  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
587
}
588

Alessandra Gorla's avatar
Alessandra Gorla committed
589
@Proceedings{ASPLOS2004,
590
591
592
593
594
595
596
597
598
  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
599
}
600

Alessandra Gorla's avatar
Alessandra Gorla committed
601
@Proceedings{ASPLOS2008,
602
603
604
605
606
607
608
609
610
  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
611
}
612

Alessandra Gorla's avatar
Alessandra Gorla committed
613
@Proceedings{ASPLOS2013,
614
615
616
617
618
619
620
621
622
  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
623
}
624

Alessandra Gorla's avatar
Alessandra Gorla committed
625
@Proceedings{ASPLOS2014,
626
627
628
629
630
631
632
633
634
  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
635
636
637
}

@Proceedings{AST2006,
638
  title =	 "AST Workshop: 1st Workshop on Automation of Software
639
                  Test",
640
  booktitle =	 "AST Workshop: 1st Workshop on Automation of Software
641
                  Test",
642
643
644
  year =	 2006,
  address =	 "Shanghai, China",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
645
}
646

Alessandra Gorla's avatar
Alessandra Gorla committed
647
@Proceedings{AST2011,
648
  title =	 "AST Workshop: 6th Workshop on Automation of Software
649
                  Test",
650
  booktitle =	 "AST Workshop: 6th Workshop on Automation of Software
651
                  Test",
652
653
654
  year =	 2011,
  address =	 "Honolulu, Hawaii, USA",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
655
}
656

Paolo Calciati's avatar
Paolo Calciati committed
657
@Proceedings{AST2016,
658
  title =	 "AST Workshop:Proceedings of the 11th International
659
                  Workshop on Automation of Software Test",
660
  booktitle =	 "AST Workshop: Proceedings of the 11th International
661
                  Workshop on Automation of Software Test",
662
663
664
  year =	 2016,
  address =	 "Austin, Texas, USA",
  month =	 may,
Paolo Calciati's avatar
Paolo Calciati committed
665
}
Alessandra Gorla's avatar
Alessandra Gorla committed
666
667

@Proceedings{ASWEC2001,
668
  title =	 "ASWEC 2001: 13th Australian Software Engineering
Alessandra Gorla's avatar
Alessandra Gorla committed
669
                  Conference",
670
  booktitle =	 "ASWEC 2001: 13th Australian Software Engineering
Alessandra Gorla's avatar
Alessandra Gorla committed
671
                  Conference",
672
673
674
  year =	 2001,
  address =	 "Canberra, Australia",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
675
}
676

Alessandra Gorla's avatar
Alessandra Gorla committed
677
@Proceedings{ASWEC2009,
678
  title =	 "ASWEC 2009: 20th Australian Software Engineering
Alessandra Gorla's avatar
Alessandra Gorla committed
679
                  Conference",
680
  booktitle =	 "ASWEC 2009: 20th Australian Software Engineering
Alessandra Gorla's avatar
Alessandra Gorla committed
681
                  Conference",
682
683
684
  year =	 2009,
  address =	 "Gold Coast, Australia",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
685
686
687
}

@Proceedings{AVIS2003,
688
689
690
691
692
693
694
  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
695
696
697
}

@Proceedings{BlackHatUSA2012,
698
699
700
701
702
  title =	 "Black Hat USA",
  booktitle =	 "Black Hat USA",
  year =	 2012,
  address =	 "Las Vegas, NV, USA",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
703
704
705
}

@Proceedings{ByteCode2009,
706
707
708
709
710
711
712
713
714
  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
715
716
717
}

@Proceedings{CADE92,
718
  title =	 "CADE '92: Proceedings of the 11th International
719
                  Conference on Automated Deduction",
720
  booktitle =	 "CADE '92: Proceedings of the 11th International
721
                  Conference on Automated Deduction",
722
723
724
  year =	 1992,
  address =	 "Saratoga Springs, NY, USA",
  month =	 jun,
Alessandra Gorla's avatar
Alessandra Gorla committed
725
}
726

Alessandra Gorla's avatar
Alessandra Gorla committed
727
@Proceedings{CADE2000,
728
  title =	 "CADE 2000: Proceedings of the 17th International
729
                  Conference on Automated Deduction",
730
  booktitle =	 "CADE 2000: Proceedings of the 17th International
731
                  Conference on Automated Deduction",
732
733
734
  year =	 2000,
  address =	 "Pittsburgh, PA, USA",
  month =	 jun,
Alessandra Gorla's avatar
Alessandra Gorla committed
735
}
736

Alessandra Gorla's avatar
Alessandra Gorla committed
737
@Proceedings{CADE2011,
738
  title =	 "CADE 2011: Proceedings of the 23rd International
739
                  Conference on Automated Deduction",
740
  booktitle =	 "CADE 2011: Proceedings of the 23rd International
741
                  Conference on Automated Deduction",
742
743
744
  year =	 2011,
  address =	 "Warsaw, Poland",
  month =	 aug,
Alessandra Gorla's avatar
Alessandra Gorla committed
745
746
747
}

@Proceedings{CARDIS2004,
748
749
750
751
752
753
754
  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
755
756
757
}

@Proceedings{CASCON1999,
758
759
760
761
762
  title =	 "CASCON",
  booktitle =	 "CASCON",
  year =	 1999,
  address =	 "Mississauga, Ontario, Canada",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
763
}
764

Alessandra Gorla's avatar
Alessandra Gorla committed
765
@Proceedings{CASCON2000,
766
767
768
769
770
  title =	 "CASCON",
  booktitle =	 "CASCON",
  year =	 2000,
  address =	 "Mississauga, Ontario, Canada",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
771
772
773
}

@Proceedings{CASES2005,
774
775
776
777
778
779
780
781
782
  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
783
784
785
}

@Proceedings{CASSIS2004,
786
787
788
789
790
791
792
  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
793
}
794

Alessandra Gorla's avatar
Alessandra Gorla committed
795
@Proceedings{CASSIS2005,
796
797
798
799
800
801
802
  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
803
804
805
}

@Proceedings{CAV95,
806
807
808
809
810
811
812
  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
813
}
814

Alessandra Gorla's avatar
Alessandra Gorla committed
815
@Proceedings{CAV96,
816
  title =	 "CAV '96: Proceedings of the 8th International
817
                  Conference on Computer Aided Verification",
818
  booktitle =	 "CAV '96: Proceedings of the 8th International
819
                  Conference on Computer Aided Verification",
820
821
822
  year =	 1996,
  address =	 "New Brunswick, NJ, USA",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
823
}
824

Alessandra Gorla's avatar
Alessandra Gorla committed
825
@Proceedings{CAV2001,
826
827
828
829
830
831
832
  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
833
}
834

Alessandra Gorla's avatar
Alessandra Gorla committed
835
@Proceedings{CAV2006,
836
837
838
839
840
841
842
  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
843
}
844

Alessandra Gorla's avatar
Alessandra Gorla committed
845
@Proceedings{CAV2011,
846
847
848
849
850
851
852
  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
853
}
854

Alessandra Gorla's avatar
Alessandra Gorla committed
855
@Proceedings{CAV2016,
856
857
858
859
860
861
862
  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
863
864
865
}

@Proceedings{CBSE2001,
866
867
868
869
870
871
872
  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
873
874
875
}

@Proceedings{CC94,
876
877
878
879
880
881
  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
882
}
883

Alessandra Gorla's avatar
Alessandra Gorla committed
884
@Proceedings{CC96,
885
886
887
888
889
890
891
  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
892
}
893

Alessandra Gorla's avatar
Alessandra Gorla committed
894
@Proceedings{CC98,
895
896
897
898
899
900
901
  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
902
}
903

Alessandra Gorla's avatar
Alessandra Gorla committed
904
@Proceedings{CC2001,
905
906
907
908
909
910
911
  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
912
}
913

Alessandra Gorla's avatar
Alessandra Gorla committed
914
@Proceedings{CC2002,
915
916
917
918
919
920
921
  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
922
}
923

Alessandra Gorla's avatar
Alessandra Gorla committed
924
@Proceedings{CC2003,
925
926
927
928
929
930
931
  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
932
}
933

Alessandra Gorla's avatar
Alessandra Gorla committed
934
@Proceedings{CC2004,
935
936
937
938
939
940
941
  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
942
}
943

Alessandra Gorla's avatar
Alessandra Gorla committed
944
@Proceedings{CC2005,
945
946
947
948
949
950
951
  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
952
}
953

Alessandra Gorla's avatar
Alessandra Gorla committed
954
@Proceedings{CC2008,
955
956
957
958
959
960
961
  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
962
}
963

Alessandra Gorla's avatar
Alessandra Gorla committed
964
@Proceedings{CC2017,
965
966
967
968
969
970
971
  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
972
973
974
}

@Proceedings{CASE1993,
975
976
977
978
979
980
981
  title =	 "CASE 1993: Proceedings of the 6th International
                  Workshop on Computer-Aided Software Engineering",
  booktitle =	 "CASE 1993: Proceedings of the 6th International
                  Workshop on Computer-Aided Software Engineering",
  year =	 1993,
  address =	 "Singapore",
  month =	 jul,
Alessandra Gorla's avatar
Alessandra Gorla committed
982
983
984
}

@Proceedings{CCS2005,
985
986
987
988
989
990
991
  title =	 "CCS 2005: Proceedings of the 12th ACM Conference on
                  Computer and Communications Security",
  booktitle =	 "CCS 2005: Proceedings of the 12th ACM Conference on
                  Computer and Communications Security",
  year =	 2005,
  address =	 "Alexandria, VA, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
992
}
993

Alessandra Gorla's avatar
Alessandra Gorla committed
994
@Proceedings{CCS2007,
995
996
997
998
999
1000
1001
  title =	 "CCS 2007: Proceedings of the 14th ACM Conference on
                  Computer and Communications Security",
  booktitle =	 "CCS 2007: Proceedings of the 14th ACM Conference on
                  Computer and Communications Security",
  year =	 2007,
  address =	 "Alexandria, VA, USA",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
1002
}
1003

Alessandra Gorla's avatar
Alessandra Gorla committed
1004
@Proceedings{CCS2009,
1005
1006
1007
1008
1009
1010
1011
  title =	 "CCS 2009: Proceedings of the 16th ACM Conference on
                  Computer and Communications Security",
  booktitle =	 "CCS 2009: Proceedings of the 16th ACM Conference on
                  Computer and Communications Security",
  year =	 2009,
  address =	 "Chicago, IL, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
1012
}
1013

Alessandra Gorla's avatar
Alessandra Gorla committed
1014
@Proceedings{CCS2011,
1015
1016
1017
1018
1019
1020
1021
  title =	 "CCS 2011: Proceedings of the 18th ACM Conference on
                  Computer and Communications Security",
  booktitle =	 "CCS 2011: Proceedings of the 18th ACM Conference on
                  Computer and Communications Security",
  year =	 2011,
  address =	 "Chicago, IL, USA",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
1022
}
1023

Alessandra Gorla's avatar
Alessandra Gorla committed
1024
@Proceedings{CCS2012,
1025
1026
1027
1028
1029
1030
1031
  title =	 "CCS 2012: Proceedings of the 19th ACM Conference on
                  Computer and Communications Security",
  booktitle =	 "CCS 2012: Proceedings of the 19th ACM Conference on
                  Computer and Communications Security",
  year =	 2012,
  address =	 "Raleigh, NC, USA",
  month =	 oct,
Alessandra Gorla's avatar
Alessandra Gorla committed
1032
}
1033

Alessandra Gorla's avatar
Alessandra Gorla committed
1034
@Proceedings{CCS2014,
1035
1036
1037
1038
1039
1040
1041
  title =	 "CCS 2014: Proceedings of the 21st ACM Conference on
                  Computer and Communications Security",
  booktitle =	 "CCS 2014: Proceedings of the 21st ACM Conference on
                  Computer and Communications Security",
  year =	 2014,
  address =	 "Scottsdale, AZ, USA",
  month =	 nov,
Alessandra Gorla's avatar
Alessandra Gorla committed
1042
}
1043

Paolo Calciati's avatar
Paolo Calciati committed
1044
@Proceedings{CCS2016,
1045
1046
1047
1048
1049
1050
1051
  title =	 "CCS 2016: Proceedings of the 23rd ACM Conference on
                  Computer and Communications Security",
  booktitle =	 "CCS 2016: Proceedings of the 23rd ACM Conference on
                  Computer and Communications Security",
  year =	 2016,
  address =	 "Vienna, Austria",
  month =	 oct,
Paolo Calciati's avatar
Paolo Calciati committed
1052
}
1053

1054
@Proceedings{CCS2017,
1055
1056
1057
1058
1059
1060
1061
  title =	 "CCS 2017: Proceedings of the 24th ACM Conference on
                  Computer and Communications Security",
  booktitle =	 "CCS 2017: Proceedings of the 24th ACM Conference on
                  Computer and Communications Security",
  year =	 2017,
  address =	 "Dallas, TX, USA",
  month =	 oct,
1062
}
Paolo Calciati's avatar
Paolo Calciati committed
1063
1064

@Proceedings{ASIACCS2017,
1065
1066
1067
1068
1069
1070
1071
  title =	 "ASIACCS 2017: Proceedings of the ACM Asia Conference
                  on Computer and Communications Security",
  booktitle =	 "ASIACCS 2017: Proceedings of the ACM Asia Conference
                  on Computer and Communications Security",
  year =	 2017,
  address =	 "Abu Dhabi, UAE",
  month =	 apr,
Paolo Calciati's avatar
Paolo Calciati committed
1072
1073
1074
}

@Proceedings{GLOBECOM2015,
1075
1076
1077
1078
1079
1080
1081
  title =	 "GLOBECOM 2015: IEEE Global Communications
                  Conference",
  booktitle =	 "GLOBECOM 2015: IEEE Global Communications
                  Conference",
  year =	 2015,
  address =	 "San Diego, CA, USA",
  month =	 dec,
Paolo Calciati's avatar
Paolo Calciati committed
1082
}
Alessandra Gorla's avatar
Alessandra Gorla committed
1083
1084

@Proceedings{CHASE2008,
1085
1086
1087
1088
1089
1090
1091
  title =	 "CHASE 2008: Cooperative and Human Aspects of
                  Software Engineering",
  booktitle =	 "CHASE 2008: Cooperative and Human Aspects of
                  Software Engineering",
  year =	 2008,
  address =	 "Leipzig, Germany",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
1092
1093
1094
}

@Proceedings{CHI2002,
1095
1096
1097
1098
1099
1100
1101
  title =	 "CHI 2002: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2002: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2002,
  address =	 "Minneapolis, MN, USA",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1102
}
1103

Alessandra Gorla's avatar
Alessandra Gorla committed
1104
@Proceedings{CHI2004,
1105
1106
1107
1108
1109
1110
1111
  title =	 "CHI 2004: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2004: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2004,
  address =	 "Vienna, Austria",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1112
}
1113

Alessandra Gorla's avatar
Alessandra Gorla committed
1114
@Proceedings{CHI2006,
1115
1116
1117
1118
1119
1120
1121
  title =	 "CHI 2006: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2006: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2006,
  address =	 "Montreal, Canada",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1122
}
1123

Alessandra Gorla's avatar
Alessandra Gorla committed
1124
@Proceedings{CHI2007,
1125
1126
1127
1128
1129
1130
1131
  title =	 "CHI 2007: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2007: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2007,
  address =	 "San Jose, CA, USA",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1132
}
1133

Alessandra Gorla's avatar
Alessandra Gorla committed
1134
@Proceedings{CHI2008,
1135
1136
1137
1138
1139
1140
1141
  title =	 "CHI 2008: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2008: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2008,
  address =	 "Florence, Italy",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1142
}
1143

Alessandra Gorla's avatar
Alessandra Gorla committed
1144
@Proceedings{CHI2009,
1145
1146
1147
1148
1149
1150
1151
  title =	 "CHI 2009: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2009: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2009,
  address =	 "Boston, MA, USA",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1152
}
1153

Alessandra Gorla's avatar
Alessandra Gorla committed
1154
@Proceedings{CHI2010,
1155
1156
1157
1158
1159
1160
1161
  title =	 "CHI 2010: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2010: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2010,
  address =	 "Atlanta, GA, USA",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1162
}
1163

Alessandra Gorla's avatar
Alessandra Gorla committed
1164
@Proceedings{CHI2011,
1165
1166
1167
1168
1169
1170
1171
  title =	 "CHI 2011: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2011: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2011,
  address =	 "Vancouver, BC, Canada",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
1172
}
1173

Alessandra Gorla's avatar
Alessandra Gorla committed
1174
@Proceedings{CHI2012,
1175
1176
1177
1178
1179
1180
1181
  title =	 "CHI 2012: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2012: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2012,
  address =	 "Austin, TX, USA",
  month =	 may,
Alessandra Gorla's avatar
Alessandra Gorla committed
1182
}
1183

Alessandra Gorla's avatar
Alessandra Gorla committed
1184
@Proceedings{CHI2013,
1185
1186
1187
1188
1189
1190
1191
  title =	 "CHI 2013: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2013: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2013,
  address =	 "Paris, France",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1192
}
1193

Alessandra Gorla's avatar
Alessandra Gorla committed
1194
@Proceedings{CHI2014,
1195
1196
1197
1198
1199
1200
1201
  title =	 "CHI 2014: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  booktitle =	 "CHI 2014: Proceedings of the SIGCHI Conference on
                  Human Factors in Computing Systems",
  year =	 2014,
  address =	 "Toronto, Canada",
  month =	 apr,
Alessandra Gorla's avatar
Alessandra Gorla committed
1202
1203
1204
}

@Proceedings{CSCW2010,
1205
1206
1207
1208
1209
1210
1211
  title =	 "CSCW 2010: The 2010 ACM Conference on Computer
                  Supported Cooperative Work",
  booktitle =	 "CSCW 2010: The 2010 ACM Conference on Computer
                  Supported Cooperative Work",
  year =	 2010,
  address =	 "Savanna, GA, USA",
  month =	 feb,
Alessandra Gorla's avatar
Alessandra Gorla committed
1212
1213
1214
}

@Proceedings{CMSR2004,
1215
1216
1217
1218
1219
1220
1221
  title =	 "CMSR 2004: 8th Euromicro Working Conference on
                  Software Maintenance and Reengineering",
  booktitle =	 "CMSR 2004: 8th Euromicro Working Conference on
                  Software Maintenance and Reengineering",
  year =	 2004,
  address =	 "Tampere, Finland",
  month =	 mar,
Alessandra Gorla's avatar
Alessandra Gorla committed
1222
}
1223

Alessandra Gorla's avatar
Alessandra Gorla committed
1224
@Proceedings{CMSR2005,