Ursula Goltz

Inf. Comput., 2022

2021

Abstract processes and conflicts in place/transition systems.

[BibT_eX]

[DOI]

Inf. Comput., 2021

2020

Synchronous and asynchronous communication(s) between three parties.

[BibT_eX]

[DOI]

Acta Informatica, 2020

2019

Stronger Validity Criteria for Encoding Synchrony.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2016

Synchrony versus causality in distributed systems.

[BibT_eX]

[DOI]

Kirstin Peters

Uwe Nestmann

Math. Struct. Comput. Sci., 2016

2015

Design for future: managed software evolution.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2015

Special issue on "Combining Compositionality and Concurrency": part 2.

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Acta Informatica, 2015

Special issue on "Combining Compositionality and Concurrency": part 1.

[BibT_eX]

[DOI]

Ernst-Rüdiger Olderog

Acta Informatica, 2015

2014

Delta-oriented model-based integration testing of large-scale systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.

[BibT_eX]

[DOI]

Autom., 2014

Staged configuration of dynamic software product lines with complex binding time constraints.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

On the Step Branching Time Closure of Free-Choice Petri Nets.

[BibT_eX]

[DOI]

Stephan Mennicke

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

Dynamic distribution of robot control components under hard realtime constraints - Modeling, experimental results and practical considerations.

[BibT_eX]

[DOI]

J. Syst. Archit., 2013

On Characterising Distributability.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

Workshop on Managed Software Evolution.

[BibT_eX]

[DOI]

Lukas Märtin

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Design for Future: Das DFG-Schwerpunktprogramm für langlebige Softwaresysteme.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

On Distributability in Process Calculi.

[BibT_eX]

[DOI]

Kirstin Peters

Uwe Nestmann

Proceedings of the Programming Languages and Systems, 2013

2012

Model-based pairwise testing for feature interaction coverage in software product line engineering.

[BibT_eX]

[DOI]

Softw. Qual. J., 2012

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study.

[BibT_eX]

[DOI]

Bahareh Abolhasanzadeh

J. Syst. Softw., 2012

On Distributability of Petri Nets

[BibT_eX]

[DOI]

CoRR, 2012

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2012

Delta-oriented model-based SPL regression testing.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

On Distributability of Petri Nets - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2012

IT ecosystems: A new paradigm for engineering complex adaptive software systems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

Towards integrated rule-driven software development for IT ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

Institut für Programmierung und Reaktive Systeme.

[BibT_eX]

[DOI]

Klaus Alber

Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012

2011

Self-management within a Software Architecture for Parallel Kinematic Machines.

[BibT_eX]

[DOI]

Jens Steiner

Jochen Maaß

Proceedings of the Robotic Systems for Handling and Assembly, 2011

Model Based Quality Assurance for a Robotic Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the Robotic Systems for Handling and Assembly, 2011

Abstract processes of place/transition systems.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2011

Hybrid Automata as a Modelling Approach in the Behavioural Sciences.

[BibT_eX]

[DOI]

Matthias Buntins

Frank Eggert

Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Synchrony vs. Causality in Asynchronous Petri Nets

[BibT_eX]

[DOI]

Kirstin Peters

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

UML-Based Analysis of Power Consumption for Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Matthias Hagner

Adina Aniculaesei

Proceedings of the IEEE 10th International Conference on Trust, 2011

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Narges Khakpour

Marjan Sirjani

Proceedings of the Formal Methods and Software Engineering, 2011

On Causal Semantics of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Evolving Adaptable Systems: Potential and Challenges.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2010

Feature Interaction Aware Test Case Generation for Embedded Control Systems.

[BibT_eX]

[DOI]

Malte Lochau

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

Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation.

[BibT_eX]

[DOI]

Matthias Hagner

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

2009

Design for Future - Legacy-Probleme von morgen vermeidbar?

[BibT_eX]

[DOI]

Inform. Spektrum, 2009

2008

Symmetric and Asymmetric Asynchronous Interaction.

[BibT_eX]

[DOI]

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

On Synchronous and Asynchronous Interaction in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

2007

Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System.

[BibT_eX]

[DOI]

Jens Steiner

Matthias Hagner

Christopher Robinson-Mallett

J. Comput., 2007

2006

Extended state identification and verification using a model checker.

[BibT_eX]

[DOI]

Peter Liggesmeyer

Tilo Mücke

Christopher Robinson-Mallett

Inf. Softw. Technol., 2006

2005

Generating optimal distinguishing sequences with a model checker.

[BibT_eX]

[DOI]

Peter Liggesmeyer

Tilo Mücke

ACM SIGSOFT Softw. Eng. Notes, 2005

2004

Well-behaved flow event structures for parallel composition and action refinement.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Universal communication architecture for high-dynamic robot systems using QNX.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Control, 2004

2002

Property Dependent Abstraction of Control Structure for Software Verification.

[BibT_eX]

[DOI]

Thomas Firley

Proceedings of the FME 2002: Formal Methods, 2002

2001

Refinement of actions and equivalence notions for concurrent systems.

[BibT_eX]

[DOI]

Acta Informatica, 2001

1999

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

1996

Modelling Causality via Action Dependencies in Branching Time Semantics.

[BibT_eX]

[DOI]

Heike Wehrheim

Inf. Process. Lett., 1996

Comparing Syntactic and Semantic Sction Refinement.

[BibT_eX]

[DOI]

Roberto Gorrieri

Arend Rensink

Inf. Comput., 1996

Causal Testing.

[BibT_eX]

[DOI]

Heike Wehrheim

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994

Finite Petri Nets as Models for Recursive Causal Behaviour.

[BibT_eX]

[DOI]

Arend Rensink

Theor. Comput. Sci., 1994

On Syntactic and Semantic Action Refinement.

[BibT_eX]

[DOI]

Roberto Gorrieri

Arend Rensink

Proceedings of the Theoretical Aspects of Computer Software, 1994

1992

Propositional Temporal Logics and Equivalences.

[BibT_eX]

[DOI]

Ruurd Kuiper

Wojciech Penczek

Proceedings of the CONCUR '92, 1992

Interleaving semantics and action refinement with atomic choice.

[BibT_eX]

[DOI]

Ingo Czaja

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Modelling nondeterministic concurrent processes with event structures.

[BibT_eX]

Rita Loogen

Fundam. Informaticae, 1991

Causality Based Models for the Design of Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

1990

A deadlock-sensitive congruence for action refinement

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1990

Equivalences and refinement

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1990

CCS and Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1989

Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care.

[BibT_eX]

Bull. EATCS, 1989

Refinement of Actions in Causality Based Models.

[BibT_eX]

[DOI]

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988

Über die Darstellung von CCS-Programmen durch Petrinetze.

[BibT_eX]

[DOI]

PhD thesis, 1988

On Representing CCS Programs by Finite Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1986

Synchronic Distance.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

Synchronic structure - a tutorial.

[BibT_eX]

[DOI]

Yuan Chong-Yi

Proceedings of the Advances in Petri Nets 1985, 1985

1984

On the Relationship of CCS and Petri Nets.

[BibT_eX]

[DOI]

Alan Mycroft

Proceedings of the Automata, 1984

CSP-programs with individual tokens.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1984, 1984

1983

The Non-sequential Behavior of Petri Nets

[BibT_eX]

[DOI]

Inf. Control., 1983

Processes of Place/Transition-Nets.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1983

1981

Two Alterative Definitions of Synchronic Distance.

[BibT_eX]

[DOI]

P. S. Thiagarajan

Proceedings of the Application and Theory of Petri Nets, 1981

Weighted Synchronic Distances.

[BibT_eX]

[DOI]