|
|||||||||||||||
|
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
|
2020
|
||
| 1. | de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars. SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12345. s. 313-338 HVL UiO |
|
|
|
||
| 2. | de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12226. s. 269-275 HVL UiO |
|
|
|
||
| 3. | Henrio, Ludovic; Johnsen, Einar Broch; Pun, Ka I. Active Objects with Deterministic Behavior. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12546. s. 181-198 HVL UiO |
|
|
|
||
| 4. | Mukhiya, Suresh Kumar; Ahmed, Usman; Rabbi, Fazle; Pun, Ka I; Lamo, Yngve. Adaptation of IDPT System Based on Patient-Authored Text Data using NLP. I: IEEE 33rd International Symposium on Computer Based Medical Systems (CBMS). IEEE conference proceedings 2020 ISBN 978-1-7281-9429-5. s. 226-232 HVL UiB UiO |
|
|
|
||
| 5. | Mukhiya, Suresh Kumar; Wake, Jo Dugstad; Inal, Yavuz; Pun, Ka I; Lamo, Yngve. Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review. Journal of Medical Internet Research 2020 ;Volum 22.(11) HVL NORCE UiB |
|
|
|
||
| 6. | Pun, Ka I; Stolz, Volker; Simao, Adenilso. Theoretical Aspects of Computing – ICTAC 2020. Springer 2020 (ISBN 978-3-030-64275-4) 317 s. Lecture Notes in Computer Science (LNCS)(12545) HVL |
|
|
|
||
| 7. | Stolz, Volker; Pun, Ka I; Gheyi, Rohit. Refactoring and Active Object Languages. Lecture Notes in Computer Science (LNCS) 2020 HVL |
|
|
2019
|
||
| 8. | Aminifar, Amin; Lamo, Yngve; Pun, Ka I; Rabbi, Fazle. A Practical Methodology for Anonymization of Structured Health Data. I: Proceedings of the 17th Scandinavian Conference on Health Informatics 2019. Linköping University Electronic Press 2019 ISBN 978-91-7929-957-6. s. 127-133 HVL UiB UiO |
|
|
|
||
| 9. | Aminifar, Amin; Rabbi, Fazle; Pun, Ka I; Lamo, Yngve. Anonymization of Structured Health Data. INTROMAT Scientific Advisory Council Meeting; 2019-09-03 - 2019-09-04 HVL UiB |
|
|
|
||
| 10. | Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11424. s. 332-350 HVL UiO |
|
|
|
||
| 11. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming 2019 ;Volum 179. s. 24-53 HVL UiO |
|
|
|
||
| 12. | de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi. Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv. Electronic Proceedings in Theoretical Computer Science 2019 ;Volum 302. s. 1-15 HVL UiO |
|
|
|
||
| 13. | Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Roman-Diez, Guillermo. Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 105. s. 1-27 HVL UiO |
|
|
|
||
| 14. | Mukhiya, Suresh Kumar; Lamo, Yngve; Rabbi, Fazle; Pun, Ka I. An architecture for creating self-reporting e-health systems. Bergen-Budapest Workshop on Qualitative and Numerical Aspects of Mathematical Modelling; 2019-05-27 - 2019-05-28 HVL UiB |
|
|
|
||
| 15. | Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I; Lamo, Yngve. An architectural design for self-reporting e-health systems. I: SEH ’19: Proceedings of the 1st International Workshop on Software Engineering for Healthcare. IEEE 2019 ISBN 978-1-7281-2251-9. s. 1-8 HVL UiO |
|
|
|
||
| 16. | Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I; Rutle, Adrian; Lamo, Yngve. A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. Procedia Computer Science 2019 ;Volum 160. s. 338-345 HVL UiB UiO |
|
|
2018
|
||
| 17. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph; Tapia Tarifa, Silvia Lizeth. Deployment by Construction for Multicore Architectures. I: Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I. Springer 2018 ISBN 978-3-030-03417-7. s. 448-465 HVL UiO |
|
|
|
||
| 18. | Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet; Stolz, Volker. Stream-based dynamic data race detection. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 s. - HVL |
|
|
|
||
| 19. | Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun; Roman-Diez, Guillermo. Parallel Cost Analysis. ACM Transactions on Computational Logic 2018 ;Volum 19.(4) s. 1-37 HVL UiO |
|
|
|
||
| 20. | Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker. COEMS. Norsk Informatikkonferanse; 2018-09-18 - 2018-09-20 HVL |
|
|
2017
|
||
| 21. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10487 LNCS. s. 58-77 UiO |
|
|
|
||
| 22. | Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10501 LNAI. s. 22-43 UiO |
|
|
|
||
| 23. | Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of cloud-deployed software and its application to workflow processing. I: SoftCOM 2017. IEEE Communications Society 2017 ISBN 978-953-290-078-1. s. - UiO |
|
|
|
||
| 24. | Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Roman-Diez, Guillermo. Time analysis of actor programs. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 13-15 UiO |
|
|
2016
|
||
| 25. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9942. s. 47-63 UiO |
|
|
|
||
| 26. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. An operational semantics of cache coherent multicore architectures. I: Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16). Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-3739-7. s. 1219-1224 UiO |
|
|
|
||
| 27. | Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker; Wickert, Anna-Katharina. Information flow analysis for Go. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9952 LNCS. s. 431-445 HVL UiO |
|
|
|
||
| 28. | Giachino, Elena; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I. Time complexity of concurrent programs – A technique based on behavioural types. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9539. s. 199-216 UiO |
|
|
|
||
| 29. | Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Meeting Deadlines, Elastically. I: From Action Systems to Distributed Systems: The Refinement Approach. CRC Press 2016 ISBN 978-1-4987-0158-7. s. 99-111 UiO |
|
|
|
||
| 30. | Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Modeling deployment decisions for elastic services with ABS. Electronic Proceedings in Theoretical Computer Science 2016 ;Volum 228. s. 16-26 UiO |
|
|
|
||
| 31. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Effect-Polymorphic Behaviour Inference for Deadlock Checking. Journal of Logical and Algebraic Methods in Programming 2016 ;Volum 85.(6) s. 1234-1267 HVL UiO |
|
|
2015
|
||
| 32. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. An Operational Semantics of Cache Coherent Multicore Architectures. : UiO 2015 11 s. UiO |
|
|
|
||
| 33. | Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Wrigstad, Tobias; Yang, Albert Mingkun. Parallel objects for multicores: A glimpse at the parallel language encore. Lecture Notes in Computer Science (LNCS) 2015 ;Volum 9104. s. 1-56 UiO |
|
|
|
||
| 34. | Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Meeting Deadlines, Elastically.. : UiO 2015 (ISBN 978-82-7368-408-0) 15 s. UiO |
|
|
2014
|
||
| 35. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Behaviour Inference for Deadlock Checking. I: 2014 Theoretical Aspects of Software Engineering Conference. IEEE conference proceedings 2014 ISBN 978-1-4799-5029-4. s. 106-113 UiO |
|
|
|
||
| 36. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Deadlock checking by data race detection. Journal of Logical and Algebraic Methods in Programming 2014 ;Volum 83.(5-6) s. 400-426 UiO |
|
|
|
||
| 37. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science (LNCS) 2014 ;Volum 8702. s. 50-64 UiO |
|
|
2013
|
||
| 38. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 8161. UiO |
|
|
|
||
| 39. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Lock-Polymorphic Behaviour Inference for Deadlock Checking. Universitetet i Oslo 2013 (ISBN 82-7368-398-2) 35 s. UiO |
|
|
2012
|
||
| 40. | Bodden, Eric; Falzon, Kevin; Pun, Ka I; Stolz, Volker. Delta-oriented Monitor Specification. Lecture Notes in Computer Science (LNCS) 2012 ;Volum 7609. s. 162-177 UiO |
|
|
|
||
| 41. | Pun, Ka I; Si, Yain Whar; Pau, Kin Chan. Key Performance Indicators for Traffic Intensive Web-Enabled Business Processes. Business Process Management Journal 2012 ;Volum 18.(2) s. 250-283 UiO |
|
|
|
||
| 42. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Behaviour Inference for Deadlock Checking. : Universitet i Oslo Report 416 2012 (ISBN 82-7368-379-6") 36 s. UiO |
|
|
|
||
| 43. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Deadlock Checking by a Behavioral Effect System for Lock Handling. Journal of Logic and Algebraic Programming 2012 ;Volum 81.(3) s. 331-354 UiO |
|
|
|
||
| 44. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Deadlock Checking by Data Race Detection. : UiO 2012 (ISBN 82-7368-385-0) 25 s. Technical reports in informatics(421) UiO |
|
|
|
||
| 45. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Deadlock checking by data race detection. I: 24th Nordic Workshop on Programming Theory. Universitetet i Bergen 2012 s. - UiO |
|
|
2011
|
||
| 46. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Deadlock checking by a behavioral effect system for lock handling. Universitetet i Oslo 2011 (ISBN 82-7368-366-4) 42 s. Technical Report Department of Informatics(404) UiO |
|
|
|
||
| 47. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Polymorphic behavioural lock effects for deadlock checking (extended abstract). I: Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Sweden: Mälardalen University 2011 ISBN 9789521224782. s. - UiO |
|
|
2010
|
||
| 48. | Pun, Ka I; Steffen, Martin. Deadlock checking by behavior inference for lock handling. I: Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. Turku Finland: TUCS 2010 ISBN 978-952-12-2478-2. s. - UiO |
|
|
|
||
| 49. | Pun, Ka I; Steffen, Martin. Deadlock checking by behavior inference for lock handling (extended abstract). 22nd Nordic Workshop on Programming Theory (NWPT'2010); 2010-11-10 - 2010-11-12 UiO |
|
|
2009
|
||
| 50. | Pun, Ka I; Si, Yain Whar. Audit Trail Analysis for Traffic Intensive Web Applications. I: IEEE International Conference on e-Business Engineering, 2009. IEEE 2009 ISBN 978-0-7695-3842-6. s. 577-582 UiO |
|