Martin Steffen

Sci. Comput. Program., 2020

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients.

[BibT_eX]

[DOI]

Johanna Beate Stumpf

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Translating active objects into colored Petri nets for communication analysis.

[BibT_eX]

[DOI]

Anastasia Gkolfi

Crystal Chang Din

Lars Michael Kristensen

Ingrid Chieh Yu

Sci. Comput. Program., 2019

Operational semantics of a weak memory model with channel synchronization.

[BibT_eX]

[DOI]

Daniel Schnetzer Fava

J. Log. Algebraic Methods Program., 2019

Synthesis of Railway Signaling Layout from Local Capacity Specifications.

[BibT_eX]

[DOI]

Bjørnar Luteberget

Christian Johansen

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Virtually timed ambients: A calculus of nested virtualization.

[BibT_eX]

[DOI]

Johanna Beate Stumpf

J. Log. Algebraic Methods Program., 2018

An Analysis Tool for Models of Virtualized Systems.

[BibT_eX]

[DOI]

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Resource-Aware Virtually Timed Ambients.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Checking Modal Contracts for Virtually Timed Ambients.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

Translating Active Objects into Colored Petri Nets for Communication Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2016

Observable interface behaviour and inheritance.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2016

Effect-polymorphic behaviour inference for deadlock checking.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

A Calculus of Virtually Timed Ambients.

[BibT_eX]

[DOI]

Johanna Beate Stumpf

Proceedings of the Recent Trends in Algebraic Development Techniques, 2016

Leveraging DTrace for Runtime Verification.

[BibT_eX]

[DOI]

Carl Martin Rosenberg

Proceedings of the Runtime Verification - 16th International Conference, 2016

Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Norsk Informatikkonferanse, 2016

Information Flow Analysis for Go.

[BibT_eX]

[DOI]

Anna-Katharina Wickert

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Rule-Based Consistency Checking of Railway Infrastructure Designs.

[BibT_eX]

[DOI]

Bjørnar Luteberget

Christian Johansen

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

Meeting Deadlines, Elastically.

[BibT_eX]

[DOI]

Silvia Lizeth Tapia Tarifa

Ingrid Chieh Yu

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

2014

Deadlock checking by data race detection.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

Behaviour Inference for Deadlock Checking.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Orchestration of secure Web Services within an E-government Interoperability Platform.

[BibT_eX]

[DOI]

Proceedings of the XL Latin American Computing Conference, 2014

2013

Reachability analysis of complex planar hybrid systems.

[BibT_eX]

[DOI]

Hallstein Asheim Hansen

Gerardo Schneider

Sci. Comput. Program., 2013

The 18th International Symposium on Fundamentals of Computation Theory.

[BibT_eX]

[DOI]

Olaf Owe

Jan Arne Telle

Inf. Comput., 2013

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting.

[BibT_eX]

[DOI]

Hoang Truong

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

2012

Deadlock checking by a behavioral effect system for lock handling.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Safe locking for multi-threaded Java with exceptions.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Termination detection for active objects.

[BibT_eX]

[DOI]

Immo Grabe

J. Log. Algebraic Methods Program., 2012

A type system for finding upper resource bounds of multi-threaded programs with nested transactions.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Information and Communication Technology 2012, 2012

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Incremental reasoning with lazy behavioral subtyping for multiple inheritance.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

COMBREX: a project to accelerate the functional annotation of prokaryotic genomes.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2011

Design Issues in Concurrent Object-Oriented Languages and Observability.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

Safe Locking for Multi-threaded Java.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Reachability Analysis of Non-linear Planar Autonomous Systems.

[BibT_eX]

[DOI]

Hallstein Asheim Hansen

Gerardo Schneider

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Lazy behavioral subtyping.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.

[BibT_eX]

[DOI]

Olaf Owe

Arild B. Torjusen

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Safe Commits for Transactional Featherweight Java.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

ABS: A Core Language for Abstract Behavioral Specification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

A Bibliography of Willem-Paul de Roever.

[BibT_eX]

[DOI]

Dennis Dams

Ulrich Hannemann

Proceedings of the Concurrency, 2010

2009

Behavioral interface description of an object-oriented language with futures and promises.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

[BibT_eX]

[DOI]

Immo Grabe

Mohammad Mahdi Jaghoori

Bernhard K. Aichernig

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Incremental Reasoning for Multiple Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Executable Interface Specifications for Testing Asynchronous Creol Components.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Heap-abstraction for an object-oriented calculus with thread classes.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2008

Abstract Interface Behavior of Object-Oriented Languages with Monitors.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2008

A Deductive Proof System for Multithreaded Java with Exceptions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Java Test Driver Generation from Object-Oriented Interaction Traces.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Integration of relational and hierarchical network information for protein function prediction.

[BibT_eX]

[DOI]

BMC Bioinform., 2008

Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

2007

Components, objects, and contracts.

[BibT_eX]

[DOI]

Olaf Owe

Gerardo Schneider

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

2006

Bounded Model Checking with Parametric Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006

Memory-aware Bounded Model Checking for Linear Hybrid Systems.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

2005

An assertion-based proof system for multithreaded Java.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Inductive Proof Outlines for Exceptions in Multithreaded Java.

[BibT_eX]

[DOI]

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Optimizing Bounded Model Checking for Linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

2004

Characteristic mu-Calculus Formulas for Underspecified Transition Systems.

[BibT_eX]

[DOI]

Harald Fecher

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

A Fully Abstract Semantics for UML Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2004

Observability, Connectivity, and Replay in a Sequential Calculus of Classes.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2004

2003

Inductive Proof Outlines for Monitors in Java.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Synchronous Closing and Flow Analysis for Model Checking Timed Systems.

[BibT_eX]

[DOI]

Natalia Ioustinova

Proceedings of the Formal Methods for Components and Objects, 2003

A Compositional Operational Semantics for Java<sub>MT</sub>.

[BibT_eX]

[DOI]

Proceedings of the Verification: Theory and Practice, 2003

2002

Iterating transducers.

[BibT_eX]

[DOI]

Dennis Dams

Yassine Lakhnech

J. Log. Algebraic Methods Program., 2002

Automated modelling of signal transduction networks.

[BibT_eX]

[DOI]

BMC Bioinform., 2002

Synchronous Closing of Timed SDL Systems for Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2002

Verification for Java's Reentrant Multithreading Concept.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2002

A Tool-Supported Proof System for Multithreaded Java.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

Closing Open SDL-Systems for Model Checking with DTSpin.

[BibT_eX]

[DOI]

Natalia Ioustinova

Proceedings of the FME 2002: Formal Methods, 2002

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.

[BibT_eX]

[DOI]

Natalia Ioustinova

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Verifying Large SDL-Specifications Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the SDL 2001: Meeting UML, 2001

Embedding Chaos.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 8th International Symposium, 2001

Verification of Hybrid Systems: Formalization and Proof Rules in PVS.

[BibT_eX]

[DOI]

Erika Ábrahám-Mumm

Ulrich Hannemann

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Assertion-Based Analysis of Hybrid Systems with PVS.

[BibT_eX]

[DOI]

Erika Ábrahám-Mumm

Ulrich Hannemann

Proceedings of the Computer Aided Systems Theory, 2001

2000

Verification of a wireless ATM medium-access protocol.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Polarized higher-order subtyping.

[BibT_eX]

[DOI]

PhD thesis, 1999

Divide, Abstract, and Model-Check.

[BibT_eX]

[DOI]

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1998

Inheritance of Proofs.

[BibT_eX]

Martin Hofmann

Wolfgang Naraschewski

Terry Stroup

Theory Pract. Object Syst., 1998

1997

Higher-Order Subtyping.

[BibT_eX]

[DOI]

Benjamin C. Pierce

Theor. Comput. Sci., 1997

1995

Correct Transformational Design of Concurrent Search Structures.

[BibT_eX]

Uwe Nestmann