My research involves developing models and tools to support architecture-level planning of large software evolutions. Over the past couple of years, we have developed a theoretical framework that we think encapsulates the most important issues in these kinds of evolutions, as well as formal models and tool prototypes within this framework. One important component of our framework involves the f...

We study the expressive power of linear propositional temporal logic interpreted on finite sequences or words. We first give a transparent proof of the fact that a formal language is expressible in this logic if and only if its syntactic semigroup is finite and aperiodic. This gives an effective algorithm to decide whether a given rational language is expressible. Our main result states a simil...

Abstract Embedded real-time systems generate state sequences where time elapses between changes. Ensuring that such adhere to a provided specification of admissible or desired behavior is essential. Formal model-based testing often suitable cost-effective approach. We introduce an extended version the formalism symbolic graphs, which encompasses types as well attributes, for representing states...

Radio frequency identification (RFID) is a crucial component of the Internet Things (IoT), and RFID using elliptic curve Cryptography (ECC) public key cryptosystem authentication approach that tackles problem electronic tag data encryption in systems. The commercialisation large-scale deployment systems has raised number security-related issues suggest need for security protocols. Logic events ...

We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In particular, the 2-sequent approach simpliies the syntax of Light and Elementary Linear Logic.

Deductive planning treats planning as a reasoning process within a formal logic. Several formal logics have been applied in various deductive planning systems, but none is completely satisfactory and widely accepted by planning researchers. Almost all the formal logics applied in deductive planning are proposed for more general purpose than planning. Usually, the more general and the more expre...

Concerned with the problem of reasoning efficiently about change within a formal system, we identify the initiution problem. The solution to it which we offer, called the logic of chronological ignorance, combines temporal logic, nor-monotonic logic, and the modal logic of necessity. We identify a class of theories, called causal theories, which have elegant model-theoretic and complexity prope...