Martin Steffen
Professor
-
PROG Programmering

English version of this page
E-post
msteffen@ifi.uio.no
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 også her: https://martinsteffen.github.io
- 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
- 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
- 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. 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 & 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
- 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. NIKT: Norsk IKT-konferanse for forskning og utdanning. 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
- 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
- Á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
- 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. . doi: 10.3233/fi-2018-1663
- 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 . doi: 10.1007/978-3-642-25271-6_8
- 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.
- 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.
- 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.
Publisert 4. nov. 2010 14:19
- Sist endret 20. sep. 2020 10:32