We study a logic adapted for the purpose of specifying component based systems with support for run time reconfiguration. In particular, we analyse some institutional properties of this logic, related to compositional reasoning in specifications. The logic is an adaptation of the Manna-Pnueli logic, a first-order temporal logic originally proposed to describe reactive systems. We present our va...

SUGIISHI, Tsuyuka IMS Fellow MORITA, Yuki Post-Doctoral Fellow KUMAR, Selva Post-Doctoral Fellow PANDIT, Palash Post-Doctoral Fellow MAITY, Prasenjit Post-Doctoral Fellow DHITAL, Raghu Nath Post-Doctoral Fellow KAMONSATIKUL, Choavarit Visiting Scientist JINASAN, Atchaleeya Visiting Scientist TSAI, I-Chang Visiting Scientist MANNA, Sudipta Kumar Visiting Scientist PONGPIPATT, Paweena Visiting Sc...

1 Phenoconversion of CYP2C9 in epilepsy limits the predictive value of 2 CYP2C9 genotype in optimizing valproate therapy 3 4 Katalin Tóth*, Tamás Bűdi*, Ádám Kiss, Manna Temesvári, Edit Háfra, Andrea Nagy, 5 Zsuzsa Szever, Katalin Monostory 6 7 1 Research Centre for Natural Sciences, Hungarian Academy of Sciences 8 Magyar Tudósok 2, H-1117 Budapest, Hungary 9 2 2 Department of Pediatrics, Semme...

The hierarchy of properties as overviewed by Manna and Pnueli 23] relates language, topology, !-automata, and linear temporal logic classiications of properties. We provide new characterisations of this hierarchy in terms of automata with B uchi, coB uchi, and Streett acceptance condition and in terms of LTL i and LTL i hierarchies. Afterwards, we analyse the complexity of the model checking pr...

A river network is a typical completely open system formed by interconnected river channels. The interactions between the imports of a river (water and sediment) and the channel will cause the change of the channel patterns. This is actually a feedback between the erosion and the sedimentation states of the channel via an adjustment of the sedimentcarrying capability of the stream. This feedbac...

Work on theorem-proving-based automatic program synthesis (see Lee, e t ai.,1 for example) has been neglected iately. In their 1971 paper, Manna and Waldinger8 covered one of the main reasons why-the difficulty of synthesizing program loops within the current state of the art of automatic theorem-proving.· However, there is a great deal of continuing work in theorem-proving, and it is important...