You are here: HomeStaffFormer StaffKároly Bósa

Dipl.-Ing. Dr. Károly Bósa

Former Staff Member

Contact

Károly Bósa
Former Position: Senior Research Fellow (left October 2016)

Research Interests

  • Cloud and Grid Computing
  • Formal methods (Abstract State Machines, Ambient Calculus)
  • Parallel and distributed computing
  • Parallel functional programming
  • Fault Tolerance

Education

  • 2004: Ph.D. in Computer Science
    • RISC, Johannes Kepler University, Linz, Austria.
  • 1999: M.Sc. in Computer Science
    • University of Arts and Sciences Kossuth Lajos (KLTE), Debrecen, Hungary.

Publications

[1] Károly Bósa. An ambient ASM model of client-to-client interaction via cloud computing and an anonymously accessible docking service. In Software Technologies - 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers, volume 457 of Communications in Computer and Information Science, pages 235-255. Springer, 2014.
@inproceedings{Bosa14a,
  title = {An Ambient {ASM} Model of Client-to-Client Interaction via Cloud Computing
 and an Anonymously Accessible Docking Service},
  author = {K{\'a}roly B{\'o}sa},
  booktitle = {Software Technologies - 8th International Joint Conference, {ICSOFT}
 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers},
  year = {2014},
  pages = {235--255},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  volume = {457},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/icsoft/Bosa13a},
  comment = {Karoly Bosa},
  doi = {10.1007/978-3-662-44920-2_15},
  timestamp = {Fri, 03 Oct 2014 11:45:06 +0200},
  url = {http://dx.doi.org/10.1007/978-3-662-44920-2_15}
}
[2] Károly Bósa. An Ambient ASM Model for Cloud Architectures. Submitted to Acta Cybernetica, 2014.
@unpublished{Bosa2014c,
  title = {{An Ambient {ASM} Model for Cloud Architectures}},
  author = {K{\'a}roly B{\'o}sa},
  note = {Submitted to Acta Cybernetica},
  year = {2014},
  comment = {Karoly Bosa}
}
[3] Károly Bósa. Formal modeling of mobile computing systems based on ambient abstract state machines. In Semantics in Data and Knowledge Bases, volume 7693 of Lecture Notes in Computer Science, pages 18-49. Springer Berlin Heidelberg, 2013.
@incollection{Bosa2013a,
  title = {Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines},
  author = {K{\'a}roly B{\'o}sa},
  booktitle = {Semantics in Data and Knowledge Bases},
  publisher = {Springer Berlin Heidelberg},
  year = {2013},
  pages = {18-49},
  series = {Lecture Notes in Computer Science},
  volume = {7693},
  comment = {Karoly Bosa},
  doi = {10.1007/978-3-642-36008-4_2},
  isbn = {978-3-642-36007-7},
  url = {http://dx.doi.org/10.1007/978-3-642-36008-4_2}
}
[4] Károly Bósa. An ambient ASM model for client-to-client interaction via cloud computing. In Proceedings of the 8th International Conference on Software and Data Technologies (ICSOFT), Reykjavik, Iceland. SciTePress, Jul. 2013. (Best Paper Award).
@inproceedings{Bosa2013b,
  title = {An Ambient {ASM} Model for Client-to-Client Interaction via Cloud Computing},
  author = {K{\'a}roly B{\'o}sa},
  booktitle = {Proceedings of the 8th International Conference on Software and Data Technologies (ICSOFT), Reykjavik, Iceland},
  year = {2013},
  month = {Jul.},
  note = {(Best Paper Award)},
  publisher = {SciTePress},
  comment = {Karoly Bosa},
  location = {Reykjavik, Iceland},
  numpages = {10},
  url = {http://www.icsoft.org/}
}
[5] Károly Bósa. A formal model of a cloud service architecture in terms of ambient ASM. Technical report, Christian Doppler Laboratory for Client-Centric Cloud Computing (CDCC), Johannes Kepler University Linz, Hagenberg, Austria, May 2012.
@techreport{Bosa2012,
  title = {A Formal Model of a Cloud Service Architecture in terms of ambient {ASM}},
  author = {K{\'a}roly B{\'o}sa},
  institution = {Christian Doppler Laboratory for Client-Centric Cloud Computing (CDCC), Johannes Kepler University Linz},
  year = {2012},
  address = {Hagenberg, Austria},
  month = {May},
  type = {Technical Report},
  comment = {Karoly Bosa},
  url = {http://www.cdcc.faw.jku.at/publications/kbosa/bosa2012.pdf}
}
[6] Klaus-Dieter Schewe, Károly Bósa, Harald Lampesberger, Ji Ma, and Mircea Boris Vleju. The christian doppler laboratory for client-centric cloud computing. In 2nd Workshop on Software Services (WoSS 2011), Timisoara, Romania, June 2011.
@inproceedings{Schewe2011b,
  title = {The Christian Doppler Laboratory for Client-Centric Cloud Computing},
  author = {Schewe, Klaus-Dieter and K{\'a}roly B{\'o}sa and Harald Lampesberger and Ji Ma and Mircea Boris Vleju},
  booktitle = {2nd Workshop on Software Services (WoSS 2011)},
  year = {2011},
  address = {Timisoara, Romania},
  month = {June},
  abstract = {Though cloud computing is considered mature for practical application, there is a need for more research. The identified challenges primarily concern client-cloud interaction and cloud interoperability. As to the former one, we highlight the needs of clients, contracting and legal aspects, and missing foundations as necessary fields of investigation. For the latter one clouds are considered to constitute repositories of services, so the challenge is to realize web-scale, service-oriented, distributed computing.},
  comment = {Karoly Bosa},
  keywords = {cloud computing, research, service clouds},
  url = {http://cdcc.faw.jku.at/publications/kdschewe/schewe2011b.pdf}
}
[7] Klaus-Dieter Schewe, Károly Bósa, Harald Lampesberger, Ji Ma, Mariam Rady, and Mircea Boris Vleju. Challenges in cloud computing. Scalable Computing: Practice and Experience, 12(4):385-390, 2011.
@article{Schewe2011a,
  title = {Challenges in Cloud Computing},
  author = {Schewe, Klaus-Dieter and K{\'a}roly B{\'o}sa and Harald Lampesberger and Ji Ma and Mariam Rady and Mircea Boris Vleju},
  journal = {Scalable Computing: Practice and Experience},
  year = {2011},
  number = {4},
  pages = {385-390},
  volume = {12},
  comment = {Karoly Bosa}
}

This file was generated by bibtex2html 1.95.

The list of publications contains only publications up until October 2016