This paper presents the encoding of the hybridisation method into the HETS platform.FC
This paper introduces HHL, a hierarchical variant of hybrid logic. First-order correspondence and a ...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em...
Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highl...
This paper presents the encoding of the hybridisation method into the HETS platform.FC
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both...
We present a tool for the specification and verification of reconfigurable systems. The foundation o...
Extended version including all proofsModal logics are successfully used as specification logics for ...
Hybrid logics, which add to the modal description of transition structures the ability to refer to s...
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both ...
"First published online: 12 November 2014"A ‘hybridization’ of a logic, referred to as the base logi...
Adding to the modal description of transition structures the ability to refer to specific states, hy...
The complexity of modern software systems entails the need for reconfiguration mechanisms governing ...
This thesis contributes to the development of hybrid systems. For the particular specification forma...
A ‘hybridisation ’ of a logic, referred to as the base logic, consists of developing the characteris...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em ...
This paper introduces HHL, a hierarchical variant of hybrid logic. First-order correspondence and a ...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em...
Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highl...
This paper presents the encoding of the hybridisation method into the HETS platform.FC
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both...
We present a tool for the specification and verification of reconfigurable systems. The foundation o...
Extended version including all proofsModal logics are successfully used as specification logics for ...
Hybrid logics, which add to the modal description of transition structures the ability to refer to s...
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both ...
"First published online: 12 November 2014"A ‘hybridization’ of a logic, referred to as the base logi...
Adding to the modal description of transition structures the ability to refer to specific states, hy...
The complexity of modern software systems entails the need for reconfiguration mechanisms governing ...
This thesis contributes to the development of hybrid systems. For the particular specification forma...
A ‘hybridisation ’ of a logic, referred to as the base logic, consists of developing the characteris...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em ...
This paper introduces HHL, a hierarchical variant of hybrid logic. First-order correspondence and a ...
This paper shows how to increase the expressivity of concept languages using a strategy called {\em...
Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highl...
DOI
Add to ORKG