D-Finder
From MaRDI portal
Software:12966
swMATH200MaRDI QIDQ12966FDOQ12966
Author name not available (Why is that?)
Cited In (17)
- Feedback in synchronous relational interfaces
- Checking deadlock-freedom of parametric component-based systems
- Computing parameterized invariants of parameterized Petri nets
- Assembly theories for communication-safe component systems
- 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
- Model construction and priority synthesis for simple interaction systems
- Rigorous development of component-based systems using component metadata and patterns
- 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
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- Algorithms for synthesizing priorities in component-based systems
- Computing Parameterized Invariants of Parameterized Petri Nets
- A Theory Agenda for Component-Based Design
This page was built for software: D-Finder
