Martin Steffen

Available identifiers

zbMath Open steffen.martinMaRDI QIDQ338622

List of research outcomes

Publication	Date of Publication	Type
Translating active objects into colored Petri nets for communication analysis	2022-11-04	Paper
SAT modulo discrete event simulation applied to railway design capacity analysis	2021-12-08	Paper
Abstract Interface Behavior of Object-Oriented Languages with Monitors	2021-05-25	Paper
A small-step semantics of a concurrent calculus with Goroutines and deferred functions	2021-05-20	Paper
Operational semantics of a weak memory model with channel synchronization	2021-05-04	Paper
A Calculus of Virtually Timed Ambients	2020-01-16	Paper
Operational semantics of a weak memory model with channel synchronization	2019-03-27	Paper
Checking modal contracts for virtually timed ambients	2018-11-23	Paper
Virtually timed ambients: a calculus of nested virtualization	2017-12-01	Paper
Effect-polymorphic behaviour inference for deadlock checking	2016-11-07	Paper
Observable interface behaviour and inheritance	2016-07-28	Paper
Deadlock Checking by Data Race Detection	2015-09-30	Paper
Deadlock checking by data race detection	2014-10-23	Paper
Bounded Model Checking with Parametric Data Structures	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2848138	2013-09-25	Paper
Safe locking for multi-threaded Java with exceptions	2012-08-14	Paper
Deadlock checking by a behavioral effect system for lock handling	2012-08-14	Paper
Termination detection for active objects	2012-08-14	Paper
Safe Locking for Multi-threaded Java	2012-06-29	Paper
Reachability Analysis of Non-linear Planar Autonomous Systems	2012-06-29	Paper
Incremental reasoning with lazy behavioral subtyping for multiple inheritance	2011-07-18	Paper
Lazy behavioral subtyping	2010-10-22	Paper
Verification: Theory and Practice	2010-03-23	Paper
A Bibliography of Willem-Paul de Roever	2010-03-09	Paper
Formal Methods for Components and Objects	2010-02-09	Paper
Executable Interface Specifications for Testing Asynchronous Creol Components	2010-01-28	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Behavioral interface description of an object-oriented language with futures and promises	2009-09-29	Paper
Abstract interface behavior of object-oriented languages with monitors	2009-05-08	Paper
Incremental Reasoning for Multiple Inheritance	2009-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5457270	2008-04-14	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
An assertion-based proof system for multithreaded Java	2005-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4808850	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4736989	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738214	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4433933	2003-11-03	Paper
Iterating transducers	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4779117	2002-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4551159	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2779795	2002-04-15	Paper
Higher-order subtyping	1998-07-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Steffen