Commit 6a92baf7 authored by Alessandra Gorla's avatar Alessandra Gorla
Browse files

updated gorla.bib publications, and made crossrefs consistent using : (to...

updated gorla.bib publications, and made crossrefs consistent using : (to prepare for abbreviations)
parent 4529a68f
......@@ -146,6 +146,8 @@
@string{UIUC = "UIUC"}
@string{UIUCaddr = "Urbana, IL, USA"}
@string{USI = "USI"}
@string{UWCSE = "U. Wash. Dept. of Comp. Sci. \& Eng."}
@string{UWCSEaddr = "Seattle, WA, USA"}
......
......@@ -152,6 +152,8 @@
@string{UIUC = "University of Illinois at Urbana-Champaign" = "UIUC"}
@string{UIUCaddr = "Urbana, IL, USA"}
@string{USI = "Universit\`a della Svizzera italiana (USI)" = "USI"}
@string{UWCSE = "University of Washington Department of Computer Science and Engineering" =
"U. Wash. Dept. of Comp. Sci. \& Eng."}
@string{UWCSEaddr = "Seattle, WA, USA"}
......
......@@ -147,6 +147,8 @@
@string{UIUC = "University of Illinois at Urbana-Champaign"}
@string{UIUCaddr = "Urbana, IL, USA"}
@string{USI = "Universit\`a della Svizzera italiana (USI)"}
@string{UWCSE = "University of Washington Department of Computer Science and Engineering"}
@string{UWCSEaddr = "Seattle, WA, USA"}
......
......@@ -617,14 +617,22 @@
}
@Proceedings{CASCON1999,
title = "CASCON",
booktitle = "CASCON",
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",
year = 1999,
}
@Proceedings{CASCON2000,
title = "CASCON",
booktitle = "CASCON",
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",
year = 2000,
}
......@@ -1261,130 +1269,130 @@
}
@Proceedings{ECOOP99,
title = "ECOOP '99 --- Object-Oriented Programming, 13th
European Conference",
booktitle = "ECOOP '99 --- Object-Oriented Programming, 13th
European Conference",
title = "ECOOP '99: the 13th European Conference
Object-Oriented Programming",
booktitle = "ECOOP '99: the 13th European Conference
Object-Oriented Programming",
year = 1999,
}
@Proceedings{ECOOP2001,
title = "ECOOP 2001 --- Object-Oriented Programming, 15th
European Conference",
booktitle = "ECOOP 2001 --- Object-Oriented Programming, 15th
European Conference",
title = "ECOOP 2001: the 15th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2001: the 15th European Conference
Object-Oriented Programming",
year = 2001,
}
@Proceedings{ECOOP2002,
title = "ECOOP 2002 --- Object-Oriented Programming, 16th
European Conference",
booktitle = "ECOOP 2002 --- Object-Oriented Programming, 16th
European Conference",
title = "ECOOP 2002: the 16th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2002: the 16th European Conference
Object-Oriented Programming",
year = 2002,
}
@Proceedings{ECOOP2003,
title = "ECOOP 2003 --- Object-Oriented Programming, 17th
European Conference",
booktitle = "ECOOP 2003 --- Object-Oriented Programming, 17th
European Conference",
title = "ECOOP 2003: the 17th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2003: the 17th European Conference
Object-Oriented Programming",
year = 2003,
}
@Proceedings{ECOOP2004,
title = "ECOOP 2004 --- Object-Oriented Programming, 18th
European Conference",
booktitle = "ECOOP 2004 --- Object-Oriented Programming, 18th
European Conference",
title = "ECOOP 2004: the 18th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2004: the 18th European Conference
Object-Oriented Programming",
year = 2004,
}
@Proceedings{ECOOP2005,
title = "ECOOP 2005 --- Object-Oriented Programming, 19th
European Conference",
booktitle = "ECOOP 2005 --- Object-Oriented Programming, 19th
European Conference",
title = "ECOOP 2005: the 19th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2005: the 19th European Conference
Object-Oriented Programming",
year = 2005,
}
@Proceedings{ECOOP2006,
title = "ECOOP 2006 --- Object-Oriented Programming, 20th
European Conference",
booktitle = "ECOOP 2006 --- Object-Oriented Programming, 20th
European Conference",
title = "ECOOP 2006: the 20th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2006: the 20th European Conference
Object-Oriented Programming",
year = 2006,
}
@Proceedings{ECOOP2007,
title = "ECOOP 2007 --- Object-Oriented Programming, 21st
European Conference",
booktitle = "ECOOP 2007 --- Object-Oriented Programming, 21st
European Conference",
title = "ECOOP 2007: the 21st European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2007: the 21st European Conference
Object-Oriented Programming",
year = 2007,
}
@Proceedings{ECOOP2008,
title = "ECOOP 2008 --- Object-Oriented Programming, 22nd
European Conference",
booktitle = "ECOOP 2008 --- Object-Oriented Programming, 22nd
European Conference",
title = "ECOOP 2008: the 22nd European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2008: the 22nd European Conference
Object-Oriented Programming",
year = 2008,
}
@Proceedings{ECOOP2009,
title = "ECOOP 2009 --- Object-Oriented Programming, 23rd
European Conference",
booktitle = "ECOOP 2009 --- Object-Oriented Programming, 23rd
European Conference",
title = "ECOOP 2009: the 23rd European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2009: the 23rd European Conference
Object-Oriented Programming",
year = 2009,
}
@Proceedings{ECOOP2010,
title = "ECOOP 2010 --- Object-Oriented Programming, 24th
European Conference",
booktitle = "ECOOP 2010 --- Object-Oriented Programming, 24th
European Conference",
title = "ECOOP 2010: the 24th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2010: the 24th European Conference
Object-Oriented Programming",
year = 2010,
}
@Proceedings{ECOOP2011,
title = "ECOOP 2011 --- Object-Oriented Programming, 25th
European Conference",
booktitle = "ECOOP 2011 --- Object-Oriented Programming, 25th
European Conference",
title = "ECOOP 2011: the 25th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2011: the 25th European Conference
Object-Oriented Programming",
year = 2011,
}
@Proceedings{ECOOP2012,
title = "ECOOP 2012 --- Object-Oriented Programming, 26th
European Conference",
booktitle = "ECOOP 2012 --- Object-Oriented Programming, 26th
European Conference",
title = "ECOOP 2012: the 26th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2012: the 26th European Conference
Object-Oriented Programming",
year = 2012,
}
@Proceedings{ECOOP2013,
title = "ECOOP 2013 --- Object-Oriented Programming, 27th
European Conference",
booktitle = "ECOOP 2013 --- Object-Oriented Programming, 27th
European Conference",
title = "ECOOP 2013: the 27th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2013: the 27th European Conference
Object-Oriented Programming",
year = 2013,
}
@Proceedings{ECOOP2014,
title = "ECOOP 2014 --- Object-Oriented Programming, 28th
European Conference",
booktitle = "ECOOP 2014 --- Object-Oriented Programming, 28th
European Conference",
title = "ECOOP 2014: the 28th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2014: the 28th European Conference
Object-Oriented Programming",
year = 2014,
}
@Proceedings{ECOOP2015,
title = "ECOOP 2015 --- Object-Oriented Programming, 29th
European Conference",
booktitle = "ECOOP 2015 --- Object-Oriented Programming, 29th
European Conference",
title = "ECOOP 2015: the 29th European Conference
Object-Oriented Programming",
booktitle = "ECOOP 2015: the 29th European Conference
Object-Oriented Programming",
year = 2015,
}
......@@ -1493,16 +1501,18 @@
}
@Proceedings{EuroPar2000,
title = "Euro-Par: European Conference on Parallel
title = "Euro-Par 2000: European Conference on Parallel
Processing",
booktitle = "Euro-Par: European Conference on Parallel
booktitle = "Euro-Par 2000: European Conference on Parallel
Processing",
year = 2000,
}
@Proceedings{EuroSys2009,
title = "EuroSys 2009",
booktitle = "EuroSys 2009",
title = "EuroSys 2009: Proceedings of the 4th ACM European
conference on Computer systems",
booktitle = "EuroSys 2009: Proceedings of the 4th ACM European
conference on Computer systems",
year = 2009,
}
......@@ -1679,42 +1689,42 @@
}
@Proceedings{FOVEOOS2010,
title = "International Conference on Formal Verification of
Object-Oriented Software",
booktitle = "International Conference on Formal Verification of
Object-Oriented Software",
title = "FoVeOOS 2010: International Conference on Formal
Verification of Object-Oriented Software",
booktitle = "FoVeOOS 2010: International Conference on Formal
Verification of Object-Oriented Software",
year = 2010,
}
@Proceedings{FPLCA85,
title = "Functional Programming Languages and Computer
Architecture",
booktitle = "Functional Programming Languages and Computer
Architecture",
title = "FPCA '85: Functional Programming Languages and
Computer Architecture",
booktitle = "FPCA '85: Functional Programming Languages and
Computer Architecture",
year = 1985,
}
@Proceedings{FPLCA87,
title = "Functional Programming Languages and Computer
Architecture",
booktitle = "Functional Programming Languages and Computer
Architecture",
title = "FPCA '87: Functional Programming Languages and
Computer Architecture",
booktitle = "FPCA '87: Functional Programming Languages and
Computer Architecture",
year = 1987,
}
@Proceedings{FPLCA91,
title = "Functional Programming Languages and Computer
Architecture",
booktitle = "Functional Programming Languages and Computer
Architecture",
title = "FPCA '91: Functional Programming Languages and
Computer Architecture",
booktitle = "FPCA '91: Functional Programming Languages and
Computer Architecture",
year = 1991,
}
@Proceedings{FPCA93,
title = "Functional Programming Languages and Computer
Architecture",
booktitle = "Functional Programming Languages and Computer
Architecture",
title = "FPCA '93: Functional Programming Languages and
Computer Architecture",
booktitle = "FPCA '93: Functional Programming Languages and
Computer Architecture",
year = 1993,
}
......@@ -1805,10 +1815,10 @@
}
@Proceedings{FSE2002,
title = "FSE 2002, Proceedings of the {ACM} {SIGSOFT} 10th
title = "FSE 2002: Proceedings of the {ACM} {SIGSOFT} 10th
International Symposium on the Foundations of
Software Engineering",
booktitle = "FSE 2002, Proceedings of the {ACM} {SIGSOFT} 10th
booktitle = "FSE 2002: Proceedings of the {ACM} {SIGSOFT} 10th
International Symposium on the Foundations of
Software Engineering",
year = 2002,
......@@ -1839,8 +1849,10 @@
}
@Proceedings{WTISD2003,
title = "Workshop on Tool-Integration in System Development",
booktitle = "Workshop on Tool-Integration in System Development",
title = "TIS 2003: Proceedings of the 2003 Workshop on
Tool-Integration in System Development",
booktitle = "TIS 2003: Proceedings of the 2003 Workshop on
Tool-Integration in System Development",
year = 2003,
}
......@@ -1898,6 +1910,16 @@
year = 2008,
}
@Proceedings{FSEDS2008,
title = "FSEDS 2008: Proceedings of the {ACM} {SIGSOFT} 16th
Symposium on the Foundations of Software
Engineering Doctoral Symposium",
booktitle = "FSEDS 2008: Proceedings of the {ACM} {SIGSOFT} 16th
Symposium on the Foundations of Software
Engineering Doctoral Symposium",
year = 2008,
}
@Proceedings{FSE2009,
title = "ESEC/FSE 2009: The 7th joint meeting of the European
Software Engineering Conference and the ACM
......@@ -2369,10 +2391,10 @@
}
@Proceedings{ICS89,
title = "Proceedings of the International Conference on
Supercomputing",
booktitle = "Proceedings of the International Conference on
Supercomputing",
title = "ICS '89: Proceedings of the International Conference
on Supercomputing",
booktitle = "ICS '89: Proceedings of the International Conference
on Supercomputing",
year = 1989,
}
......@@ -2489,8 +2511,10 @@
}
@Proceedings{ICSEDS99,
title = "ICSE '99 Doctoral Workshop",
booktitle = "ICSE '99 Doctoral Workshop",
title = "ICSE '99 Doctoral Workshop: Proceedings of the 21st
International Conference on Software Engineering",
booktitle = "ICSE '99 Doctoral Workshop: Proceedings of the 21st
International Conference on Software Engineering",
year = 1999,
}
......@@ -2535,8 +2559,12 @@
}
@Proceedings{ICSEDS2004,
title = "ICSE 2004 Doctoral Symposium",
booktitle = "ICSE 2004 Doctoral Symposium",
title = "ICSE 2004 Doctoral Symposium: Proceedings of the
26th International Conference on Software
Engineering",
booktitle = "ICSE 2004 Doctoral Symposium: Proceedings of the
26th International Conference on Software
Engineering",
year = 2004,
}
......@@ -2591,6 +2619,13 @@
Conference on Software Engineering",
year = 2009,
}
@Proceedings{ICSE2009-C,
title = "ICSE 2009: Proceedings of the 31st International
Conference on Software Engineering Companion",
booktitle = "ICSE 2009: Proceedings of the 31st International
Conference on Software Engineering Companion",
year = 2009,
}
@Proceedings{ICSE2010,
title = "ICSE 2010: Proceedings of the 32nd International
......@@ -2600,6 +2635,14 @@
year = 2010,
}
@Proceedings{ICSE2010-C,
title = "ICSE 2010: Proceedings of the 32nd International
Conference on Software Engineering Companion",
booktitle = "ICSE 2010: Proceedings of the 32nd International
Conference on Software Engineering Companion",
year = 2010,
}
@Proceedings{ICSE2011,
title = "ICSE 2011: Proceedings of the 33rd International
Conference on Software Engineering",
......@@ -2609,17 +2652,17 @@
}
@Proceedings{MSE2011,
title = "Proceedings of the 4th International Workshop on
Multicore Software Engineering",
booktitle = "Proceedings of the 4th International Workshop on
title = "IWMSE 2011: Proceedings of the 4th International Workshop on
Multicore Software Engineering",
booktitle = "IWMSE 2011: Proceedings of the 4th International
Workshop on Multicore Software Engineering",
year = 2011,
}
@Proceedings{ICSE2012,
title = "ICSE 2011: Proceedings of the 34th International
title = "ICSE 2012: Proceedings of the 34th International
Conference on Software Engineering",
booktitle = "ICSE 2011: Proceedings of the 34th International
booktitle = "ICSE 2012: Proceedings of the 34th International
Conference on Software Engineering",
year = 2012,
}
......@@ -2634,6 +2677,14 @@
year = 2012,
}
@Proceedings{ICSE2012-C,
title = "ICSE 2012: Proceedings of the 34th International
Conference on Software Engineering Companion",
booktitle = "ICSE 2017: Proceedings of the 34th International
Conference on Software Engineering Companion",
year = 2012,
}
@Proceedings{ICSE2013,
title = "ICSE 2013: Proceedings of the 35th International
Conference on Software Engineering",
......@@ -3177,113 +3228,113 @@
}
@Proceedings{ISSTA2000,
title = "ISSTA 2000, Proceedings of the 2000 International
title = "ISSTA 2000: Proceedings of the 2000 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2000, Proceedings of the 2000 International
booktitle = "ISSTA 2000: Proceedings of the 2000 International
Symposium on Software Testing and Analysis",
year = 2000,
}
@Proceedings{ISSTA2002,
title = "ISSTA 2002, Proceedings of the 2002 International
title = "ISSTA 2002: Proceedings of the 2002 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2002, Proceedings of the 2002 International
booktitle = "ISSTA 2002: Proceedings of the 2002 International
Symposium on Software Testing and Analysis",
year = 2002,
}
@Proceedings{ISSTA2004,
title = "ISSTA 2004, Proceedings of the 2004 International
title = "ISSTA 2004: Proceedings of the 2004 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2004, Proceedings of the 2004 International
booktitle = "ISSTA 2004: Proceedings of the 2004 International
Symposium on Software Testing and Analysis",
year = 2004,
}
@Proceedings{ISSTA2006,
title = "ISSTA 2006, Proceedings of the 2006 International
title = "ISSTA 2006: Proceedings of the 2006 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2006, Proceedings of the 2006 International
booktitle = "ISSTA 2006: Proceedings of the 2006 International
Symposium on Software Testing and Analysis",
year = 2006,
}
@Proceedings{ISSTA2007,
title = "ISSTA 2006, Proceedings of the 2007 International
title = "ISSTA 2006: Proceedings of the 2007 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2006, Proceedings of the 2007 International
booktitle = "ISSTA 2006: Proceedings of the 2007 International
Symposium on Software Testing and Analysis",
year = 2007,
}
@Proceedings{ISSTA2008,
title = "ISSTA 2008, Proceedings of the 2008 International
title = "ISSTA 2008: Proceedings of the 2008 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2008, Proceedings of the 2008 International
booktitle = "ISSTA 2008: Proceedings of the 2008 International
Symposium on Software Testing and Analysis",
year = 2008,
}
@Proceedings{ISSTA2009,
title = "ISSTA 2009, Proceedings of the 2009 International
title = "ISSTA 2009: Proceedings of the 2009 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2009, Proceedings of the 2009 International
booktitle = "ISSTA 2009: Proceedings of the 2009 International
Symposium on Software Testing and Analysis",
year = 2009,
}
@Proceedings{ISSTA2010,
title = "ISSTA 2010, Proceedings of the 2010 International
title = "ISSTA 2010: Proceedings of the 2010 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2010, Proceedings of the 2010 International
booktitle = "ISSTA 2010: Proceedings of the 2010 International
Symposium on Software Testing and Analysis",
year = 2010,
}
@Proceedings{ISSTA2011,
title = "ISSTA 2011, Proceedings of the 2011 International
title = "ISSTA 2011: Proceedings of the 2011 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2011, Proceedings of the 2011 International
booktitle = "ISSTA 2011: Proceedings of the 2011 International
Symposium on Software Testing and Analysis",
year = 2011,
}
@Proceedings{ISSTA2012,
title = "ISSTA 2012, Proceedings of the 2012 International
title = "ISSTA 2012: Proceedings of the 2012 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2012, Proceedings of the 2012 International
booktitle = "ISSTA 2012: Proceedings of the 2012 International
Symposium on Software Testing and Analysis",
year = 2012,
}
@Proceedings{ISSTA2013,
title = "ISSTA 2013, Proceedings of the 2013 International
title = "ISSTA 2013: Proceedings of the 2013 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2013, Proceedings of the 2013 International
booktitle = "ISSTA 2013: Proceedings of the 2013 International
Symposium on Software Testing and Analysis",
year = 2013,
}
@Proceedings{ISSTA2014,
title = "ISSTA 2014, Proceedings of the 2014 International
title = "ISSTA 2014: Proceedings of the 2014 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2014, Proceedings of the 2014 International
booktitle = "ISSTA 2014: Proceedings of the 2014 International
Symposium on Software Testing and Analysis",
year = 2014,
}
@Proceedings{ISSTA2015,
title = "ISSTA 2015, Proceedings of the 2015 International
title = "ISSTA 2015: Proceedings of the 2015 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2015, Proceedings of the 2015 International
booktitle = "ISSTA 2015: Proceedings of the 2015 International
Symposium on Software Testing and Analysis",
year = 2015,
}
@Proceedings{ISSTA2016,
title = "ISSTA 2016, Proceedings of the 2016 International
title = "ISSTA 2016: Proceedings of the 2016 International
Symposium on Software Testing and Analysis",
booktitle = "ISSTA 2016, Proceedings of the 2016 International
booktitle = "ISSTA 2016: Proceedings of the 2016 International
Symposium on Software Testing and Analysis",
year = 2016,
}
......@@ -3365,9 +3416,9 @@
}