Martin Steffen

Image of Martin Steffen
Norwegian version of this page
Phone +47-22850417
Room 8464
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO
Other affiliations Department for Informatics

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

  • 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.  ISSN 0302-9743.  9952 LNCS, s 431- 445 . doi: 10.1007/978-3-319-47166-2_30
  • 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.  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.  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. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  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.  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.  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 . The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  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.  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.  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.  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.  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.  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 , 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.  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.  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.  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-OrientedLanguage 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 onSpecification and Verification ofComponent-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

  • 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. Full text in Research Archive
  • Luteberget, Bjørnar Steinnes; Johansen, Christian & Steffen, Martin (2016). Rule-Based Consistency Checking of Railway Infrastructure Designs. Full text in Research Archive
  • 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.
  • Á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; 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. Full text in Research Archive
  • 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.
  • Balasingham, Ilangko; Kyas, Marcel; Leister, Wolfgang; Liang, Xuedong; Østvold, Bjarte M.; Rossum, Anne van; Salden, Alfons; Steffen, Martin & Valk, Jeroen M. (2007). CREDO - Deliverable D6.1: User driven requirements. Full text in Research Archive
  • 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.

View all works in Cristin

Published Nov. 4, 2010 2:19 PM - Last modified Dec. 10, 2015 11:35 AM