D-Finder
From MaRDI portal
Software:12966
swMATH200MaRDI QIDQ12966FDOQ12966
Author name not available (Why is that?)
Cited In (17)
- Assembly Theories for Communication-Safe Component Systems
- Checking deadlock-freedom of parametric component-based systems
- Algorithms for Synthesizing Priorities in Component-Based Systems
- Computing parameterized invariants of parameterized Petri nets
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- Component-based formal modeling of PLC systems
- Behavioural semantics for asynchronous components
- Rigorous development of component-based systems using component metadata and patterns
- Feedback in Synchronous Relational Interfaces
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- Structural Invariants for the Verification of Systems with Parameterized Architectures
- Compositional Verification for Component-Based Systems and Application
- Model Construction and Priority Synthesis for Simple Interaction Systems
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- Computing Parameterized Invariants of Parameterized Petri Nets
- A Theory Agenda for Component-Based Design
This page was built for software: D-Finder
