- Formale Semantik f ur asynchronen Methodenaufruf
- Iterating transducers ? Dennis Dams
- Higher-Order Subtyping Martin Ste en Benjamin Piercey
- Abstract Interface Behavior of Object-Oriented Languages with Monitors
- Safe Locking for Multi-Threaded Java September 27, 2010
- ObjectConnectivity and Observability for ClassBased ObjectOriented Languages
- INSTITUT F UR INFORMATIK UND PRAKTISCHE MATHEMATIK LEHRSTUHL F UR SOFTWARETECHNOLOGIE
- Typing Confluence \Lambda Uwe Nestmann yz
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
- A Compositional Operational Semantics August 11, 2003
- Observability, Connectivity, and Replay in a Sequential Calculus of Classes
- Typing Con uence Uwe Nestmannyz
- Divide, Abstract, and Model-Check? Karsten Stahl??, Kai Baukus, Yassine Lakhnech, and Martin Ste en
- Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java
- A Specification-Driven Interpreter for Testing Asynchronous Creol Components
- Divide, Abstract, and ModelCheck ? Karsten Stahl ?? , Kai Baukus, Yassine Lakhnech, and Martin Steffen
- Lazy Behavioral Subtyping Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen
- Iterating transducers ? Dennis Dams 1 , Yassine Lakhnech 2 , and Martin Ste en 3
- Polarized HigherOrder Subtyping Der Technischen Fakultat der
- UNIVERSITY OF OSLO Department of Informatics
- Fundamenta Informaticae XX (2006) 1?? 1 A Deductive Proof System for Multithreaded Java with Exceptions
- Optimizing Bounded Model Checking for Linear Hybrid Systems
- Safe Locking for Multi-Threaded Java with Exceptions$ Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen,$$
- Deadlock checking by behavior inference for lock handling
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting.
- Fundamenta Informaticae 82 (2008) 173 1 A Deductive Proof System for Multithreaded Java with Exceptions
- XML Query Languages Martin Steffen
- Lazy Behavioral Subtyping 16. November 2007
- Classes, Object Connectivity, and Observability --Extended Abstract --
- Vollst andigkeitsnachweis eines Beweissystems
- Deductive Veri cation for Multithreaded Java Abrah am-Mumm 1 , Frank S. de Boer 2 ,
- ABS: A Core Language for Abstract Behavioral Specification
- Abstract Interface Behavior of Object-Oriented Languages with Monitors
- Verification of Hybrid Systems: Formalization and Proof Rules in PVS
- Noname manuscript No. (will be inserted by the editor)
- Assertionbased Analysis of Hybrid Systems with PVS ? AbrahamMumm 1 , Ulrich Hannemann 2 , and Martin Steffen 1
- Kalkulbasierte OO-Sprachen Uwe Nestmann
- Observable interface behavior and inheritance Erika Abraham1
- Assertion-based Analysis of Hybrid Systems with PVS Erika Abraham-Mumm
- Safe Locking for Multi-Threaded Java Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, and Martin Steffen
- Polarized Higher-Order Subtyping Der Technischen Fakultat der
- Theoretical Computer Science 331 (2005) 251290 www.elsevier.com/locate/tcs
- Termination Detection for Active Objects$ Frank S. de Boer
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Encapsulating Lazy Behavioral Subtyping Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen
- Reachability analysis of non-linear planar autonomous systems
- Safe Commits for Transactional Featherweight Java Thi Mai Thuong Tran and Martin Steffen
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Inductive Proof Outlines for Exceptions in Multithreaded Java 1
- A fully abstract semantics for UML components F.S. de Boer1,2
- Inheritance of Proofs Martin Hofmann
- Incremental Reasoning for Multiple Inheritance Johan Dovland, Einar Broch Johnsen, Olaf Owe, and Martin Steffen
- UNIVERSITY OF OSLO Department of Informatics
- Safe Commits for Transactional Featherweight Java
- Test Driver Generation from Object-Oriented Interaction Traces
- UNIVERSITY OF OSLO Department of Informatics
- Abstract interface behavior of an object-oriented language with futures and promises
- UNIVERSITY OF OSLO Department of Informatics
- Synchronous Closing and Flow Analysis for Model Checking Timed Systems
- Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
- UNIVERSITY OF OSLO Department of Informatics
- Model Testing Asynchronously Communicating Objects using Modulo AC
- Verification of Hybrid Systems: Formalization and Proof Rules in PVS
- A Compositional Operational Semantics for JavaMT #
- A Toolsupported Proof System for Multithreaded Java #
- Inductive Proof Outlines for Multithreaded Java with Exceptions
- Object-Connectivity and Observability for Class-Based Object-Oriented Languages
- Polarized Higher-Order Subtyping Der Technischen Fakult"at der
- Veri cation for Java's Reentrant Multithreading Concept
- Inductive Proof Outlines for Monitors in Java September 1, 2003
- UNIVERSITY OF OSLO Department of Informatics
- A Tool-supported Proof System for Multithreaded Java
- Memory-aware Bounded Model Checking for Linear Hybrid Systems
- Inheritance of Proofs Martin Hofmann
- Bounded Model Checking with Parametric Data Structures
- Inheritance of Proofs Martin Hofmann
- Design issues in concurrent object-oriented languages and observability Thi Mai Thuong Tran and Martin Steffen
- UNIVERSITY OF OSLO Department of Informatics
- Polymorphic behavioural lock effects for deadlock checking Ka I Pun, Martin Steffen, Volker Stolz
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Polymorphic behavioural lock effects for deadlock checking Ka I Pun, Martin Steffen, Volker Stolz
- Estimating Resource Bounds for Software Transactions
- Inheritance and Observability Erika Abraham, Thi Mai Thuong Tran, and Martin Steffen
- UNIVERSITY OF OSLO Department of Informatics
- Estimating Resource Bounds for Software Transactions
- UNIVERSITY OF OSLO Department of Informatics
