Martin Steffen

According to our database1, Martin Steffen authored at least 78 papers between 1994 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Virtually timed ambients: A calculus of nested virtualization.
J. Log. Algebr. Meth. Program., 2018

Resource-Aware Virtually Timed Ambients.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Checking Modal Contracts for Virtually Timed Ambients.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Operational Semantics of a Weak Memory Model with Channel Synchronization.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Translating Active Objects into Colored Petri Nets for Communication Analysis.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

2016
COMBREX-DB: an experiment centered database of protein function: knowledge, predictions and knowledge gaps.
Nucleic Acids Research, 2016

Observable interface behaviour and inheritance.
Mathematical Structures in Computer Science, 2016

A Calculus of Virtually Timed Ambients.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Leveraging DTrace for Runtime Verification.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems.
Proceedings of the 29th Norsk Informatikkonferanse, 2016

Information Flow Analysis for Go.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Rule-Based Consistency Checking of Railway Infrastructure Designs.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.
Proceedings of the FM 2016: Formal Methods, 2016

A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.
Proceedings of the Theory and Practice of Formal Methods, 2016

Meeting Deadlines, Elastically.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2014
Behaviour Inference for Deadlock Checking.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Effect-Polymorphic Behaviour Inference for Deadlock Checking.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Orchestration of secure Web Services within an E-government Interoperability Platform.
Proceedings of the XL Latin American Computing Conference, 2014

2013
Reachability analysis of complex planar hybrid systems.
Sci. Comput. Program., 2013

The 18th International Symposium on Fundamentals of Computation Theory.
Inf. Comput., 2013

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Deadlock Checking by Data Race Detection.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012
Deadlock checking by a behavioral effect system for lock handling.
J. Log. Algebr. Program., 2012

Safe locking for multi-threaded Java with exceptions.
J. Log. Algebr. Program., 2012

Termination detection for active objects.
J. Log. Algebr. Program., 2012

A type system for finding upper resource bounds of multi-threaded programs with nested transactions.
Proceedings of the Symposium on Information and Communication Technology 2012, 2012

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011
Incremental reasoning with lazy behavioral subtyping for multiple inheritance.
Sci. Comput. Program., 2011

COMBREX: a project to accelerate the functional annotation of prokaryotic genomes.
Nucleic Acids Research, 2011

Design Issues in Concurrent Object-Oriented Languages and Observability.
Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

Safe Locking for Multi-threaded Java.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Reachability Analysis of Non-linear Planar Autonomous Systems.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
Electr. Notes Theor. Comput. Sci., 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Safe Commits for Transactional Featherweight Java.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

ABS: A Core Language for Abstract Behavioral Specification.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

A Bibliography of Willem-Paul de Roever.
Proceedings of the Concurrency, 2010

2009
Behavioral interface description of an object-oriented language with futures and promises.
J. Log. Algebr. Program., 2009

Java Test Driver Generation from Object-Oriented Interaction Traces.
Electr. Notes Theor. Comput. Sci., 2009

Incremental Reasoning for Multiple Inheritance.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Executable Interface Specifications for Testing Asynchronous Creol Components.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
A Deductive Proof System for Multithreaded Java with Exceptions.
Fundam. Inform., 2008

Integration of relational and hierarchical network information for protein function prediction.
BMC Bioinformatics, 2008

Lazy Behavioral Subtyping.
Proceedings of the FM 2008: Formal Methods, 2008

Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction.
Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

2007
Bounded Model Checking with Parametric Data Structures.
Electr. Notes Theor. Comput. Sci., 2007

Components, objects, and contracts.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

2006
Inductive Proof Outlines for Exceptions in Multithreaded Java.
Electr. Notes Theor. Comput. Sci., 2006

Memory-aware Bounded Model Checking for Linear Hybrid Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Abstract Interface Behavior of Object-Oriented Languages with Monitors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.
Proceedings of the Logical Approaches to Computational Barriers, 2006

2005
An assertion-based proof system for multithreaded Java.
Theor. Comput. Sci., 2005

Characteristic mu-Calculus Formulas for Underspecified Transition Systems.
Electr. Notes Theor. Comput. Sci., 2005

Optimizing Bounded Model Checking for Linear Hybrid Systems.
Proceedings of the Verification, 2005

2004
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.
Proceedings of the Theoretical Aspects of Computing, 2004

A Fully Abstract Semantics for UML Components.
Proceedings of the Formal Methods for Components and Objects, 2004

Observability, Connectivity, and Replay in a Sequential Calculus of Classes.
Proceedings of the Formal Methods for Components and Objects, 2004

2003
Inductive Proof Outlines for Monitors in Java.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Synchronous Closing and Flow Analysis for Model Checking Timed Systems.
Proceedings of the Formal Methods for Components and Objects, 2003

A Compositional Operational Semantics for JavaMT.
Proceedings of the Verification: Theory and Practice, 2003

2002
Automated modelling of signal transduction networks.
BMC Bioinformatics, 2002

Synchronous Closing of Timed SDL Systems for Model Checking.
Proceedings of the Verification, 2002

Verification for Java's Reentrant Multithreading Concept.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

A Tool-Supported Proof System for Multithreaded Java.
Proceedings of the Formal Methods for Components and Objects, 2002

Closing Open SDL-Systems for Model Checking with DTSpin.
Proceedings of the FME 2002: Formal Methods, 2002

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001
Verifying Large SDL-Specifications Using Model Checking.
Proceedings of the SDL 2001: Meeting UML, 2001

Embedding Chaos.
Proceedings of the Static Analysis, 8th International Symposium, 2001

Verification of Hybrid Systems: Formalization and Proof Rules in PVS.
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Assertion-Based Analysis of Hybrid Systems with PVS.
Proceedings of the Computer Aided Systems Theory, 2001

Iterating Transducers.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Verification of a wireless ATM medium-access protocol.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
Polarized higher-order subtyping.
PhD thesis, 1999

Divide, Abstract, and Model-Check.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1998
Inheritance of Proofs.
TAPOS, 1998

1997
Higher-Order Subtyping.
Theor. Comput. Sci., 1997

1995
Correct Transformational Design of Concurrent Search Structures.
Object Orientation with Parallelism and Persistence, 1995

1994
Higher-Order Subtyping.
Proceedings of the Programming Concepts, 1994


  Loading...