Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-38 av 38

2019
1 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 2019 ;Volum 11424. s. 332-350
HVL UiO Untitled
 
2 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 Untitled
 
3 de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hahnle, 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 Untitled
 
2018
4 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 Untitled
 
5 Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet; Stolz, Volker.
Stream-based dynamic data race detection. NIK: Norsk Informatikkonferanse 2018 s. -
HVL Untitled
 
6 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 Untitled
 
7 Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker.
COEMS. Norsk Informatikkonferanse; 2018-09-18 - 2018-09-20
HVL Untitled
 
2017
8 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 2017 ;Volum 10487 LNCS. s. 58-77
UiO Untitled
 
9 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 2017 ;Volum 10501 LNAI. s. 22-43
UiO Untitled
 
10 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 Untitled
 
11 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 Untitled
 
2016
12 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 2016 ;Volum 9942. s. 47-63
UiO Untitled
 
13 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 Untitled
 
14 Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker; Wickert, Anna-Katharina.
Information flow analysis for Go. Lecture Notes in Computer Science 2016 ;Volum 9952 LNCS. s. 431-445
HVL UiO Untitled
 
15 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 2016 ;Volum 9539. s. 199-216
UiO Untitled
 
16 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 Untitled
 
17 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 Untitled
 
18 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 Untitled
 
2015
19 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 Untitled
 
20 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 2015 ;Volum 9104. s. 1-56
UiO Untitled
 
21 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 Untitled
 
2014
22 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 Untitled
 
23 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 Untitled
 
24 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science 2014 ;Volum 8702. s. 50-64
UiO Untitled
 
2013
25 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science 2013 ;Volum 8161.
UiO Untitled
 
26 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 Untitled
 
2012
27 Bodden, Eric; Falzon, Kevin; Pun, Ka I; Stolz, Volker.
Delta-oriented Monitor Specification. Lecture Notes in Computer Science 2012 ;Volum 7609. s. 162-177
UiO Untitled
 
28 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 Untitled
 
29 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 Untitled
 
30 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 Untitled
 
31 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 Untitled
 
32 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 Untitled
 
2011
33 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 Untitled
 
34 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 Untitled
 
2010
35 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 Untitled
 
36 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 Untitled
 
2009
37 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 Untitled
 
2008
38 Pun, Ka I; Pau, Kin Chan; Si, Yain Whar.
Modeling Support for Simulating Traffic Intensive Web Applications. I: Proceedings of 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - IAT 2008. IEEE 2008 ISBN 978-0-7695-3496-1. s. 512-516
UiO Untitled