Martin Steffen

Se også her: https://martinsteffen.github.io

• Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian & Steffen, Martin (2021). SAT modulo discrete event simulation applied to railway design capacity analysis. Formal methods in system design. ISSN 0925-9856. 57, s. 211–245. doi: 10.1007/s10703-021-00368-2. Fulltekst i vitenarkiv
• Johnsen, Einar Broch; Steffen, Martin & Stumpf, Johanna Beate (2020). Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12476, s. 103–121. doi: 10.1007/978-3-030-61362-4_6.
• Fava, Daniel Schnetzer & Steffen, Martin (2020). Ready, set, Go! Data-race detection and the Go language. Science of Computer Programming. ISSN 0167-6423. 195. doi: 10.1016/j.scico.2020.102473.
• Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2019). Operational semantics of a weak memory model with channel synchronization. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 103, s. 1–30. doi: 10.1016/j.jlamp.2018.10.004.
• 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. Fulltekst i vitenarkiv
• 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.
• Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars (2018). An Analysis Tool for Models of Virtualized Systems. NIKT: Norsk IKT-konferanse for forskning og utdanning. 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 (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 (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.
• 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. s. 84–99. doi: 10.1007/978-3-319-68972-2_6.
• Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). Operational Semantics of a Weak Memory Model inspired by Go. I Walden, Marina (Red.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. s. 50–52. doi: 10.1016/j.jlamp.2018.10.004. Fulltekst i vitenarkiv
• 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.
• 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. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
• Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2016). Meeting Deadlines, Elastically. I Petre, Luigia & Sekerinski, Emil (Red.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. s. 99–111. doi: 10.1201/b20053-11.
• 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.
• 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.

• 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.
• 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.
• 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. I Leucker, Martin (Red.), 2014 Theoretical Aspects of Software Engineering Conference. IEEE conference proceedings. ISSN 978-1-4799-5029-4. s. 106–113. doi: 10.1109/TASE.2014.23.
• 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. doi: 10.1017/s0960129514000255.
• 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.
• 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.
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection. I Wolter, Uwe Egbert & Lamo, Yngve (Red.), 24th Nordic Workshop on Programming Theory. Universitetet i Bergen. ISSN 0333-3590. doi: 10.1007/978-3-642-40213-5_3.
• 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.
• Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2012). Safe Locking for Multi-Threaded Java. I Arbab, Farhad & Sirjani, Marjan (Red.), Proceedings of FSEN 2011. Springer. ISSN 978-3-642-29319-1. doi: 10.1007/978-3-642-29320-7_11.
• Hansen, Hallstein Asheim; Schneider, Gerardo & Steffen, Martin (2012). Reachability analysis of planar autonomous systems. I Arbab, Farhad & Sirjani, Marjan (Red.), Proceedings of FSEN 2011. Springer. ISSN 978-3-642-29319-1. s. 206–220. doi: 10.1007/978-3-642-29320-7_14.
• 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.
• 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. I Castelli, Eric; Duc, Khanh Tran; Chi, Mai Luong & Tran, Viet (Red.), SoICT '12 Proceedings of the Third Symposium on Information and Communication Technology. Association for Computing Machinery (ACM). ISSN 978-1-4503-1232-5. s. 21–30. doi: 10.1145/2350716.2350722.
• 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.
• 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. doi: 10.3233/fi-2018-1663.
• Tran, Thi Mai Thuong; Steffen, Martin & Hoang, Truong (2012). Compositional Analysis of Resource Bounds for Software Transactions. I Wolter, Uwe Egbert & Lamo, Yngve (Red.), 24th Nordic Workshop on Programming Theory. Universitetet i Bergen. ISSN 0333-3590.
• Tran, Thi Mai Thuong & Steffen, Martin (2011). Design Issues in Concurrent Object-Oriented Languages and Observability. I Dinh Luan, Nguyen & Ngoc Binh, Nguyen (Red.), Proceedings of the Third International Conference on Knowledge and Systems Engineering, KSE 2011. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-4577-1848-9. s. 135–142. doi: 10.1109/kse.2011.28.
• Ábrahám, Erika; Tran, Thi Mai Thuong & Steffen, Martin (2011). Observability and inheritance (extended abstract). I Petterson, Paul & Cristina, Seceleanu (Red.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782.
• Thuong, Thi Mai Tran; Steffen, Martin & Truong, Hoang (2011). Estimating Resource Bounds for Software Transactions (extended abstract). I Petterson, Paul & Cristina, Seceleanu (Red.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782.
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Polymorphic behavioural lock effects for deadlock checking (extended abstract). I Petterson, Paul & Cristina, Seceleanu (Red.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782.
• 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. doi: 10.1007/978-3-642-25271-6_8.
• 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.
• 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.
• Grabe, Immo; Jaghoori, Mohammad Mahdi; Klein, Joachim; Klüppelholz, Sascha; Stam, Andries & Baier, Christel [Vis alle 18 forfattere av denne artikkelen] (2010). The Credo Methodology (Extended Version). Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6286, s. 41–69.
• Pun, Ka I & Steffen, Martin (2010). Deadlock checking by behavior inference for lock handling. I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2.
• Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe Locking for multi-threaded Java (extended abstract). I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2. s. 5–7.
• Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin (2010). Safe typing for transactional vs. lock-based concurrency in multi-threaded Java. I Pham, Son Bao; Hoang, Tuan-Hao; McKay, Bob & Hirota, Kaoru (Red.), Proceedings of the Second International Conference on Knowledge and Systems Engineering, KSE 2010. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-0-7695-4213-3. s. 188–193.
• Tran, Thi Mai Thuong & Steffen, Martin (2010). Safe Commits for Transactional Featherweight Java. I Mery, Dominique & Merz, Stephan (Red.), Proceedings of the 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010,. Springer. ISSN 978-3-642-16264-0.
• Grabe, Immo; Kyas, Marcel ; Steffen, Martin & Torjusen, Arild Braathen (2010). Executable interface specifications for testing asynchronous Creol components. I Arbab, Farhad & Sirjani, Marjan (Red.), Proceedings of FSEN 2009, Lecture Notes in Computer Science. Springer. ISSN 978-3-642-11622-3.
• Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Cristel; Blechmann, Tobias & de Boer, Frank [Vis alle 18 forfattere av denne artikkelen] (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.
• 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.
• 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.
• Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Steffen, Martin (2009). Encapsulating Lazy Behavioral Subtyping, Specification, Transformation, Navigation: Festschrift dedicated to Bernd Krieg-Brueckner. Universitaet Bremen. s. 72–87.
• Torjusen, Arild Braathen; Steffen, Martin & Owe, Olaf (2009). Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. I Hansen, Michael R. & Brekling, Aske (Red.), 21st Nordic Workshop on Programming Theory. Danmarks Tekniske Universitet, DTU. ISSN 978-87-643-0565-4. s. 56–59.
• 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.
• Á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 (2008). Lazy Behavioral Subtyping (extended abstract). I Uurstalu, Tarmu; Vain, Juri & Ernits, Juhan (Red.), Proceedings of the Nordic Workshop of Programming Theory 2008 (NWPT'08). Alfapress. ISSN 978-9949-430-24-6.
• Kyas, Marcel; Stam, Andries; Steffen, Martin & Torjusen, Arild Braathen (2008). Executable Interface Specifications for Testing Asynchronous Creol Components. I Uurstalu, Tarmu; Vain, Juri & Ernits, Juhan (Red.), Proceedings of the Nordic Workshop of Programming Theory 2008 (NWPT'08). Alfapress. ISSN 978-9949-430-24-6.
• 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.
• 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; 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.
• Abraham, E; Gruner, A & Steffen, Martin (2008). Heap-abstraction for an object-oriented calculus with thread classes. Software and Systems Modeling (SoSyM). ISSN 1619-1366. 7, s. 177–208. doi: 10.1007/s10270-007-0065-9.

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