Martin Steffen

Professor - Reliable Systems
Image of Martin Steffen
Norwegian version of this page
Phone +47 22850417
Room 9465
Username
Visiting address Gaustadalléen 23B 0373 Oslo
Postal address Postboks 1080 Blindern 0316 Oslo

Further information

For more detailed information about my professional activities (CV, teaching etc.) see  here.

There you find also more publications, some of which are available for download if no copyright issues prevent that. These official pages here include only publications officially registered and done as Norwegian employee (and counting some points in the  so-called tellekant system).

Tags: semantics, programming language theory, static analysis, verification, compiler construction, object-orientation, formal methods, concurrency, computer science, verification, PMA, program analysis, static analysis, compositionality, security, model checking, type systems

Publications

For my publications, see the ones in the nationwide data base clicking the tabs here, or see also the ones listed here (which form a superset).

View all works in Cristin

  • Owe, Olaf; Steffen, Martin & Telle, Jan Arne (2011). Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Springer. ISBN 978-3-642-22953-4. LNCS(6914). 371 p.
  • Dams, Dennis; Hannemann, Ulrich & Steffen, Martin (2010). Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever. Springer. ISBN 978-3-642-11511-0. 377 p.

View all works in Cristin

  • Owe, Olaf; Steffen, Martin & Telle, Jan Arne (2013). The 18th International Symposium on Fundamentals of Computation Theory. Information and Computation. ISSN 0890-5401. 231, p. 1–2. doi: 10.1016/j.ic.2013.08.001.
  • Owe, Olaf; Telle, Jan Arne & Steffen, Martin (2011). Preface to the Proceedings of the 18th International Symposium in Fundamentals of Computation Theory FCT 2011. In Owe, Olaf; Steffen, Martin & Telle, Jan Arne (Ed.), 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. In Dams, Dennis; Hannemann, Ulrich & Steffen, Martin (Ed.), 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 [Show all 24 contributors for this article] (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.
  • Ramezanifarkhani, Toktam; Owe, Olaf; Steffen, Martin & Tokas, Shukun (2021). Analysis and Enforcement of GDPR-related Privacy Principles in Object-Oriented Distributed Systems. 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. Full text in Research Archive
  • 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. Full text in Research Archive
  • Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Universitetet i Oslo. ISSN 978-82-7368-442-4. Full text in Research Archive
  • 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. Full text in Research Archive
  • Luteberget, Bjørnar Steinnes; Johansen, Christian & Steffen, Martin (2016). Rule-Based Consistency Checking of Railway Infrastructure Designs. Universitetet i Oslo. ISSN 0806-3036. Full text in Research Archive
  • 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.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Deadlock checking by a behavioral effect system for lock handling. Universitetet i Oslo. ISSN 82-7368-366-4.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for Multi-Threaded Java. Universitetet i Oslo. ISSN 82-7368-364-8.
  • Salden, Alfons; Stam, Andries; Balasingham, Ilangko; Steffen, Martin; Kyas, Marcel & Leister, Wolfgang [Show all 8 contributors for this article] (2008). Deliverable D6.1 - User Driven Requirements - Addendum.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Lazy Behavioral Subtyping. 7Letras. ISSN 82-7368-326-5.

View all works in Cristin

Published Nov. 4, 2010 2:19 PM - Last modified Sep. 30, 2020 8:48 AM