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 118 << Forrige 1 2 3    Neste >>

2021
1 Luteberget, Bjørnar; Claessen, Koen; Johansen, Christian; Steffen, Martin.
SAT modulo discrete event simulation applied to railway design capacity analysis. Formal methods in system design 2021 s. 1-35
NTNU SINTEF UiO Untitled
 
2020
2 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
 
3 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
4 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
HVL UiO Untitled
 
5 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
 
6 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
7 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
HVL UiO Untitled
 
8 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
 
9 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
 
10 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
 
11 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
 
12 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
 
13 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
14 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
 
15 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
 
16 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
 
17 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
18 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
 
19 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 Untitled
 
20 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
 
21 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. -
NTNU UiO Untitled
 
22 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
 
23 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
 
24 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
 
25 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
 
26 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
HVL UiO Untitled
 
27 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
28 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
29 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
 
30 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
 
31 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
32 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
 
33 Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin.
Observable Behavior and Inheritance. Mathematical Structures in Computer Science 2013
UiO Untitled
 
34 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
 
35 Pun, Ka I; Steffen, Martin; Stolz, Volker.
Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 8161.
UiO Untitled
 
36 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
 
37 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
38 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
 
39 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
 
40 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
 
41 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
 
42 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
 
43 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
 
44 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
 
45 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
 
46 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
 
47 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
 
48 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
 
49 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
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 s. Conference proceedings (Universitetet i Oslo. Institutt for informatikk)(412)
USN UiO Untitled
 
    Vis neste liste