-
-
Owe, Olaf; Telle, Jan Arne & Steffen, Martin
(2011).
Preface to the Proceedings of the 18th International Symposium in Fundamentals of Computation Theory FCT 2011.
I Owe, Olaf; Steffen, Martin & Telle, Jan Arne (Red.),
Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011.
Springer.
ISSN 978-3-642-22953-4.
-
Dams, Dennis; Hannemann, Ulrich & Steffen, Martin
(2010).
Preface to the Festschrift in Honor of Willem-Paul de Roever.
I Dams, Dennis; Hannemann, Ulrich & Steffen, Martin (Red.),
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever.
Springer.
ISSN 978-3-642-11511-0.
-
Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin
(2010).
Safe Locking for multi-threaded Java (extended abstract).
-
Pun, Ka I & Steffen, Martin
(2010).
Deadlock checking by behavior inference for lock handling (extended abstract).
-
Steffen, Martin
(2009).
The Core ABS Language.
-
Steffen, Martin
(2009).
Design of an Abstract Behavioral Specification Language.
-
Steffen, Martin
(2009).
Incremental Reasoning for Multiple Inheritance.
-
Steffen, Martin
(2009).
Executable Interface Specifications for Testing Asynchronous Creol Components.
-
Torjusen, Arild Braathen; Steffen, Martin & Owe, Olaf
(2009).
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
-
de Boer, Frank; Grabe, Immo & Steffen, Martin
(2009).
Static Deadlock Detection for Active Objects.
-
Steffen, Martin & Tran, Thi Mai Thuong
(2009).
Safe Commits for Transactional Featherweight Java.
-
Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias & Boer, de Frank
[Vis alle 24 forfattere av denne artikkelen]
(2009).
Credo methodology - Modeling and analyzing a peer-to-peer system in Credo.
-
Ramezanifarkhani, Toktam; Karami, Farzane; Owe, Olaf & Steffen, Martin
(2023).
Language-based Approaches for Enforcing Privacy and Security Policies.
Faculty of Mathematics and Natural Sciences, UiO.
-
-
Knoop, Jens; Trancón y Widemann, Baltasar & Steffen, Martin
(2019).
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''.
The GI Working Group ``Programming Languages and Computing Concepts''.
ISSN 978-82-7368-453-0.
Fulltekst i vitenarkiv
-
Knoop, Jens; Steffen, Martin & Trancón y Widemann, Baltasar
(2018).
Tagungsband des 35ten Jahrestreffens der GI-Fachgruppe ``Programmiersprachen und Rechenkonzepte''.
Institutt for Informatikk.
ISSN 978-82-7368-447-9.
Fulltekst i vitenarkiv
-
-
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian
(2017).
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines.
Universitetet i Oslo.
ISSN 978-82-7368-431-8.
Fulltekst i vitenarkiv
-
Luteberget, Bjørnar Steinnes; Johansen, Christian & Steffen, Martin
(2016).
Rule-Based Consistency Checking of Railway Infrastructure Designs.
Universitetet i Oslo.
ISSN 0806-3036.
Fulltekst i vitenarkiv
-
Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh
(2015).
Meeting Deadlines, Elastically.
7Letras.
ISSN 978-82-7368-408-0.
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2013).
Lock-Polymorphic Behaviour Inference for Deadlock Checking.
Universitetet i Oslo.
ISSN 82-7368-398-2.
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2012).
Behaviour Inference for Deadlock Checking.
Universitetet i Oslo.
ISSN 82-7368-379-6".
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2012).
Deadlock Checking by Data Race Detection.
UiO.
ISSN 82-7368-385-0.
-
Tran, Thi Mai Thuong; Steffen, Martin & Truong, Hoang
(2011).
Estimating Resource Bounds fro Software Transactions.
Universitet i Oslo.
ISSN 82-7368-376-1.
-
Hansen, Hallstein Asheim; Schneider, Gerardo & Steffen, Martin
(2011).
Reachability Analysis of Complex Planar Autonomous Systems.
Universitet i Oslo.
ISSN 82-7368-374-5.
-
Ábrahám, Erika; Tran, Thi Mai Thuong & Steffen, Martin
(2011).
Observable interface behavior and inheritance.
Universitetet i Oslo.
ISSN 82-7368-368-0.
-
-
-
-