Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-50 of 115 << Previous 1 2 3    Next >>

2019
1 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 ;Volume 181. p. 1-26
HVL UiO Untitled
 
2 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 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(488)
UiO Untitled
 
3 Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin.
Synthesis of railway signaling layout from local capacity specifications. Lecture Notes in Computer Science (LNCS) 2019 ;Volume 11800 LNCS. p. 121-137
UiO Untitled
 
2018
4 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 10951 LNCS. p. 258-276
HVL UiO Untitled
 
5 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 p.
UiO Untitled
 
6 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 ;Volume 94. p. 109-127
UiO Untitled
 
7 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 p. -
UiO Untitled
 
8 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 11187 LNCS. p. 252-272
UiO Untitled
 
9 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 11023. p. 194-213
UiO Untitled
 
10 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 p.
UiO Untitled
 
2017
11 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 p.
UiO Untitled
 
12 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. p. 50-52
UiO Untitled
 
13 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) p. 84-99
UiO Untitled
 
14 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate.
A Calculus of Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10644 LNCS. p. 88-103
UiO Untitled
 
2016
15 Abraham, Erika; Tran, Thi Mai Thuong; Steffen, Martin.
Observable interface behaviour and inheritance. Mathematical Structures in Computer Science 2016 ;Volume 26.(3) p. 561-605
UiO Untitled
 
16 Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker; Wickert, Anna-Katharina.
Information flow analysis for Go. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9952 LNCS. p. 431-445
HVL UiO Untitled
 
17 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. p. 99-111
UiO Untitled
 
18 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 p. -
NTNU UiO Untitled
 
19 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 ;Volume 9995 LNCS. p. 772-778
UiO Untitled
 
20 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-Based Consistency Checking of Railway Infrastructure Designs. Universitetet i Oslo 2016 31 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(450)
UiO Untitled
 
21 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9681. p. 491-507
UiO Untitled
 
22 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Effect-Polymorphic Behaviour Inference for Deadlock Checking. Journal of Logical and Algebraic Methods in Programming 2016 ;Volume 85.(6) p. 1234-1267
HVL UiO Untitled
 
23 Rosenberg, Carl Martin; Steffen, Martin; Stolz, Volker.
Leveraging DTrace for runtime verification. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 10012 LNCS. p. 318-332
HVL UiO Untitled
 
24 Steffen, Martin.
A small-step semantics of a concurrent calculus with goroutines and deferred functions. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9660. p. 393-406
UiO Untitled
 
2015
25 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 p.
UiO Untitled
 
2014
26 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. p. 106-113
UiO Untitled
 
27 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock checking by data race detection. Journal of Logical and Algebraic Methods in Programming 2014 ;Volume 83.(5-6) p. 400-426
UiO Untitled
 
28 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science (LNCS) 2014 ;Volume 8702. p. 50-64
UiO Untitled
 
2013
29 Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin.
Observable Behavior and Inheritance. Mathematical Structures in Computer Science 2013
UiO Untitled
 
30 Hansen, Hallstein Asheim; Schneider, Gerardo; Steffen, Martin.
Reachability analysis of complex planar hybrid systems. Science of Computer Programming 2013 ;Volume 78.(12) p. 2511-2536
USN UiO Untitled
 
31 Owe, Olaf; Steffen, Martin; Telle, Jan Arne.
The 18th International Symposium on Fundamentals of Computation Theory. Information and Computation 2013 ;Volume 231. p. 1-2
UiB UiO Untitled
 
32 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science (LNCS) 2013 ;Volume 8161.
UiO Untitled
 
33 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Lock-Polymorphic Behaviour Inference for Deadlock Checking. Universitetet i Oslo 2013 (ISBN 82-7368-398-2) 35 p.
UiO Untitled
 
34 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 ;Volume 8137.
UiO Untitled
 
2012
35 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
 
36 de Boer, Frank; Grabe, Immo; Steffen, Martin.
Termination detection for active objects. Journal of Logic and Algebraic Programming 2012 ;Volume 81.(4) p. 541-557
UiO Untitled
 
37 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. p. 206-220
USN UiO Untitled
 
38 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. p. -
UiO Untitled
 
39 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 ;Volume 81.(3) p. 257-283
UiO Untitled
 
40 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Behaviour Inference for Deadlock Checking. : Universitet i Oslo Report 416 2012 (ISBN 82-7368-379-6") 36 p.
UiO Untitled
 
41 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by a Behavioral Effect System for Lock Handling. Journal of Logic and Algebraic Programming 2012 ;Volume 81.(3) p. 331-354
UiO Untitled
 
42 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by Data Race Detection. : UiO 2012 (ISBN 82-7368-385-0) 25 p. Technical reports in informatics(421)
UiO Untitled
 
43 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock checking by data race detection. I: 24th Nordic Workshop on Programming Theory. Universitetet i Bergen 2012 p. -
UiO Untitled
 
44 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 p. -
UiO Untitled
 
45 Tung Vu, Xuan; Hoang, Truong; Tran, Thi Mai Thuong; Steffen, Martin.
A Type System for Finding Upper Resource Bounds of Multi-Threaded Programs with Nested Transactions. Conference proceedings (Universitetet i Oslo. Institutt for informatikk) 2012
UiO Untitled
 
46 Vu, Xuan-Tung; Truong, Anh-Hoang; Tran, Thi Mai Thuong; Steffen, Martin.
A type system for finding upper resource bounds of multi-threaded programs with nested transactions. I: SoICT '12 Proceedings of the Third Symposium on Information and Communication Technology. Association for Computing Machinery (ACM) 2012 ISBN 978-1-4503-1232-5. p. 21-30
UiO Untitled
 
2011
47 Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin.
Observability and inheritance (extended abstract). I: Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Sweden: Mälardalen University 2011 ISBN 9789521224782. p. -
UiO Untitled
 
48 Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin.
Observable interface behavior and inheritance. Universitetet i Oslo 2011 (ISBN 82-7368-368-0) 43 p.
UiO Untitled
 
49 Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin.
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming 2011 ;Volume 76.(10) p. 915-941
UiO Untitled
 
50 Hansen, Hallstein Asheim; Schneider, Gerardo; Steffen, Martin.
Reachability Analysis of Complex Planar Autonomous Systems. : Universitet i Oslo 2011 (ISBN 82-7368-374-5) 44 p. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(412)
USN UiO Untitled
 
    Show next list