BibTeX records: Ilham W. Kurnia

download as .bib file

@phdthesis{DBLP:phd/dnb/Kurnia15,
  author    = {Ilham W. Kurnia},
  title     = {An Automata-Theoretic Approach to Open Actor System Verification},
  school    = {University of Kaiserslautern},
  year      = {2015},
  url       = {https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4018},
  urn       = {urn:nbn:de:hbz:386-kluedo-40180},
  timestamp = {Tue, 19 Apr 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Kurnia15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KurniaP15,
  author    = {Ilham W. Kurnia and
               Arnd Poetzsch{-}Heffter},
  title     = {Modeling Actor Systems Using Dynamic {I/O} Automata},
  booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
               Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
               and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
  pages     = {186--202},
  year      = {2015},
  crossref  = {DBLP:conf/ershov/2015},
  url       = {https://doi.org/10.1007/978-3-319-41579-6\_15},
  doi       = {10.1007/978-3-319-41579-6\_15},
  timestamp = {Sun, 02 Jun 2019 21:19:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/KurniaP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agere/KurniaP12,
  author    = {Ilham W. Kurnia and
               Arnd Poetzsch{-}Heffter},
  title     = {A relational trace logic for simple hierarchical actor-based component
               systems},
  booktitle = {Proceedings of the 2nd edition on Programming systems, languages and
               applications based on actors, agents, and decentralized control abstractions,
               AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  pages     = {47--58},
  year      = {2012},
  crossref  = {DBLP:conf/agere/2012},
  url       = {https://doi.org/10.1145/2414639.2414647},
  doi       = {10.1145/2414639.2414647},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agere/KurniaP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KurniaP12,
  author    = {Ilham W. Kurnia and
               Arnd Poetzsch{-}Heffter},
  title     = {Verification of Open Concurrent Object Systems},
  booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
               {FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
  pages     = {83--118},
  year      = {2012},
  crossref  = {DBLP:conf/fmco/2012},
  url       = {https://doi.org/10.1007/978-3-642-40615-7\_3},
  doi       = {10.1007/978-3-642-40615-7\_3},
  timestamp = {Sat, 19 Oct 2019 20:07:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/KurniaP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Poetzsch-HeffterFKW12,
  author    = {Arnd Poetzsch{-}Heffter and
               Christoph Feller and
               Ilham W. Kurnia and
               Yannick Welsch},
  title     = {Model-Based Compatibility Checking of System Modifications},
  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     = {97--111},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0\_8},
  doi       = {10.1007/978-3-642-34026-0\_8},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/Poetzsch-HeffterFKW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2015,
  editor    = {Manuel Mazzara and
               Andrei Voronkov},
  title     = {Perspectives of System Informatics - 10th International Andrei Ershov
               Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
               and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9609},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41579-6},
  doi       = {10.1007/978-3-319-41579-6},
  isbn      = {978-3-319-41578-9},
  timestamp = {Sun, 02 Jun 2019 21:19:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agere/2012,
  editor    = {Gul A. Agha and
               Rafael H. Bordini and
               Assaf Marron and
               Alessandro Ricci},
  title     = {Proceedings of the 2nd edition on Programming systems, languages and
               applications based on actors, agents, and decentralized control abstractions,
               AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2414639},
  isbn      = {978-1-4503-1630-9},
  timestamp = {Wed, 23 Apr 2014 20:19:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agere/2012},
  bibsource = {dblp computer science bibliography, https://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 = {Sat, 19 Oct 2019 20:07:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2012},
  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, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2012-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics