BibTeX records: Ka I Pun

download as .bib file

@inproceedings{DBLP:conf/facs2/BijoJPT17,
  author    = {Shiji Bijo and
               Einar Broch Johnsen and
               Ka I Pun and
               Silvia Lizeth Tapia Tarifa},
  title     = {A Formal Model of Parallel Execution on Multicore Architectures with
               Multilevel Caches},
  booktitle = {Formal Aspects of Component Software - 14th International Conference,
               {FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
  pages     = {58--77},
  year      = {2017},
  crossref  = {DBLP:conf/facs2/2017},
  url       = {https://doi.org/10.1007/978-3-319-68034-7_4},
  doi       = {10.1007/978-3-319-68034-7_4},
  timestamp = {Wed, 20 Sep 2017 12:51:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/BijoJPT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcom/JohnsenPT17,
  author    = {Einar Broch Johnsen and
               Ka I Pun and
               Silvia Lizeth Tapia Tarifa},
  title     = {A formal model of cloud-deployed software and its application to workflow
               processing},
  booktitle = {25th International Conference on Software, Telecommunications and
               Computer Networks, SoftCOM 2017, Split, Croatia, September 21-23,
               2017},
  pages     = {1--6},
  year      = {2017},
  crossref  = {DBLP:conf/softcom/2017},
  url       = {https://doi.org/10.23919/SOFTCOM.2017.8115501},
  doi       = {10.23919/SOFTCOM.2017.8115501},
  timestamp = {Wed, 06 Dec 2017 20:25:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/softcom/JohnsenPT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DinHJPT17,
  author    = {Crystal Chang Din and
               Reiner H{\"{a}}hnle and
               Einar Broch Johnsen and
               Ka I Pun and
               Silvia Lizeth Tapia Tarifa},
  title     = {Locally Abstract, Globally Concrete Semantics of Concurrent Programming
               Languages},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
               International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
               September 25-28, 2017, Proceedings},
  pages     = {22--43},
  year      = {2017},
  crossref  = {DBLP:conf/tableaux/2017},
  url       = {https://doi.org/10.1007/978-3-319-66902-1_2},
  doi       = {10.1007/978-3-319-66902-1_2},
  timestamp = {Wed, 06 Sep 2017 15:24:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/DinHJPT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PunSS16,
  author    = {Ka I Pun and
               Martin Steffen and
               Volker Stolz},
  title     = {Effect-polymorphic behaviour inference for deadlock checking},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {85},
  number    = {6},
  pages     = {1234--1267},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jlamp.2016.05.003},
  doi       = {10.1016/j.jlamp.2016.05.003},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/PunSS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BoddenPSSW16,
  author    = {Eric Bodden and
               Ka I Pun and
               Martin Steffen and
               Volker Stolz and
               Anna{-}Katharina Wickert},
  title     = {Information Flow Analysis for Go},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  pages     = {431--445},
  year      = {2016},
  crossref  = {DBLP:conf/isola/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-47166-2_30},
  doi       = {10.1007/978-3-319-47166-2_30},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/BoddenPSSW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BijoJPT16,
  author    = {Shiji Bijo and
               Einar Broch Johnsen and
               Ka I Pun and
               Silvia Lizeth Tapia Tarifa},
  title     = {An operational semantics of cache coherent multicore architectures},
  booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
               Pisa, Italy, April 4-8, 2016},
  pages     = {1219--1224},
  year      = {2016},
  crossref  = {DBLP:conf/sac/2016},
  url       = {http://doi.acm.org/10.1145/2851613.2851718},
  doi       = {10.1145/2851613.2851718},
  timestamp = {Mon, 06 Jun 2016 16:18:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/BijoJPT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BijoJPT16,
  author    = {Shiji Bijo and
               Einar Broch Johnsen and
               Ka I Pun and
               Silvia Lizeth Tapia Tarifa},
  title     = {A Maude Framework for Cache Coherent Multicore Architectures},
  booktitle = {Rewriting Logic and Its Applications - 11th International Workshop,
               {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
               April 2-3, 2016, Revised Selected Papers},
  pages     = {47--63},
  year      = {2016},
  crossref  = {DBLP:conf/wrla/2016},
  url       = {https://doi.org/10.1007/978-3-319-44802-2_3},
  doi       = {10.1007/978-3-319-44802-2_3},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/BijoJPT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JohnsenPT16,
  author    = {Einar Broch Johnsen and
               Ka I Pun and
               Silvia Lizeth Tapia Tarifa},
  title     = {Modeling Deployment Decisions for Elastic Services with {ABS}},
  booktitle = {Proceedings of the First International Workshop on Formal Methods
               for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June
               2016.},
  pages     = {16--26},
  year      = {2016},
  crossref  = {DBLP:journals/corr/BehjatiE16},
  url       = {https://doi.org/10.4204/EPTCS.228.3},
  doi       = {10.4204/EPTCS.228.3},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JohnsenPT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/JohnsenPSTY16,
  author    = {Einar Broch Johnsen and
               Ka I Pun and
               Martin Steffen and
               Silvia Lizeth Tapia Tarifa and
               Ingrid Chieh Yu},
  title     = {Meeting Deadlines, Elastically},
  booktitle = {From Action Systems to Distributed Systems - The Refinement Approach.},
  pages     = {99--111},
  year      = {2016},
  crossref  = {DBLP:books/crc/asds2016},
  url       = {https://doi.org/10.1201/b20053-11},
  doi       = {10.1201/b20053-11},
  timestamp = {Tue, 16 May 2017 14:01:47 +0200},
  biburl    = {https://dblp.org/rec/bib/books/crc/p/JohnsenPSTY16},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/facs2/GiachinoJLP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/BrandauerCCFJPT15,
  author    = {Stephan Brandauer and
               Elias Castegren and
               Dave Clarke and
               Kiko Fernandez{-}Reyes and
               Einar Broch Johnsen and
               Ka I Pun and
               Silvia Lizeth Tapia Tarifa and
               Tobias Wrigstad and
               Albert Mingkun Yang},
  title     = {Parallel Objects for Multicores: {A} Glimpse at the Parallel Language
               Encore},
  booktitle = {Formal Methods for Multicore Programming - 15th International School
               on Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
               Lectures},
  pages     = {1--56},
  year      = {2015},
  crossref  = {DBLP:conf/sfm/2015},
  url       = {https://doi.org/10.1007/978-3-319-18941-3_1},
  doi       = {10.1007/978-3-319-18941-3_1},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/BrandauerCCFJPT15},
  bibsource = {dblp computer science bibliography, https://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},
  archivePrefix = {arXiv},
  eprint    = {1511.05104},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GiachinoJLP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PunSS14,
  author    = {Ka I Pun and
               Martin Steffen and
               Volker Stolz},
  title     = {Deadlock checking by data race detection},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {83},
  number    = {5-6},
  pages     = {400--426},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.jlamp.2014.07.003},
  doi       = {10.1016/j.jlamp.2014.07.003},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/PunSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PunSS14,
  author    = {Ka I Pun and
               Martin Steffen and
               Volker Stolz},
  title     = {Effect-Polymorphic Behaviour Inference for Deadlock Checking},
  booktitle = {Software Engineering and Formal Methods - 12th International Conference,
               {SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
  pages     = {50--64},
  year      = {2014},
  crossref  = {DBLP:conf/sefm/2014},
  url       = {https://doi.org/10.1007/978-3-319-10431-7_5},
  doi       = {10.1007/978-3-319-10431-7_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/PunSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/PunSS14,
  author    = {Ka I Pun and
               Martin Steffen and
               Volker Stolz},
  title     = {Behaviour Inference for Deadlock Checking},
  booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
               2014, Changsha, China, September 1-3, 2014},
  pages     = {106--113},
  year      = {2014},
  crossref  = {DBLP:conf/tase/2014},
  url       = {https://doi.org/10.1109/TASE.2014.23},
  doi       = {10.1109/TASE.2014.23},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tase/PunSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/PunSS13,
  author    = {Ka I Pun and
               Martin Steffen and
               Volker Stolz},
  title     = {Deadlock Checking by Data Race Detection},
  booktitle = {Fundamentals of Software Engineering - 5th International Conference,
               {FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
  pages     = {34--50},
  year      = {2013},
  crossref  = {DBLP:conf/fsen/2013},
  url       = {https://doi.org/10.1007/978-3-642-40213-5_3},
  doi       = {10.1007/978-3-642-40213-5_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/PunSS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bpmj/PunSP12,
  author    = {Ka I Pun and
               Yain{-}Whar Si and
               Kin{-}Chan Pau},
  title     = {Key performance indicators for traffic intensive web-enabled business
               processes},
  journal   = {Business Proc. Manag. Journal},
  volume    = {18},
  number    = {2},
  pages     = {250--283},
  year      = {2012},
  url       = {https://doi.org/10.1108/14637151211225199},
  doi       = {10.1108/14637151211225199},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/bpmj/PunSP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PunSS12,
  author    = {Ka I Pun and
               Martin Steffen and
               Volker Stolz},
  title     = {Deadlock checking by a behavioral effect system for lock handling},
  journal   = {J. Log. Algebr. Program.},
  volume    = {81},
  number    = {3},
  pages     = {331--354},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jlap.2011.11.001},
  doi       = {10.1016/j.jlap.2011.11.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/PunSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BoddenFPS12,
  author    = {Eric Bodden and
               Kevin Falzon and
               Ka I Pun and
               Volker Stolz},
  title     = {Delta-Oriented Monitor Specification},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  pages     = {162--177},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0_13},
  doi       = {10.1007/978-3-642-34026-0_13},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/BoddenFPS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/PunS09,
  author    = {Ka I Pun and
               Yain{-}Whar Si},
  title     = {Audit Trail Analysis for Traffic Intensive Web Application},
  booktitle = {2009 {IEEE} International Conference on e-Business Engineering, {ICEBE}
               2009, Macau, China, 21-23 October 2009},
  pages     = {577--582},
  year      = {2009},
  crossref  = {DBLP:conf/icebe/2009},
  url       = {https://doi.org/10.1109/ICEBE.2009.91},
  doi       = {10.1109/ICEBE.2009.91},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icebe/PunS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/PunPS08,
  author    = {Ka I Pun and
               Kin{-}Chan Pau and
               Yain{-}Whar Si},
  title     = {Modeling Support for Simulating Traffic Intensive Web Applications},
  booktitle = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on
               Web Intelligence and International Conference on Intelligent Agent
               Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia},
  pages     = {512--516},
  year      = {2008},
  crossref  = {DBLP:conf/iat/2008w},
  url       = {https://doi.org/10.1109/WIIAT.2008.132},
  doi       = {10.1109/WIIAT.2008.132},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iat/PunPS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2017,
  editor    = {Jos{\'{e}} Proen{\c{c}}a and
               Markus Lumpe},
  title     = {Formal Aspects of Component Software - 14th International Conference,
               {FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10487},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68034-7},
  doi       = {10.1007/978-3-319-68034-7},
  isbn      = {978-3-319-68033-0},
  timestamp = {Wed, 20 Sep 2017 12:51:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/softcom/2017,
  editor    = {Dinko Begusic and
               Nikola Rozic and
               Josko Radic and
               Matko Saric},
  title     = {25th International Conference on Software, Telecommunications and
               Computer Networks, SoftCOM 2017, Split, Croatia, September 21-23,
               2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8106909},
  isbn      = {978-953-290-078-1},
  timestamp = {Wed, 06 Dec 2017 20:25:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/softcom/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/2017,
  editor    = {Renate A. Schmidt and
               Cl{\'{a}}udia Nalon},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
               International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
               September 25-28, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10501},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66902-1},
  doi       = {10.1007/978-3-319-66902-1},
  isbn      = {978-3-319-66901-4},
  timestamp = {Wed, 06 Sep 2017 15:24:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2016-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2},
  doi       = {10.1007/978-3-319-47166-2},
  isbn      = {978-3-319-47165-5},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2016,
  editor    = {Sascha Ossowski},
  title     = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
               Pisa, Italy, April 4-8, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2851613},
  doi       = {10.1145/2851613},
  isbn      = {978-1-4503-3739-7},
  timestamp = {Mon, 06 Jun 2016 16:18:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2016,
  editor    = {Dorel Lucanu},
  title     = {Rewriting Logic and Its Applications - 11th International Workshop,
               {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
               April 2-3, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9942},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44802-2},
  doi       = {10.1007/978-3-319-44802-2},
  isbn      = {978-3-319-44801-5},
  timestamp = {Wed, 24 May 2017 08:28:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wrla/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BehjatiE16,
  editor    = {Razieh Behjati and
               Ahmed Elmokashfi},
  title     = {Proceedings of the First International Workshop on Formal Methods
               for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June
               2016},
  series    = {{EPTCS}},
  volume    = {228},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.228},
  doi       = {10.4204/EPTCS.228},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BehjatiE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/crc/asds2016,
  editor    = {Luigia Petre and
               Emil Sekerinski},
  title     = {From Action Systems to Distributed Systems - The Refinement Approach},
  publisher = {Chapman and Hall/CRC},
  year      = {2016},
  url       = {https://doi.org/10.1201/b20053},
  doi       = {10.1201/b20053},
  isbn      = {978-1-4987-0158-7},
  timestamp = {Tue, 16 May 2017 14:01:47 +0200},
  biburl    = {https://dblp.org/rec/bib/books/crc/asds2016},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/facs2/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2015,
  editor    = {Marco Bernardo and
               Einar Broch Johnsen},
  title     = {Formal Methods for Multicore Programming - 15th International School
               on Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2015, Bertinoro, Italy, June 15-19, 2015, Advanced
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {9104},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-18941-3},
  doi       = {10.1007/978-3-319-18941-3},
  isbn      = {978-3-319-18940-6},
  timestamp = {Wed, 24 May 2017 08:30:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2014,
  editor    = {Dimitra Giannakopoulou and
               Gwen Sala{\"{u}}n},
  title     = {Software Engineering and Formal Methods - 12th International Conference,
               {SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8702},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10431-7},
  doi       = {10.1007/978-3-319-10431-7},
  isbn      = {978-3-319-10430-0},
  timestamp = {Sun, 21 May 2017 00:18:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2014,
  title     = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
               2014, Changsha, China, September 1-3, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6968674},
  isbn      = {978-1-4799-5029-4},
  timestamp = {Thu, 05 Nov 2015 11:51:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tase/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsen/2013,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 5th International Conference,
               {FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8161},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40213-5},
  doi       = {10.1007/978-3-642-40213-5},
  isbn      = {978-3-642-40212-8},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsen/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2012-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7609},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34026-0},
  doi       = {10.1007/978-3-642-34026-0},
  isbn      = {978-3-642-34025-3},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2012-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icebe/2009,
  title     = {2009 {IEEE} International Conference on e-Business Engineering, {ICEBE}
               2009, Macau, China, 21-23 October 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5342021},
  isbn      = {978-0-7695-3842-6},
  timestamp = {Wed, 30 Jul 2014 16:59:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icebe/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iat/2008w,
  title     = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on
               Web Intelligence and International Conference on Intelligent Agent
               Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4740691},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iat/2008w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier