BibTeX records: Claudio Corrodi

download as .bib file

@article{DBLP:journals/fac/CorrodiHP18,
  author    = {Claudio Corrodi and
               Alexander Heu{\ss}ner and
               Christopher M. Poskitt},
  title     = {A semantics comparison workbench for a concurrent, asynchronous, distributed
               programming language},
  journal   = {Formal Asp. Comput.},
  volume    = {30},
  number    = {1},
  pages     = {163--192},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00165-017-0443-1},
  doi       = {10.1007/s00165-017-0443-1},
  timestamp = {Thu, 25 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fac/CorrodiHP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/OsmanCCGN17,
  author    = {Haidar Osman and
               Andrei Chis and
               Claudio Corrodi and
               Mohammad Ghafari and
               Oscar Nierstrasz},
  title     = {Exception evolution in long-lived Java systems},
  booktitle = {Proceedings of the 14th International Conference on Mining Software
               Repositories, {MSR} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  pages     = {302--311},
  year      = {2017},
  crossref  = {DBLP:conf/msr/2017},
  url       = {https://doi.org/10.1109/MSR.2017.21},
  doi       = {10.1109/MSR.2017.21},
  timestamp = {Mon, 16 Apr 2018 13:39:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/msr/OsmanCCGN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03928,
  author    = {Claudio Corrodi and
               Alexander Heu{\ss}ner and
               Christopher M. Poskitt},
  title     = {A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed
               Programming Language},
  journal   = {CoRR},
  volume    = {abs/1710.03928},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.03928},
  archivePrefix = {arXiv},
  eprint    = {1710.03928},
  timestamp = {Wed, 01 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1710-03928},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CorrodiHP16,
  author    = {Claudio Corrodi and
               Alexander Heu{\ss}ner and
               Christopher M. Poskitt},
  title     = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs},
  booktitle = {Fundamental Approaches to Software Engineering - 19th International
               Conference, {FASE} 2016, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
               April 2-8, 2016, Proceedings},
  pages     = {31--48},
  year      = {2016},
  crossref  = {DBLP:conf/fase/2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7_3},
  doi       = {10.1007/978-3-662-49665-7_3},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/CorrodiHP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sattose/Corrodi16,
  author    = {Claudio Corrodi},
  title     = {Towards Efficient Object-Centric Debugging with Declarative Breakpoints},
  booktitle = {Post-proceedings of the 9th Seminar on Advanced Techniques and Tools
               for Software Evolution, Bergen, Norway, July 11-13, 2016.},
  pages     = {32--39},
  year      = {2016},
  crossref  = {DBLP:conf/sattose/2016},
  url       = {http://ceur-ws.org/Vol-1791/paper-04.pdf},
  timestamp = {Thu, 23 Feb 2017 11:35:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sattose/Corrodi16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CorrodiHP16,
  author    = {Claudio Corrodi and
               Alexander Heu{\ss}ner and
               Christopher M. Poskitt},
  title     = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs},
  journal   = {CoRR},
  volume    = {abs/1603.00307},
  year      = {2016},
  url       = {http://arxiv.org/abs/1603.00307},
  archivePrefix = {arXiv},
  eprint    = {1603.00307},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CorrodiHP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HeussnerPCM15,
  author    = {Alexander Heu{\ss}ner and
               Christopher M. Poskitt and
               Claudio Corrodi and
               Benjamin Morandi},
  title     = {Towards Practical Graph-Based Verification for an Object-Oriented
               Concurrency Model},
  booktitle = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
               2015.},
  pages     = {32--47},
  year      = {2015},
  crossref  = {DBLP:journals/corr/RensinkZ15},
  url       = {https://doi.org/10.4204/EPTCS.181.3},
  doi       = {10.4204/EPTCS.181.3},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HeussnerPCM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Corrodi15,
  author    = {Claudio Corrodi},
  title     = {Modelling and Verifying an Object-Oriented Concurrency Model in {GROOVE}},
  journal   = {CoRR},
  volume    = {abs/1505.05265},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.05265},
  archivePrefix = {arXiv},
  eprint    = {1505.05265},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Corrodi15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/msr/2017,
  editor    = {Jes{\'{u}}s M. Gonz{\'{a}}lez{-}Barahona and
               Abram Hindle and
               Lin Tan},
  title     = {Proceedings of the 14th International Conference on Mining Software
               Repositories, {MSR} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7959735},
  isbn      = {978-1-5386-1544-7},
  timestamp = {Mon, 16 Apr 2018 13:39:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/msr/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2016,
  editor    = {Perdita Stevens and
               Andrzej Wasowski},
  title     = {Fundamental Approaches to Software Engineering - 19th International
               Conference, {FASE} 2016, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
               April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9633},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7},
  doi       = {10.1007/978-3-662-49665-7},
  isbn      = {978-3-662-49664-0},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sattose/2016,
  editor    = {Mircea Lungu and
               Anya Helene Bagge and
               Haidar Osman},
  title     = {Post-proceedings of the 9th Seminar on Advanced Techniques and Tools
               for Software Evolution, Bergen, Norway, July 11-13, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1791},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1791},
  urn       = {urn:nbn:de:0074-1791-2},
  timestamp = {Thu, 23 Feb 2017 11:35:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sattose/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RensinkZ15,
  editor    = {Arend Rensink and
               Eduardo Zambon},
  title     = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
               2015},
  series    = {{EPTCS}},
  volume    = {181},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.181},
  doi       = {10.4204/EPTCS.181},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/RensinkZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier