We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...