2023
|
1. |
; Karami, Farzane. Language-based Approaches for Enforcing Privacy and Security Policies. : Faculty of Mathematics and Natural Sciences, UiO 2023 150 s. HK UiO
Untitled
|
2021
|
2. |
Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian; Steffen, Martin. SAT modulo discrete event simulation applied to railway design capacity analysis. Formal methods in system design 2021 ;Volum 57. s. 211-245 NTNU UiO SINTEF
Untitled
|
|
3. |
; Tokas, Shukun. Analysis and Enforcement of GDPR-related Privacy Principles in Object-Oriented Distributed Systems. : Faculty of Mathematics and Natural Sciences, UiO 2021 150 s. HK UiO SINTEF
Untitled
|
2020
|
4. |
Fava, Daniel Schnetzer; Steffen, Martin. Ready, set, Go! Data-race detection and the Go language. Science of Computer Programming 2020 ;Volum 195. s. - UiO
Untitled
|
|
5. |
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12476. s. 103-121 UiO
Untitled
|
2019
|
6. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. Operational semantics of a weak memory model with channel synchronization. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 103. s. 1-30 UiO HVL
Untitled
|
|
7. |
Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin; Yu, Ingrid Chieh. Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming 2019 ;Volum 181. s. 1-26 UiO HVL
Untitled
|
|
8. |
Knoop, Jens; Trancón y Widemann, Baltasar; Steffen, Martin. Tagungsband des 36ten Jahrestreffens der GI-Fachgruppe ``Programmiersprachen und Rechenkonzepte''. Proc. of the 36th Annual Meeting of the GI Working Group ``Programming Languages and Computing Concepts''. Oslo: The GI Working Group ``Programming Languages and Computing Concepts'' 2019 (ISBN 978-82-7368-453-0) 55 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(488) UiO
Untitled
|
|
9. |
Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin. Synthesis of railway signaling layout from local capacity specifications. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11800 LNCS. s. 121-137 UiO
Untitled
|
2018
|
10. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 10951 LNCS. s. 258-276 UiO HVL
Untitled
|
|
11. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. Operational Semantics of a Weak Memory Model with Channel Synchronization. Oslo: Faculty of mathematics and natural sciences, University of Oslo 2018 (ISBN 978-82-7368-442-4) 40 s. UiO
Untitled
|
|
12. |
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. Virtually timed ambients: A calculus of nested virtualization. Journal of Logical and Algebraic Methods in Programming 2018 ;Volum 94. s. 109-127 UiO
Untitled
|
|
13. |
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. An Analysis Tool for Models of Virtualized Systems. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 s. - UiO
Untitled
|
|
14. |
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11187 LNCS. s. 252-272 UiO
Untitled
|
|
15. |
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11023. s. 194-213 UiO
Untitled
|
|
16. |
Knoop, Jens; Steffen, Martin; Trancón y Widemann, Baltasar. Tagungsband des 35ten Jahrestreffens der GI-Fachgruppe ``Programmiersprachen und Rechenkonzepte''. Oslo: Institutt for Informatikk 2018 (ISBN 978-82-7368-447-9) 189 s. UiO
Untitled
|
2017
|
17. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian. An operational semantics for a weak memory model with buffered writes, message passing, and goroutines. Oslo: Faculty of mathematics and natural sciences, University of Oslo 2017 (ISBN 978-82-7368-431-8) 19 s. UiO
Untitled
|
|
18. |
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian. Operational Semantics of a Weak Memory Model inspired by Go. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 50-52 UiO
Untitled
|
|
19. |
Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin; Yu, Ingrid Chieh. Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science (LNCS) 2017 (10522) s. 84-99 UiO
Untitled
|
|
20. |
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. A Calculus of Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10644 LNCS. s. 88-103 UiO
Untitled
|
2016
|
21. |
Abraham, Erika; Tran, Thi Mai Thuong; Steffen, Martin. Observable interface behaviour and inheritance. Mathematical Structures in Computer Science 2016 ;Volum 26.(3) s. 561-605 UiO
Untitled
|
|
22. |
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 UiO HVL
Untitled
|
|
23. |
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
|
|
24. |
Li, Jingyue; Qeriqi, Altin; Steffen, Martin; Yu, Ingrid Chieh. Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIKT: Norsk IKT-konferanse for forskning og utdanning 2016 s. - UiO NTNU
Untitled
|
|
25. |
Luteberget, Bjørnar Steinnes; Johansen, Christian; Feyling, C; Steffen, Martin. Rule-based incremental verification tools applied to railway designs and regulations. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9995 LNCS. s. 772-778 UiO
Untitled
|
|
26. |
Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin. Rule-Based Consistency Checking of Railway Infrastructure Designs. Universitetet i Oslo 2016 31 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(450) UiO
Untitled
|
|
27. |
Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin. Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9681. s. 491-507 UiO
Untitled
|
|
28. |
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 UiO HVL
Untitled
|
|
29. |
Rosenberg, Carl Martin; Steffen, Martin; Stolz, Volker. Leveraging DTrace for runtime verification. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 10012 LNCS. s. 318-332 UiO HVL
Untitled
|
|
30. |
Steffen, Martin. A small-step semantics of a concurrent calculus with goroutines and deferred functions. Lecture Notes in Computer Science (LNCS) 2016 ;Volum 9660. s. 393-406 UiO
Untitled
|
2015
|
31. |
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
|
32. |
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
|
|
33. |
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
|
|
34. |
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
Untitled
|
2013
|
35. |
Hansen, Hallstein Asheim; Schneider, Gerardo; Steffen, Martin. Reachability analysis of complex planar hybrid systems. Science of Computer Programming 2013 ;Volum 78.(12) s. 2511-2536 USN UiO
Untitled
|
|
36. |
Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin. Observable Behavior and Inheritance. Mathematical Structures in Computer Science 2013 UiO
Untitled
|
|
37. |
Owe, Olaf; Steffen, Martin; Telle, Jan Arne. The 18th International Symposium on Fundamentals of Computation Theory. Information and Computation 2013 ;Volum 231. s. 1-2 UiB UiO
Untitled
|
|
38. |
Pun, Ka I; Steffen, Martin; Stolz, Volker. Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 8161. UiO
Untitled
|
|
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
Untitled
|
|
40. |
Tran, Thi Mai Thuong; Steffen, Martin; Truong, Hoang. Compositional static analysis for implicit join synchronization in a transactional setting. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 8137. UiO
Untitled
|
2012
|
41. |
de Boer, Frank; Bravetti, Mario; Grabe, Immo; Lee, Matias; Steffen, Martin. A Petri Net based Analysis of Deadlock for Active Objects and Futures. Formal Aspects of Component Software, 9th International Symposium, FACS 2012 2012 UiO
Untitled
|
|
42. |
de Boer, Frank; Grabe, Immo; Steffen, Martin. Termination detection for active objects. Journal of Logic and Algebraic Programming 2012 ;Volum 81.(4) s. 541-557 UiO
Untitled
|
|
43. |
Hansen, Hallstein Asheim; Schneider, Gerardo; Steffen, Martin. Reachability analysis of planar autonomous systems. I: Proceedings of FSEN 2011. Springer 2012 ISBN 978-3-642-29319-1. s. 206-220 USN UiO
Untitled
|
|
44. |
Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe Locking for Multi-Threaded Java. I: Proceedings of FSEN 2011. Springer 2012 ISBN 978-3-642-29319-1. s. - UiO
Untitled
|
|
45. |
Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf; Steffen, Martin. Safe locking for multi-threaded Java with exceptions. Journal of Logic and Algebraic Programming 2012 ;Volum 81.(3) s. 257-283 UiO
Untitled
|
|
46. |
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
|
|
47. |
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
|
|
48. |
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
|
|
49. |
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
|
|
50. |
Tran, Thi Mai Thuong; Steffen, Martin; Hoang, Truong. Compositional Analysis of Resource Bounds for Software Transactions. I: 24th Nordic Workshop on Programming Theory. Universitetet i Bergen 2012 s. - UiO
Untitled
|