Martin Steffen

Bilde av Martin Steffen
English version of this page
Telefon +47-22850417
Rom 9465
Brukernavn
Besøksadresse Johan-Ole Dahls Hus 8. etasje
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Institutt for informatikk

Faglige interesser

se på engelsk side, og også spesielt på http://www.ifi.uio.no/~msteffen

Publikasjoner

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

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

  • 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. Fulltekst i vitenarkiv.
  • 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. Fulltekst i vitenarkiv.
  • 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.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:19 - Sist endret 9. mai 2016 11:20