In transition from global to modular temporal reasoning about programs
Logics and models of concurrent systems
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal model for componentware
Foundations of component-based systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Component-Based Design: Towards Guided Composition
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
CONCUR 2005 - Concurrency Theory
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Robustness in Interaction Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Systematic Development of Trustworthy Component Systems
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A benchmark diagnostic model generation system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Information and Software Technology
Formal approach for the development of intelligent industrial control components
International Journal of Computer Applications in Technology
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
The Journal of Supercomputing
| Hi-index | 0.00 |
We build on a framework for modelling and investigating component-based systems that strictly separates the description of behavior of components from the way they interact. We discuss various properties of system behavior as liveness, local progress, local and global deadlock, and robustness. We present a criterion that ensures liveness and can be tested in polynomial time.