Martin Steffen

Se også her: http://www.ifi.uio.no/~msteffen

• Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin & Yu, Ingrid Chieh (2019). Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming.  ISSN 0167-6423.  181, s 1- 26 . doi: 10.1016/j.scico.2019.04.002
• Luteberget, Bjørnar; Johansen, Christian & Steffen, Martin (2019). Synthesis of railway signaling layout from local capacity specifications. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  11800 LNCS, s 121- 137 . doi: 10.1007/978-3-030-30942-8_9
• Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  10951 LNCS, s 258- 276 . doi: 10.1007/978-3-319-95582-7_15
• Johnsen, Einar Broch; Steffen, Martin & Stumpf, Johanna Beate (2018). Virtually timed ambients: A calculus of nested virtualization. Journal of Logical and Algebraic Methods in Programming.  ISSN 2352-2208.  94, s 109- 127 . doi: 10.1016/j.jlamp.2017.10.001 Fulltekst i vitenarkiv.
• Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars (2018). An Analysis Tool for Models of Virtualized Systems. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713. Fulltekst i vitenarkiv.
• Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars (2018). Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  11187 LNCS, s 252- 272 . doi: 10.1007/978-3-030-02508-3_14
• Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars (2018). Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  11023, s 194- 213 . doi: 10.1007/978-3-319-98938-9_12
• Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). Operational Semantics of a Weak Memory Model inspired by Go, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 50 - 52 Fulltekst i vitenarkiv.
• Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin & Yu, Ingrid Chieh (2017). Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  (10522), s 84- 99 . doi: 10.1007/978-3-319-68972-2_6
• Johnsen, Einar Broch; Steffen, Martin & Stumpf, Johanna Beate (2017). A Calculus of Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  10644 LNCS, s 88- 103 . doi: 10.1007/978-3-319-72044-9_7
• Abraham, Erika; Tran, Thi Mai Thuong & Steffen, Martin (2016). Observable interface behaviour and inheritance. Mathematical Structures in Computer Science.  ISSN 0960-1295.  26(3), s 561- 605 . doi: 10.1017/S0960129514000255
• Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina (2016). Information flow analysis for Go. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  9952 LNCS, s 431- 445 . doi: 10.1007/978-3-319-47166-2_30 Vis sammendrag

  We present the current state of the art of information flow analyses for Go applications. Based on our findings, we discuss future directions of where static analysis information can be used at Runtime to for example achieve higher precision, or optimise runtime checks. We focus specifically on outstanding language features such as closures and message-based communication via channels.

• Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2016). Meeting Deadlines, Elastically, In Luigia Petre & Emil Sekerinski (ed.),  From Action Systems to Distributed Systems: The Refinement Approach.  CRC Press.  ISBN 978-1-4987-0158-7.  Kap..  s 99 - 111
• Li, Jingyue; Qeriqi, Altin; Steffen, Martin & Yu, Ingrid Chieh (2016). Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.
• Luteberget, Bjørnar Steinnes; Johansen, Christian; Feyling, C & Steffen, Martin (2016). Rule-based incremental verification tools applied to railway designs and regulations. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  9995 LNCS, s 772- 778 . doi: 10.1007/978-3-319-48989-6_49
• Luteberget, Bjørnar Steinnes; Johansen, Christian & Steffen, Martin (2016). Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  9681, s 491- 507 . doi: 10.1007/978-3-319-33693-0_31
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2016). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Journal of Logical and Algebraic Methods in Programming.  ISSN 2352-2208.  85(6), s 1234- 1267 . doi: 10.1016/j.jlamp.2016.05.003
• Rosenberg, Carl Martin; Steffen, Martin & Stolz, Volker (2016). Leveraging DTrace for runtime verification. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  10012 LNCS, s 318- 332 . doi: 10.1007/978-3-319-46982-9_20
• Steffen, Martin (2016). A small-step semantics of a concurrent calculus with goroutines and deferred functions. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  9660, s 393- 406 . doi: 10.1007/978-3-319-30734-3_26
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Behaviour Inference for Deadlock Checking, In Martin Leucker (ed.),  2014 Theoretical Aspects of Software Engineering Conference.  IEEE conference proceedings.  ISBN 978-1-4799-5029-4.  Kap..  s 106 - 113
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Deadlock checking by data race detection. Journal of Logical and Algebraic Methods in Programming.  ISSN 2352-2208.  83(5-6), s 400- 426 . doi: 10.1016/j.jlamp.2014.07.003
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  8702, s 50- 64 . doi: 10.1007/978-3-319-10431-7_5
• Ábrahám, Erika; Tran, Thi Mai Thuong & Steffen, Martin (2013). Observable Behavior and Inheritance. Mathematical Structures in Computer Science.  ISSN 0960-1295.
• Hansen, Hallstein Asheim; Schneider, Gerardo & Steffen, Martin (2013). Reachability analysis of complex planar hybrid systems. Science of Computer Programming.  ISSN 0167-6423.  78(12), s 2511- 2536 . doi: 10.1016/j.scico.2013.02.007
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  8161 . doi: 10.1007/978-3-642-40213-5_3
• Tran, Thi Mai Thuong; Steffen, Martin & Truong, Hoang (2013). Compositional static analysis for implicit join synchronization in a transactional setting. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  8137 . doi: 10.1007/978-3-642-40561-7_15
• de Boer, Frank; Bravetti, Mario; Grabe, Immo; Lee, Matias & Steffen, Martin (2012). A Petri Net based Analysis of Deadlock for Active Objects and Futures. Formal Aspects of Component Software, 9th International Symposium, FACS 2012.  ISSN 1860-9821.
• de Boer, Frank; Grabe, Immo & Steffen, Martin (2012). Termination detection for active objects. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(4), s 541- 557 . doi: 10.1016/j.jlap.2012.03.009
• 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.  ISBN 978-3-642-29319-1.  Kapittel.  s 206 - 220
• 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.  ISBN 978-3-642-29319-1.  Kapittel.
• Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2012). Safe locking for multi-threaded Java with exceptions. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(3), s 257- 283 . doi: 10.1016/j.jlap.2011.11.002
• 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(3), s 331- 354 . doi: 10.1016/j.jlap.2011.11.001
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection, In Uwe Egbert Wolter & Yngve Lamo (ed.),  24th Nordic Workshop on Programming Theory.  Universitetet i Bergen.  article.
• Tran, Thi Mai Thuong; Steffen, Martin & Hoang, Truong (2012). Compositional Analysis of Resource Bounds for Software Transactions, In Uwe Egbert Wolter & Yngve Lamo (ed.),  24th Nordic Workshop on Programming Theory.  Universitetet i Bergen.  articel.
• Tung Vu, Xuan; Hoang, Truong; Tran, Thi Mai Thuong & Steffen, Martin (2012). A Type System for Finding Upper Resource Bounds of Multi-Threaded Programs with Nested Transactions. Conference proceedings (Universitetet i Oslo. Institutt for informatikk).  ISSN 0806-3036. . doi: 10.1145/2350716.2350722
• Vu, Xuan-Tung; Truong, Anh-Hoang; Tran, Thi Mai Thuong & Steffen, Martin (2012). A type system for finding upper resource bounds of multi-threaded programs with nested transactions, In Eric Castelli; Khanh Tran Duc; Mai Luong Chi & Viet Tran (ed.),  SoICT '12 Proceedings of the Third Symposium on Information and Communication Technology.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-1232-5.  SESSION: Formal methods and programming languages.  s 21 - 30
• Á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.  Mälardalen 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 (LNCS).  ISSN 0302-9743.  6957
• 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.  Mälardalen 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.  Mälardalen 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.  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; Johnsen, Einar Broch; Klein, Joachim; Klüppelholz, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong & Yi, Wang (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; Aichernig, Bernhard; de Boer, Frank; Griesmayer, Andreas; Johnsen, Einar Broch; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Steffen, Martin; Tschirner, Simon; Liang, Xuedong & Yi, Wang (2010). The Credo Methodology (Extended Version). Lecture Notes in Computer Science (LNCS).  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.  ISBN 978-0-7695-4213-3.  Contribution.  s 188 - 193
• Tran, Thi Mai Thuong & Steffen, Martin (2010). Safe Commits for Transactional Featherweight Java. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  6396, s 290- 304
• 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.
• Á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 (LNCS).  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. Journal of Software and 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 (LNCS).  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.

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.
• Á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. Conference proceedings (Universitetet i Oslo. Institutt for informatikk). 412.
• 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.
• Steffen, Martin (2008). Object-Oriented Components (Workpackage 2).
• Steffen, Martin (2008). Workpackage 2: Progress and Developments.

Se alle arbeider i Cristin