Current Research Information SysTem In Norway
 
 

 English version


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


Viser treff 1-50 av 112 << Forrige 1 2 3    Neste >>

2018
1 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
 
2 Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker.
Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science 2018 ;Volum 10951 LNCS. s. 258-276
HVL UiO Untitled
 
3 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
An Analysis Tool for Models of Virtualized Systems. NIK: Norsk Informatikkonferanse 2018 s. -
UiO Untitled
 
4 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science 2018 ;Volum 11187 LNCS. s. 252-272
UiO Untitled
 
5 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science 2018 ;Volum 11023. s. 194-213
UiO Untitled
 
6 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
 
7 Stumpf, Johanna Beate; Johnsen, Einar Broch; Steffen, Martin.
Virtually timed ambients: A calculus of nested virtualization. Journal of Logical and Algebraic Methods in Programming 2018 ;Volum 94. s. 109-127
UiO Untitled
 
2017
8 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
 
9 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
 
10 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 2017 (10522) s. 84-99
UiO Untitled
 
11 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate.
A Calculus of Virtually Timed Ambients. Lecture Notes in Computer Science 2017 ;Volum 10644 LNCS. s. 88-103
UiO Untitled
 
2016
12 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
 
13 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
 
14 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
 
15 Li, Jingyue; Qeriqi, Altin; Steffen, Martin; Yu, Ingrid Chieh.
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIK: Norsk Informatikkonferanse 2016 s. -
NTNU UiO Untitled
 
16 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 2016 ;Volum 9995 LNCS. s. 772-778
UiO Untitled
 
17 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
 
18 Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin.
Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science 2016 ;Volum 9681. s. 491-507
UiO Untitled
 
19 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
 
20 Rosenberg, Carl Martin; Steffen, Martin; Stolz, Volker.
Leveraging DTrace for runtime verification. Lecture Notes in Computer Science 2016 ;Volum 10012 LNCS. s. 318-332
HVL UiO Untitled
 
21 Steffen, Martin.
A small-step semantics of a concurrent calculus with goroutines and deferred functions. Lecture Notes in Computer Science 2016 ;Volum 9660. s. 393-406
UiO Untitled
 
2015
22 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
23 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
 
24 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
 
25 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
26 Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin.
Observable Behavior and Inheritance. Mathematical Structures in Computer Science 2013
UiO Untitled
 
27 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
 
28 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
 
29 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science 2013 ;Volum 8161.
UiO Untitled
 
30 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
 
31 Tran, Thi Mai Thuong; Steffen, Martin; Truong, Hoang.
Compositional static analysis for implicit join synchronization in a transactional setting. Lecture Notes in Computer Science 2013 ;Volum 8137.
UiO Untitled
 
2012
32 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
 
33 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
 
34 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
 
35 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
 
36 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
 
37 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
 
38 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
 
39 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
 
40 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
 
41 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
 
42 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
 
43 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. s. 21-30
UiO Untitled
 
2011
44 Á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. s. -
UiO Untitled
 
45 Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin.
Observable interface behavior and inheritance. Universitetet i Oslo 2011 (ISBN 82-7368-368-0) 43 s.
UiO Untitled
 
46 Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin.
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming 2011 ;Volum 76.(10) s. 915-941
UiO Untitled
 
47 Hansen, Hallstein Asheim; Schneider, Gerardo; Steffen, Martin.
Reachability Analysis of Complex Planar Autonomous Systems. : Universitet i Oslo 2011 (ISBN 82-7368-374-5) 44 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(412)
USN UiO Untitled
 
48 Johnsen, Einar Broch; Hähnle, Reiner; Schäfer, Jan; Schlatte, Rudolf; Steffen, Martin.
ABS: A Core Language for Abstract Behavioral Specification. Lecture Notes in Computer Science 2011 ;Volum 6957.
UiO Untitled
 
49 Owe, Olaf; Steffen, Martin; Telle, Jan Arne.
Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Springer 2011 (ISBN 978-3-642-22953-4) ;Volum LNCS.371 s. Lecture Notes in Computer Science(6914)
UiB UiO Untitled
 
50 Owe, Olaf; Telle, Jan Arne; Steffen, Martin.
Preface to the Proceedings of the 18th International Symposium in Fundamentals of Computation Theory FCT 2011. I: Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Springer 2011 ISBN 978-3-642-22953-4.
UiB UiO Untitled
 
    Vis neste liste