print logo

Martin Steffen

Image of Martin Steffen
Norwegian
Email msteffen@ifi.uio.no
Phone +47-22850417
Room 8464
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

Further information

For detailed information about my CV, teaching, and further professional information, 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 done as Norwegian employee.

 

Tags: semantics, object-orientation, formal methods, concurrency, computer science, verification, PMA, program analysis, static analysis, compositionality

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).

  • Hansen, Hallstein Asheim; Schneider, Gerardo & Steffen, Martin (2012). Reachability Analysis of Planar Autonomous Systems, In Farhad Arbab & Marjan Sirjani (ed.),  Proceedings of FSEN 2011.  Springer.  Kapittel.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2012). Safe Locking for Multi-Threaded Java, In Farhad Arbab & Marjan Sirjani (ed.),  Proceedings of FSEN 2011.  Springer.  Kapittel.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by a Behavioral Effect System for Lock Handling. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81, s 331- 354 . doi: 10.1016/j.jlap.2011.11.001
  • Ábrahám, Erika; Tran, Thi Mai Thuong & Steffen, Martin (2011). Observability and inheritance (extended abstract), In Paul Petterson & Seceleanu Cristina (ed.),  Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.  Maerdalen University.  ISBN 9789521224782.  Kapittel.
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2011). Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming.  ISSN 0167-6423.  76(10), s 915- 941 . doi: 10.1016/j.scico.2010.09.006
  • Johnsen, Einar Broch; Hähnle, Reiner; Schäfer, Jan; Schlatte, Rudolf & Steffen, Martin (2011). ABS: A Core Language for Abstract Behavioral Specification . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  6957
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2011). Safe Locking for Multi-Threaded Java with Exceptions . Journal of Logic and Algebraic Programming.  ISSN 1567-8326. . doi: 10.1016/j.jlap.2011.11.002
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Polymorphic behavioural lock effects for deadlock checking (extended abstract), In Paul Petterson & Seceleanu Cristina (ed.),  Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.  Maerdalen University.  ISBN 9789521224782.  kapittel.
  • Thuong, Thi Mai Tran; Steffen, Martin & Truong, Hoang (2011). Estimating Resource Bounds for Software Transactions (extended abstract), In Paul Petterson & Seceleanu Cristina (ed.),  Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.  Maerdalen University.  ISBN 9789521224782.  Kapittel.
  • Tran, Thi Mai Thuong & Steffen, Martin (2011). Design Issues in Concurrent Object-Oriented Languages and Observability , In Nguyen Dinh Luan & Nguyen Ngoc Binh (ed.),  Proceedings of the Third International Conference on Knowledge and Systems Engineering, KSE 2011.  IEEE Computer Society.  ISBN 978-1-4577-1848-9.  Kapittel.  s 135 - 142
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2010). Lazy behavioral subtyping. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  79(7), s 578- 607 . doi: 10.1016/j.jlap.2010.07.008
  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Cristel; Blechmann, Tobias; de Boer, Frank; Griesmayer, Andreas et al. (2010). Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  266, s 33- 48
  • Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim; Klüppelholz, Sascha; Stam, Andries; Baier, Christel; Blechmann, Tobias et al. (2010). The Credo Methodology (Extended Version) . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  6286, s 41- 69
  • Grabe, Immo; Kyas, Marcel; Steffen, Martin & Torjusen, Arild Braathen (2010). Executable interface specifications for testing asynchronous Creol components , In Farhad Arbab & Marjan Sirjani (ed.),  Proceedings of FSEN 2009, Lecture Notes in Computer Science.  Springer.  ISBN 978-3-642-11622-3.  Contribution.
  • Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for multi-threaded Java (extended abstract), In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 5 - 7
  • Owe, Olaf; Steffen, Martin & Torjusen, Arild Braathen (2010). Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting . Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  264(3), s 69- 84
  • Pun, Ka I & Steffen, Martin (2010). Deadlock checking by behavior inference for lock handling, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended Abstract.
  • Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe typing for transactional vs. lock-based concurrency in multi-threaded Java , In Son Bao Pham; Tuan-Hao Hoang; Bob McKay & Kaoru Hirota (ed.),  Proceedings of the Second International Conference on Knowledge and Systems Engineering, KSE 2010.  IEEE Computer Society.  ISBN 978-0-7695-4213-3.  Contribution.  s 188 - 193
  • Tran, Thi Mai Thuong & Steffen, Martin (2010). Safe Commits for Transactional Featherweight Java , In Dominique Mery & Stephan Merz (ed.),  Proceedings of the 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010,.  Springer.  ISBN 978-3-642-16264-0.  Contribution.
  • Tran, Thi Mai Thuong & Steffen, Martin (2010). Safe Commits for Transactional Featherweight Java. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  6396, s 290- 304
  • Ábrahám, Erika; Grabe, Immo; Grüner, Andreas & Steffen, Martin (2009). Behavioral interface description of an object-oriented language with futures and promises. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  78(7), s 491- 518 . doi: 10.1016/j.jlap.2009.01.001
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2009). Encapsulating Lazy Behavioral Subtyping, In  Specification, Transformation, Navigation: Festschrift dedicated to Bernd Krieg-Brueckner.  Universitaet Bremen.  ISBN 9999999999.  Technical Papers.  s 72 - 87
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2009). Incremental Reasoning for Multiple Inheritance . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  5423, s 215- 230
  • Torjusen, Arild Braathen; Steffen, Martin & Owe, Olaf (2009). Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting, In Michael R. Hansen & Aske Brekling (ed.),  21st Nordic Workshop on Programming Theory.  Danmarks Tekniske Universitet, DTU.  ISBN 978-87-643-0565-4.  Testing and Verification.  s 56 - 59
  • Abraham, E; Gruner, A & Steffen, Martin (2008). Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory of Computing Systems.  ISSN 1432-4350.  43(3-4), s 322- 361 . doi: 10.1007/s00224-007-9047-0
  • Abraham, E; Gruner, A & Steffen, Martin (2008). Heap-abstraction for an object-oriented calculus with thread classes. Software & Systems Modeling.  ISSN 1619-1366.  7, s 177- 208 . doi: 10.1007/s10270-007-0065-9
  • Abraham, E; Roever, Willem-Paul; de Boer, FS & Steffen, Martin (2008). A deductive proof system for multithreaded Java with exceptions. Fundamenta Informaticae.  ISSN 0169-2968.  82(4), s 391- 463 . doi: http://portal.acm.org/citation.cfm?id=1366987
  • Abraham, Erika; de Roever, Willem-Paul; de Boer, Frank & Steffen, Martin (2008). Inductive Proof Outlines for Multithreaded Java with Exceptions . Fundamenta Informaticae.  ISSN 0169-2968.  82(4), s 391- 463
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Lazy Behavioral Subtyping . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  5014, s 52- 67
  • Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2008). Lazy Behavioral Subtyping (extended abstract), In Tarmu Uurstalu; Juri Vain & Juhan Ernits (ed.),  Proceedings of the Nordic Workshop of Programming Theory 2008 (NWPT'08).  Alfapress.  ISBN 978-9949-430-24-6.  Artikkel.
  • Kyas, Marcel; Stam, Andries; Steffen, Martin & Torjusen, Arild Braathen (2008). Executable Interface Specifications for Testing Asynchronous Creol Components, In Tarmu Uurstalu; Juri Vain & Juhan Ernits (ed.),  Proceedings of the Nordic Workshop of Programming Theory 2008 (NWPT'08).  Alfapress.  ISBN 978-9949-430-24-6.  Artikkel.
  • Abraham, Erika; Gruener, Andreas & Steffen, Martin (2007). Abstract Interface Behavior of Object-Oriented Languages with Monitors . Theory of Computing Systems.  ISSN 1432-4350. . doi: 10.1007/s00224-007-9047-0
  • Abraham, Erika; Gruener, Andreas & Steffen, Martin (2007). Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes . Software & Systems Modeling.  ISSN 1619-1366. . doi: 10.1007/s10270-007-0065-9
  • Abraham, Erika; Herbstritt, Marc; Bernd, Becker & Steffen, Martin (2007). Bounded Model Checking with Parametric Data Structures. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  174(3) . doi: 10.1016/j.entcs.2006.12.019
  • de Boer, Frank; Bonsangue, Marcello; Gruener, Andreas & Steffen, Martin (2007). Test Driver Generation from Object-Oriented Interaction Traces , In Einar Broch Johnsen; Olaf Owe & Gerardo Schneider (ed.),  NWPT07/Flacos'07 Workshop Proceedings.  Unipub forlag.  ISBN 82-7368-324-9.  artikkel.
  • Erika, Abraham; Grabe, Immo; Gruener, Andreas & Steffen, Martin (2007). Abstract Interface Behavior of an Object-Oriented Language with Futures and Promises (extended abstract) , In Einar Broch Johnsen; Olaf Owe & Gerardo Schneider (ed.),  NWPT07/Flacos'07 Workshop Proceedings.  Unipub forlag.  ISBN 82-7368-324-9.  Artikkel.
  • Owe, Olaf; Schneider, Gerardo & Steffen, Martin (2007). Components, Objects and Contracts , In G.T. Leavens (ed.),  Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007).  ACM Press.  ISBN 978-1-59593-721-6.  Kapittel.  s 95 - 99

View all works in 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.

View all works in Cristin

  • Ábrahám, Erika; Tran, Thi Mai Thuong & Steffen, Martin (2011). Observable interface behavior and inheritance.
  • Hansen, Hallstein Asheim; Schneider, Gerardo & Steffen, Martin (2011). Reachability Analysis of Complex Planar Autonomous Systems.
  • 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 .
  • Tran, Thi Mai Thuong; Steffen, Martin & Truong, Hoang (2011). Estimating Resource Bounds fro Software Transactions.
  • 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 et al. (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.
  • 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.
  • Steffen, Martin (2008). Object-Oriented Components (Workpackage 2).
  • Steffen, Martin (2008). Workpackage 2: Progress and Developments.
  • Abraham, Erika; Grabe, Immo; Gruener, Andreas & Steffen, Martin (2007). Behavioral Interface Description of an Object-Oriented Language with Futures and Promises.
  • Abraham, Erika; Grabe, Immo; Gruener, Andreas & Steffen, Martin (2007). Behavioral interface description of an object-oriented language with futures and promises.
  • Owe, Olaf; Schneider, Gerardo & Steffen, Martin (2007). Components, Objects, and Contracts.
  • Owe, Olaf; Schneider, Gerardo & Steffen, Martin (2007). Components, Objects, and Contracts. UiO IFI Research Report No. 363 .
  • Steffen, Martin (2007). Behavioral interface behavior for concurrent OO languages with futures and promises.
  • Steffen, Martin (2007). Futures and Promises in OO.
  • Steffen, Martin (2007). Habilitation thesis (``Habilitationsschrift''): Object-Connectivity and Observability for Class-Based, Object-Oriented Languages .
  • Steffen, Martin (2007). XML Query Languages.

View all works in Cristin

Published Nov 4, 2010 02:19 PM - Last modified Oct 23, 2011 01:09 PM

Projects

Research groups