Martin Steffen

Professor - PROG Programmering
Bilde av Martin Steffen
English version of this page
Telefon +47 22850417
Rom 9465
Brukernavn
Besøksadresse Johan-Ole Dahls Hus 8. etasje
Postadresse Postboks 1080 0316 Oslo

Faglige interesser

se på engelsk side, og også spesielt på https://martinsteffen.github.io

Publikasjoner

Se alle arbeider i 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 s.
  • 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 s.

Se alle arbeider i 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, s. 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. 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.
  • Steffen, Martin (2008). Workpackage 2: Progress and Developments.
  • 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 (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Faculty of mathematics and natural sciences, University of Oslo. ISSN 978-82-7368-442-4. 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. Faculty of mathematics and natural sciences, University of 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. UiO. 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. Universitet i Oslo Report 416. 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 [Vis alle 8 forfattere av denne artikkelen] (2008). Deliverable D6.1 - User Driven Requirements - Addendum.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Lazy Behavioral Subtyping. IFI UIO Oslo. ISSN 82-7368-326-5.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Incremental Reasoning for Multiple Inheritance. IFO UIO OSLO. ISSN 82-7368-333-8.
  • Grabe, Immo; Steffen, Martin & Torjusen, Arild Braathen (2008). Executable interface Specifications for Testing Asynchronous Creol Components. IFI UIO Oslo. ISSN 82-7368-335-4.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:19 - Sist endret 20. sep. 2020 10:32