BibTeX records: Elena Giachino

download as .bib file

@article{DBLP:journals/iandc/DardhaGS17,
  author    = {Ornela Dardha and
               Elena Giachino and
               Davide Sangiorgi},
  title     = {Session types revisited},
  journal   = {Inf. Comput.},
  volume    = {256},
  pages     = {253--286},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ic.2017.06.002},
  doi       = {10.1016/j.ic.2017.06.002},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/DardhaGS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/BravettiGLW17,
  author    = {Mario Bravetti and
               Elena Giachino and
               Michael Lienhardt and
               Peter Y. H. Wong},
  title     = {Dynamic Rebinding for Concurrent Object Groups: Theory and practice},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {86},
  number    = {1},
  pages     = {349--390},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2016.03.002},
  doi       = {10.1016/j.jlamp.2016.03.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jlp/BravettiGLW17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/GiachinoLMT17,
  author    = {Elena Giachino and
               Ivan Lanese and
               Claudio Antares Mezzina and
               Francesco Tiezzi},
  title     = {Causal-consistent rollback in a tuple-based language},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {88},
  pages     = {99--120},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2016.09.003},
  doi       = {10.1016/j.jlamp.2016.09.003},
  timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jlp/GiachinoLMT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
  author    = {Davide Ancona and
               Viviana Bono and
               Mario Bravetti and
               Joana Campos and
               Giuseppe Castagna and
               Pierre{-}Malo Deni{\'{e}}lou and
               Simon J. Gay and
               Nils Gesbert and
               Elena Giachino and
               Raymond Hu and
               Einar Broch Johnsen and
               Francisco Martins and
               Viviana Mascardi and
               Fabrizio Montesi and
               Rumyana Neykova and
               Nicholas Ng and
               Luca Padovani and
               Vasco T. Vasconcelos and
               Nobuko Yoshida},
  title     = {Behavioral Types in Programming Languages},
  journal   = {Foundations and Trends in Programming Languages},
  volume    = {3},
  number    = {2-3},
  pages     = {95--230},
  year      = {2016},
  url       = {https://doi.org/10.1561/2500000031},
  doi       = {10.1561/2500000031},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ftpl/AnconaBB0CDGGGH16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mscs/CapecchiGY16,
  author    = {Sara Capecchi and
               Elena Giachino and
               Nobuko Yoshida},
  title     = {Global escape in multiparty sessions},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {2},
  pages     = {156--205},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000164},
  doi       = {10.1017/S0960129514000164},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mscs/CapecchiGY16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sosym/GiachinoLL16,
  author    = {Elena Giachino and
               Cosimo Laneve and
               Michael Lienhardt},
  title     = {A framework for deadlock detection in core {ABS}},
  journal   = {Software and System Modeling},
  volume    = {15},
  number    = {4},
  pages     = {1013--1048},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10270-014-0444-y},
  doi       = {10.1007/s10270-014-0444-y},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sosym/GiachinoLL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GiachinoGLN16,
  author    = {Elena Giachino and
               Stijn de Gouw and
               Cosimo Laneve and
               Behrooz Nobakht},
  title     = {Statically and Dynamically Verifiable {SLA} Metrics},
  booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  pages     = {211--225},
  year      = {2016},
  crossref  = {DBLP:conf/birthday/2016deboer},
  url       = {https://doi.org/10.1007/978-3-319-30734-3_15},
  doi       = {10.1007/978-3-319-30734-3_15},
  timestamp = {Thu, 01 Jun 2017 18:57:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/GiachinoGLN16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GiachinoHLM16,
  author    = {Elena Giachino and
               Ludovic Henrio and
               Cosimo Laneve and
               Vincenzo Mastandrea},
  title     = {Actors may synchronize, safely!},
  booktitle = {Proceedings of the 18th International Symposium on Principles and
               Practice of Declarative Programming, Edinburgh, United Kingdom, September
               5-7, 2016},
  pages     = {118--131},
  year      = {2016},
  crossref  = {DBLP:conf/ppdp/2016},
  url       = {http://doi.acm.org/10.1145/2967973.2968599},
  doi       = {10.1145/2967973.2968599},
  timestamp = {Wed, 07 Sep 2016 13:16:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ppdp/GiachinoHLM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/facs2/GiachinoJLP15,
  author    = {Elena Giachino and
               Einar Broch Johnsen and
               Cosimo Laneve and
               Ka I Pun},
  title     = {Time Complexity of Concurrent Programs - - {A} Technique Based on
               Behavioural Types -},
  booktitle = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  pages     = {199--216},
  year      = {2015},
  crossref  = {DBLP:conf/facs2/2015},
  url       = {https://doi.org/10.1007/978-3-319-28934-2_11},
  doi       = {10.1007/978-3-319-28934-2_11},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/GiachinoJLP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GiachinoLMT15,
  author    = {Elena Giachino and
               Ivan Lanese and
               Claudio Antares Mezzina and
               Francesco Tiezzi},
  title     = {Causal-Consistent Reversibility in a Tuple-Based Language},
  booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
               2015},
  pages     = {467--475},
  year      = {2015},
  crossref  = {DBLP:conf/pdp/2015},
  url       = {https://doi.org/10.1109/PDP.2015.98},
  doi       = {10.1109/PDP.2015.98},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pdp/GiachinoLMT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/GiachinoLL15,
  author    = {Elena Giachino and
               Cosimo Laneve and
               Michael Lienhardt},
  title     = {A framework for deadlock detection in core {ABS}},
  journal   = {CoRR},
  volume    = {abs/1511.04926},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.04926},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/GiachinoLL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/GiachinoJLP15,
  author    = {Elena Giachino and
               Einar Broch Johnsen and
               Cosimo Laneve and
               Ka I Pun},
  title     = {Time complexity of concurrent programs},
  journal   = {CoRR},
  volume    = {abs/1511.05104},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.05104},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/GiachinoJLP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/GiachinoKL14,
  author    = {Elena Giachino and
               Naoki Kobayashi and
               Cosimo Laneve},
  title     = {Deadlock Analysis of Unbounded Process Networks},
  booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  pages     = {63--77},
  year      = {2014},
  crossref  = {DBLP:conf/concur/2014},
  url       = {https://doi.org/10.1007/978-3-662-44584-6_6},
  doi       = {10.1007/978-3-662-44584-6_6},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/GiachinoKL14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fase/GiachinoLM14,
  author    = {Elena Giachino and
               Ivan Lanese and
               Claudio Antares Mezzina},
  title     = {Causal-Consistent Reversible Debugging},
  booktitle = {Fundamental Approaches to Software Engineering - 17th International
               Conference, {FASE} 2014, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
               April 5-13, 2014, Proceedings},
  pages     = {370--384},
  year      = {2014},
  crossref  = {DBLP:conf/fase/2014},
  url       = {https://doi.org/10.1007/978-3-642-54804-8_26},
  doi       = {10.1007/978-3-642-54804-8_26},
  timestamp = {Fri, 02 Jun 2017 20:48:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fase/GiachinoLM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/GiachinoL14,
  author    = {Elena Giachino and
               Cosimo Laneve},
  title     = {Towards the Typing of Resource Deployment},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Specialized Techniques and Applications - 6th International Symposium,
               ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
               Part {II}},
  pages     = {88--103},
  year      = {2014},
  crossref  = {DBLP:conf/isola/2014-2},
  url       = {https://doi.org/10.1007/978-3-662-45231-8_7},
  doi       = {10.1007/978-3-662-45231-8_7},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/GiachinoL14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GiachinoL14,
  author    = {Elena Giachino and
               Cosimo Laneve},
  title     = {Deadlock Detection in Linear Recursive Programs},
  booktitle = {Formal Methods for Executable Software Models - 14th International
               School on Formal Methods for the Design of Computer, Communication,
               and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
               Advanced Lectures},
  pages     = {26--64},
  year      = {2014},
  crossref  = {DBLP:conf/sfm/2014},
  url       = {https://doi.org/10.1007/978-3-319-07317-0_2},
  doi       = {10.1007/978-3-319-07317-0_2},
  timestamp = {Mon, 05 Jun 2017 12:42:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sfm/GiachinoL14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mscs/BettiniCDGV13,
  author    = {Lorenzo Bettini and
               Sara Capecchi and
               Mariangiola Dezani{-}Ciancaglini and
               Elena Giachino and
               Betti Venneri},
  title     = {Deriving session and union types for objects},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {23},
  number    = {6},
  pages     = {1163--1219},
  year      = {2013},
  url       = {https://doi.org/10.1017/S0960129512000886},
  doi       = {10.1017/S0960129512000886},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mscs/BettiniCDGV13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GiachinoGLLW13,
  author    = {Elena Giachino and
               Carlo Augusto Grazia and
               Cosimo Laneve and
               Michael Lienhardt and
               Peter Y. H. Wong},
  title     = {Deadlock Analysis of Concurrent Objects: Theory and Practice},
  booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
               Turku, Finland, June 10-14, 2013. Proceedings},
  pages     = {394--411},
  year      = {2013},
  crossref  = {DBLP:conf/ifm/2013},
  url       = {https://doi.org/10.1007/978-3-642-38613-8_27},
  doi       = {10.1007/978-3-642-38613-8_27},
  timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/GiachinoGLLW13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DardhaGL13,
  author    = {Ornela Dardha and
               Elena Giachino and
               Michael Lienhardt},
  title     = {A Type System for Components},
  booktitle = {Software Engineering and Formal Methods - 11th International Conference,
               {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  pages     = {167--181},
  year      = {2013},
  crossref  = {DBLP:conf/sefm/2013},
  url       = {https://doi.org/10.1007/978-3-642-40561-7_12},
  doi       = {10.1007/978-3-642-40561-7_12},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/DardhaGL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmco/2012,
  editor    = {Elena Giachino and
               Reiner H{\"{a}}hnle and
               Frank S. de Boer and
               Marcello M. Bonsangue},
  title     = {Formal Methods for Components and Objects - 11th International Symposium,
               {FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7866},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40615-7},
  doi       = {10.1007/978-3-642-40615-7},
  isbn      = {978-3-642-40614-0},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmco/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/GiachinoL13,
  author    = {Elena Giachino and
               Cosimo Laneve},
  title     = {Deadlock detection in linear recursive programs},
  journal   = {CoRR},
  volume    = {abs/1310.7449},
  year      = {2013},
  url       = {http://arxiv.org/abs/1310.7449},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/GiachinoL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DardhaGS12,
  author    = {Ornela Dardha and
               Elena Giachino and
               Davide Sangiorgi},
  title     = {Session types revisited},
  booktitle = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
               Belgium - September 19 - 21, 2012},
  pages     = {139--150},
  year      = {2012},
  crossref  = {DBLP:conf/ppdp/2012},
  url       = {http://doi.acm.org/10.1145/2370776.2370794},
  doi       = {10.1145/2370776.2370794},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ppdp/DardhaGS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tgc/GiachinoL12,
  author    = {Elena Giachino and
               Cosimo Laneve},
  title     = {A Beginner's Guide to the DeadLock Analysis Model},
  booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC}
               2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
               Papers},
  pages     = {49--63},
  year      = {2012},
  crossref  = {DBLP:conf/tgc/2012},
  url       = {https://doi.org/10.1007/978-3-642-41157-1_4},
  doi       = {10.1007/978-3-642-41157-1_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tgc/GiachinoL12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/forte/GiachinoL11,
  author    = {Elena Giachino and
               Cosimo Laneve},
  title     = {Analysis of Deadlocks in Object Groups},
  booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
               6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
               6-9, 2011. Proceedings},
  pages     = {168--182},
  year      = {2011},
  crossref  = {DBLP:conf/forte/2011},
  url       = {https://doi.org/10.1007/978-3-642-21461-5_11},
  doi       = {10.1007/978-3-642-21461-5_11},
  timestamp = {Fri, 02 Jun 2017 20:47:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/GiachinoL11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CapecchiGY10,
  author    = {Sara Capecchi and
               Elena Giachino and
               Nobuko Yoshida},
  title     = {Global Escape in Multiparty Sessions},
  booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  pages     = {338--351},
  year      = {2010},
  crossref  = {DBLP:conf/fsttcs/2010},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.338},
  doi       = {10.4230/LIPIcs.FSTTCS.2010.338},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/CapecchiGY10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/CapecchiCDDG09,
  author    = {Sara Capecchi and
               Mario Coppo and
               Mariangiola Dezani{-}Ciancaglini and
               Sophia Drossopoulou and
               Elena Giachino},
  title     = {Amalgamating sessions and methods in object-oriented languages with
               generics},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {2-3},
  pages     = {142--167},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.tcs.2008.09.016},
  doi       = {10.1016/j.tcs.2008.09.016},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/CapecchiCDDG09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CastagnaDGP09,
  author    = {Giuseppe Castagna and
               Mariangiola Dezani{-}Ciancaglini and
               Elena Giachino and
               Luca Padovani},
  title     = {Foundations of session types},
  booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  pages     = {219--230},
  year      = {2009},
  crossref  = {DBLP:conf/ppdp/2009},
  url       = {http://doi.acm.org/10.1145/1599410.1599437},
  doi       = {10.1145/1599410.1599437},
  timestamp = {Wed, 23 Sep 2009 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ppdp/CastagnaDGP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acta/DamianiGGD08,
  author    = {Ferruccio Damiani and
               Elena Giachino and
               Paola Giannini and
               Sophia Drossopoulou},
  title     = {A type safe state abstraction for coordination in Java -like languages},
  journal   = {Acta Inf.},
  volume    = {45},
  number    = {7-8},
  pages     = {479--536},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00236-008-0079-y},
  doi       = {10.1007/s00236-008-0079-y},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/acta/DamianiGGD08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/DamianiGG08,
  author    = {Ferruccio Damiani and
               Elena Giachino and
               Paola Giannini},
  title     = {Alias Types and Effects for "Environment-aware" Computations},
  journal   = {Fundam. Inform.},
  volume    = {88},
  number    = {1-2},
  pages     = {63--107},
  year      = {2008},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-1-2-04},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/DamianiGG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jot/BettiniCG08,
  author    = {Lorenzo Bettini and
               Sara Capecchi and
               Elena Giachino},
  title     = {Featherweight Wrap Java: wrapping objects and methods},
  journal   = {Journal of Object Technology},
  volume    = {7},
  number    = {2},
  pages     = {5--29},
  year      = {2008},
  url       = {https://doi.org/10.5381/jot.2008.7.2.a1},
  doi       = {10.5381/jot.2008.7.2.a1},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jot/BettiniCG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BettiniCDGV08,
  author    = {Lorenzo Bettini and
               Sara Capecchi and
               Mariangiola Dezani{-}Ciancaglini and
               Elena Giachino and
               Betti Venneri},
  title     = {Session and Union Types for Object Oriented Programming},
  booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
               on the Occasion of His 65th Birthday},
  pages     = {659--680},
  year      = {2008},
  crossref  = {DBLP:conf/birthday/2008montanari},
  url       = {https://doi.org/10.1007/978-3-540-68679-8_41},
  doi       = {10.1007/978-3-540-68679-8_41},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/BettiniCDGV08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BonoDG08,
  author    = {Viviana Bono and
               Ferruccio Damiani and
               Elena Giachino},
  title     = {On Traits and Types in a Java-like Setting},
  booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
               - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
               of Computer Science, September 7-10, 2008, Milano, Italy},
  pages     = {367--382},
  year      = {2008},
  crossref  = {DBLP:conf/ifipTCS/2008},
  url       = {https://doi.org/10.1007/978-0-387-09680-3_25},
  doi       = {10.1007/978-0-387-09680-3_25},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifipTCS/BonoDG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/BettiniCG07,
  author    = {Lorenzo Bettini and
               Sara Capecchi and
               Elena Giachino},
  title     = {Featherweight wrap Java},
  booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
               Seoul, Korea, March 11-15, 2007},
  pages     = {1094--1100},
  year      = {2007},
  crossref  = {DBLP:conf/sac/2007},
  url       = {http://doi.acm.org/10.1145/1244002.1244242},
  doi       = {10.1145/1244002.1244242},
  timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/BettiniCG07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Dezani-CiancagliniGDY06,
  author    = {Mariangiola Dezani{-}Ciancaglini and
               Elena Giachino and
               Sophia Drossopoulou and
               Nobuko Yoshida},
  title     = {Bounded Session Types for Object Oriented Languages},
  booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
               {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
               Lectures},
  pages     = {207--245},
  year      = {2006},
  crossref  = {DBLP:conf/fmco/2006},
  url       = {https://doi.org/10.1007/978-3-540-74792-5_10},
  doi       = {10.1007/978-3-540-74792-5_10},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmco/Dezani-CiancagliniGDY06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/DamianiGGC06,
  author    = {Ferruccio Damiani and
               Elena Giachino and
               Paola Giannini and
               Emanuele Cazzola},
  title     = {On state classes and their dynamic semantics},
  booktitle = {{ICSOFT} 2006, First International Conference on Software and Data
               Technologies, Set{\'{u}}bal, Portugal, September 11-14, 2006},
  pages     = {5--12},
  year      = {2006},
  crossref  = {DBLP:conf/icsoft/2006},
  timestamp = {Thu, 26 Oct 2006 11:45:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icsoft/DamianiGGC06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016deboer,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marcello M. Bonsangue and
               Einar Broch Johnsen},
  title     = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9660},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-30734-3},
  doi       = {10.1007/978-3-319-30734-3},
  isbn      = {978-3-319-30733-6},
  timestamp = {Thu, 01 Jun 2017 18:57:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2016deboer},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2016,
  editor    = {James Cheney and
               Germ{\'{a}}n Vidal},
  title     = {Proceedings of the 18th International Symposium on Principles and
               Practice of Declarative Programming, Edinburgh, United Kingdom, September
               5-7, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2967973},
  doi       = {10.1145/2967973},
  isbn      = {978-1-4503-4148-6},
  timestamp = {Wed, 07 Sep 2016 13:16:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ppdp/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/facs2/2015,
  editor    = {Christiano Braga and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9539},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28934-2},
  doi       = {10.1007/978-3-319-28934-2},
  isbn      = {978-3-319-28933-5},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/facs2/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pdp/2015,
  editor    = {Masoud Daneshtalab and
               Marco Aldinucci and
               Ville Lepp{\"{a}}nen and
               Johan Lilius and
               Mats Brorsson},
  title     = {23rd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
               2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7092671},
  isbn      = {978-1-4799-8491-6},
  timestamp = {Fri, 08 Apr 2016 13:03:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pdp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2014,
  editor    = {Paolo Baldan and
               Daniele Gorla},
  title     = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8704},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44584-6},
  doi       = {10.1007/978-3-662-44584-6},
  isbn      = {978-3-662-44583-9},
  timestamp = {Tue, 23 May 2017 01:11:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fase/2014,
  editor    = {Stefania Gnesi and
               Arend Rensink},
  title     = {Fundamental Approaches to Software Engineering - 17th International
               Conference, {FASE} 2014, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
               April 5-13, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8411},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54804-8},
  doi       = {10.1007/978-3-642-54804-8},
  isbn      = {978-3-642-54803-1},
  timestamp = {Fri, 02 Jun 2017 20:48:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fase/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2014-2,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Specialized Techniques and Applications - 6th International Symposium,
               ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8803},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45231-8},
  doi       = {10.1007/978-3-662-45231-8},
  isbn      = {978-3-662-45230-1},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/2014-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sfm/2014,
  editor    = {Marco Bernardo and
               Ferruccio Damiani and
               Reiner H{\"{a}}hnle and
               Einar Broch Johnsen and
               Ina Schaefer},
  title     = {Formal Methods for Executable Software Models - 14th International
               School on Formal Methods for the Design of Computer, Communication,
               and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
               Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {8483},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07317-0},
  doi       = {10.1007/978-3-319-07317-0},
  isbn      = {978-3-319-07316-3},
  timestamp = {Mon, 05 Jun 2017 12:42:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sfm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifm/2013,
  editor    = {Einar Broch Johnsen and
               Luigia Petre},
  title     = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
               Turku, Finland, June 10-14, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7940},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38613-8},
  doi       = {10.1007/978-3-642-38613-8},
  isbn      = {978-3-642-38612-1},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2013,
  editor    = {Robert M. Hierons and
               Mercedes G. Merayo and
               Mario Bravetti},
  title     = {Software Engineering and Formal Methods - 11th International Conference,
               {SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8137},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40561-7},
  doi       = {10.1007/978-3-642-40561-7},
  isbn      = {978-3-642-40560-0},
  timestamp = {Sun, 21 May 2017 00:18:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2012,
  editor    = {Danny De Schreye and
               Gerda Janssens and
               Andy King},
  title     = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
               Belgium - September 19 - 21, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2370776},
  isbn      = {978-1-4503-1522-7},
  timestamp = {Sun, 11 Nov 2012 19:34:31 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ppdp/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tgc/2012,
  editor    = {Catuscia Palamidessi and
               Mark Dermot Ryan},
  title     = {Trustworthy Global Computing - 7th International Symposium, {TGC}
               2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8191},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41157-1},
  doi       = {10.1007/978-3-642-41157-1},
  isbn      = {978-3-642-41156-4},
  timestamp = {Sun, 21 May 2017 00:19:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tgc/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/2011,
  editor    = {Roberto Bruni and
               J{\"{u}}rgen Dingel},
  title     = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
               6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
               6-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6722},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21461-5},
  doi       = {10.1007/978-3-642-21461-5},
  isbn      = {978-3-642-21460-8},
  timestamp = {Fri, 02 Jun 2017 20:47:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2010,
  editor    = {Kamal Lodaya and
               Meena Mahajan},
  title     = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  series    = {LIPIcs},
  volume    = {8},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10007},
  isbn      = {978-3-939897-23-1},
  timestamp = {Tue, 26 Feb 2013 10:47:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2009,
  editor    = {Ant{\'{o}}nio Porto and
               Francisco Javier L{\'{o}}pez{-}Fraguas},
  title     = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-568-0},
  timestamp = {Tue, 22 Sep 2009 21:52:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ppdp/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2008montanari,
  editor    = {Pierpaolo Degano and
               Rocco De Nicola and
               Jos{\'{e}} Meseguer},
  title     = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
               on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {5065},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68679-8},
  doi       = {10.1007/978-3-540-68679-8},
  isbn      = {978-3-540-68676-7},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2008montanari},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifipTCS/2008,
  editor    = {Giorgio Ausiello and
               Juhani Karhum{\"{a}}ki and
               Giancarlo Mauri and
               C.{-}H. Luke Ong},
  title     = {Fifth {IFIP} International Conference On Theoretical Computer Science
               - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
               of Computer Science, September 7-10, 2008, Milano, Italy},
  series    = {{IFIP}},
  volume    = {273},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-0-387-09679-7},
  timestamp = {Mon, 15 Sep 2008 15:28:03 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifipTCS/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2007,
  editor    = {Yookun Cho and
               Roger L. Wainwright and
               Hisham Haddad and
               Sung Y. Shin and
               Yong Wan Koo},
  title     = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
               Seoul, Korea, March 11-15, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1244002},
  doi       = {10.1145/1244002},
  isbn      = {1-59593-480-4},
  timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmco/2006,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, 5th International Symposium,
               {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {4709},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74792-5},
  doi       = {10.1007/978-3-540-74792-5},
  isbn      = {978-3-540-74791-8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmco/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icsoft/2006,
  editor    = {Joaquim Filipe and
               Boris Shishkov and
               Markus Helfert},
  title     = {{ICSOFT} 2006, First International Conference on Software and Data
               Technologies, Set{\'{u}}bal, Portugal, September 11-14, 2006},
  publisher = {{INSTICC} Press},
  year      = {2006},
  isbn      = {972-8865-69-4},
  timestamp = {Thu, 26 Oct 2006 11:45:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icsoft/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier