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 (ed.) (2011). Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Springer.  ISBN 978-3-642-22953-4.  371 s.
  • Dams, Dennis; Hannemann, Ulrich & Steffen, Martin (ed.) (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

  • Knoop, Jens; Trancón y Widemann, Baltasar & Steffen, Martin (red.) (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''. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 488. Fulltekst i vitenarkiv.
  • Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Fulltekst i vitenarkiv.
  • Knoop, Jens; Steffen, Martin & Trancón y Widemann, Baltasar (red.) (2018). Tagungsband des 35ten Jahrestreffens der GI-Fachgruppe ``Programmiersprachen und Rechenkonzepte''. 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. Fulltekst i vitenarkiv.
  • Luteberget, Bjørnar Steinnes; Johansen, Christian & Steffen, Martin (2016). Rule-Based Consistency Checking of Railway Infrastructure Designs. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 450. Fulltekst i vitenarkiv.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically..
  • 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
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Lock-Polymorphic Behaviour Inference for Deadlock Checking.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Behaviour Inference for Deadlock Checking.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by Data Race Detection. Technical reports in informatics. 421.
  • Hansen, Hallstein Asheim; Schneider, Gerardo & Steffen, Martin (2011). Reachability Analysis of Complex Planar Autonomous Systems. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 412.
  • Ábrahám, Erika; Tran, Thi Mai Thuong & Steffen, Martin (2011). Observable interface behavior and inheritance.
  • 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 Olaf Owe; Martin Steffen & Jan Arne Telle (ed.),  Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011.  Springer.  ISBN 978-3-642-22953-4.  Preface.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Deadlock checking by a behavioral effect system for lock handling. Technical Report Department of Informatics. 404.
  • Tran, Thi Mai Thuong; Steffen, Martin & Truong, Hoang (2011). Estimating Resource Bounds fro Software Transactions. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 414.
  • Dams, Dennis; Hannemann, Ulrich & Steffen, Martin (2010). Preface to the Festschrift in Honor of Willem-Paul de Roever, In Dennis Dams; Ulrich Hannemann & Martin Steffen (ed.),  Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever.  Springer.  ISBN 978-3-642-11511-0.  Preface.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for Multi-Threaded Java.
  • 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).
  • de Boer, Frank; Grabe, Immo & Steffen, Martin (2009). Static Deadlock Detection for Active Objects.
  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias; Boer, de Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Wang, Yi; Grabe, Immo; Boer, Frank de; Broch Johnsen, Einar; Klüppelholz, Sascha; Kyas, Marcel & Yi, Wang (2009). Credo methodology - Modeling and analyzing a peer-to-peer system in Credo.
  • Steffen, Martin (2009). Design of an Abstract Behavioral Specification Language.
  • Steffen, Martin (2009). Executable Interface Specifications for Testing Asynchronous Creol Components.
  • Steffen, Martin (2009). Incremental Reasoning for Multiple Inheritance.
  • Steffen, Martin (2009). The Core ABS Language.
  • Steffen, Martin & Tran, Thi Mai Thuong (2009). Safe Commits for Transactional Featherweight Java.
  • Torjusen, Arild Braathen; Steffen, Martin & Owe, Olaf (2009). Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
  • Salden, Alfons; Stam, Andries; Balasingham, Ilangko; Steffen, Martin; Kyas, Marcel; Leister, Wolfgang; Liang, Xuedong & Østvold, Bjarte M. (2008). Deliverable D6.1 - User Driven Requirements - Addendum.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Incremental Reasoning for Multiple Inheritance.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Lazy Behavioral Subtyping.
  • Grabe, Immo; Steffen, Martin & Torjusen, Arild Braathen (2008). Executable interface Specifications for Testing Asynchronous Creol Components.
  • Steffen, Martin (2008). Creol as Formal Model for Distributed, Concurrent Systems.
  • Steffen, Martin (2008). Futures and Promises in object-oriented languages.

Se alle arbeider i Cristin

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