D-Finder
From MaRDI portal
Cited in
(33)- Structural Invariants for the Verification of Systems with Parameterized Architectures
- Behavioural semantics for asynchronous components
- Component-based formal modeling of PLC systems
- Feedback in synchronous relational interfaces
- Model construction and priority synthesis for simple interaction systems
- Computing Parameterized Invariants of Parameterized Petri Nets
- Computing parameterized invariants of parameterized Petri nets
- Algorithms for synthesizing priorities in component-based systems
- CLAN
- SCADE
- SYNTHESIS
- rCOS
- Reo
- Ptolemy
- MIO Workbench
- FDR3
- Cubicle
- Omega
- SOFA 2.0
- PACC starter kit
- DLC
- LNT2LOTOS
- SACO
- XTL
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- Assembly theories for communication-safe component systems
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Compositional Verification for Component-Based Systems and Application
- Rigorous development of component-based systems using component metadata and patterns
- A Theory Agenda for Component-Based Design
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- Checking deadlock-freedom of parametric component-based systems
This page was built for software: D-Finder