BibTeX records: Ilham W. Kurnia

• > Home > Persons > Ilham W. Kurnia

@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.rptu.de/frontdoor/index/index/docId/4018},
  urn          = {urn:nbn:de:hbz:386-kluedo-40180},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/dnb/Kurnia15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ershov/KurniaP15,
  author       = {Ilham W. Kurnia and
                  Arnd Poetzsch{-}Heffter},
  editor       = {Manuel Mazzara and
                  Andrei Voronkov},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {9609},
  pages        = {186--202},
  publisher    = {Springer},
  year         = {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/conf/ershov/KurniaP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agere/KurniaP12,
  author       = {Ilham W. Kurnia and
                  Arnd Poetzsch{-}Heffter},
  editor       = {Gul A. Agha and
                  Rafael H. Bordini and
                  Assaf Marron and
                  Alessandro Ricci},
  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},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2414639.2414647},
  doi          = {10.1145/2414639.2414647},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/KurniaP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/KurniaP12,
  author       = {Ilham W. Kurnia and
                  Arnd Poetzsch{-}Heffter},
  editor       = {Elena Giachino and
                  Reiner H{\"{a}}hnle and
                  Frank S. de Boer and
                  Marcello M. Bonsangue},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {7866},
  pages        = {83--118},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-40615-7\_3},
  doi          = {10.1007/978-3-642-40615-7\_3},
  timestamp    = {Tue, 21 Mar 2023 21:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmco/KurniaP12.bib},
  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},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7609},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2012},
  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/conf/isola/Poetzsch-HeffterFKW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}