Industry academia collaboration: An experience report at a small university (2009)
Krishnan, Padmanabhan, Kelvin, Ross, Pari-Salas, Percy
This paper is a report on how sustainable and fruitful cooperation was achieved between a small university department and an industry partner. It outlines the range and type of activities that need...
Burzyantseva, Olga, Dharmasena, Sanath, Jayawardena, Suriya, Rupanagudi, Vijay A, Krishnan, Padmanabhan
Abstract Introduction Lung cancer is the leading cause of death among the cancers seen in the United States. Hypercalcemia and leukocytosis are two common paraneoplastic syndromes associated with...
ORE: A framework to measure organizational risk during information systems evolution (2009)
Agrawal, Aditya, Finnie, Gavin, Krishnan, Padmanabhan
Information systems (IS) change initiatives often represent the single largest investment (and therefore risk) for large corporations, yet there exist few management frameworks in the literature to...
A taxonomy of e-health standards to assist system developers (2009)
Chávez, Emma, Krishnan, Padmanabhan, Finnie, Gavin
Building e-health systems requires a good understanding of the range and characteristics of many relevant standards. These standards play an important role in the promotion of coordination amongst...
Model-based testing and the UML testing profile (2009)
Krishnan, Padmanabhan, Pari-Salas, Percy
The UML Testing Profile (U2TP) provides a means of using UML for test case specification. In this work we show how the concepts of model-based testing can be mapped to U2TP at the conceptual level....
Automated software testing of asynchronous systems (2009)
Pari Salas, Percy, Krishnan, Padmanabhan
Test automation faces challenges when applied to the testing of asynchronous systems. Automated testing tools need to deal with local non-determinism and, contrarily to most theoretical work,...
ORE: A framework to measure organizational risk during information systems evolution (2009)
Agrawal, Aditya, Finnie, Gavin, Krishnan, Padmanabhan
Information systems (IS) change initiatives often represent the single largest investment (and therefore risk) for large corporations, yet there exist few management frameworks in the literature to...
ORE: A framework to measure organizational risk during information systems evolution (2009)
Agrawal, Aditya, Finnie, Gavin, Krishnan, Padmanabhan
Information systems (IS) change initiatives often represent the single largest investment (and therefore risk) for large corporations, yet there exist few management frameworks in the literature to...
A taxonomy of e-health standards to assist system developers (2009)
Chávez, Emma, Krishnan, Padmanabhan, Finnie, Gavin
Building e-health systems requires a good understanding of the range and characteristics of many relevant standards. These standards play an important role in the promotion of coordination amongst...
Model-based testing and the UML testing profile (2009)
Krishnan, Padmanabhan, Pari-Salas, Percy
The UML Testing Profile (U2TP) provides a means of using UML for test case specification. In this work we show how the concepts of model-based testing can be mapped to U2TP at the conceptual level....
Industry academia collaboration: An experience report at a small university (2009)
Krishnan, Padmanabhan, Kelvin, Ross, Pari-Salas, Percy
This paper is a report on how sustainable and fruitful cooperation was achieved between a small university department and an industry partner. It outlines the range and type of activities that need...
Automated software testing of asynchronous systems (2009)
Pari Salas, Percy, Krishnan, Padmanabhan
Test automation faces challenges when applied to the testing of asynchronous systems. Automated testing tools need to deal with local non-determinism and, contrarily to most theoretical work,...
Industry academia collaboration: An experience report at a small university (2009)
Krishnan, Padmanabhan, Kelvin, Ross, Pari-Salas, Percy
This paper is a report on how sustainable and fruitful cooperation was achieved between a small university department and an industry partner. It outlines the range and type of activities that need...
A taxonomy of e-health standards to assist system developers (2009)
Chavez, Emma, Krishnan, Padmanabhan, Finnie, Gavin
Building e-health systems requires a good understanding of the range and characteristics of many relevant standards. These standards play an important role in the promotion of coordination amongst...
Model-based testing and the UML testing profile (2009)
Krishnan, Padmanabhan, Pari-Salas, Percy
The UML Testing Profile (U2TP) provides a means of using UML for test case specification. In this work we show how the concepts of model-based testing can be mapped to U2TP at the conceptual level....
ORE: A framework to measure organizational risk during information systems evolution (2009)
Agrawal, Aditya, Finnie, Gavin, Krishnan, Padmanabhan
Information systems (IS) change initiatives often represent the single largest investment (and therefore risk) for large corporations, yet there exist few management frameworks in the literature to...
Testing privacy policies using models (2008)
Pari-Salas, Percy A., Krishnan, Padmanabhan
Privacy policies are usually expressed at a high level using languages such as P3P, EPAL, which are independent of applications. To check if a system satisfies a privacy policy requires to link it...
Issues Related to Distributed Processing of Picture Languages (2008)
Abstract: In this article we show that the parallel processing of pictures requires extending the notion of pictures with blank spaces. For the purposes of this article, parallel processing is...
Decomposition of Timed Automata (2008)
Kahn Mason, Padmanabhan Krishnan
Abstract: In this paper we extend the notion of homomorphisms and decomposition to timed automata. This is based on the classical Hartmanis-Stearns decomposition results for finite state automata. As...
An Asynchronous Calculus Based on the Absence of Actions (2008)
Abstract: In this article we present a process algebra in which the behaviour in the absence of certain actions can be speci ed. Processes of the form [: S, P] represent a behaviour which is speci ed...
A Framework for Analyses of Use Case Descriptions (2008)
In this article a lightweight formalism based on events is introduced for use case descriptions. The behaviour of use cases is described precisely and used to check for equivalence of use cases. The...
Secure Document Circulation: An Architecture for e-Health (2008)
Shane Bracher; Bond University, Padmanabhan Krishnan; Bond University
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and security and privacy - and is...
Implementing secure document circulation: A prototype (2008)
Bracher, Shane, Krishnan, Padmanabhan
Interoperable e-business applications are essential for increasing efficiency in the digital economy. We present an infrastructure based on our secure document circulation architecture model,...
Recipient Driven Correctness Framework for Mobile Code (2008)
Padmanabhan Krishnan, James Larkin, Phil Stocks
This work develops a framework derived from the proof carrying code approach to ensure that code received and executed by an agent does not violate the requirements of the recipient. Unlike the proof...
GUILE: Graphical User Interface for Linguistic Experiments (2008)
Padmanabhan Krishnan, Bruce Mckenzie, Stephen Hunt
In this paper we explain a graphical user interface for de ning semantic descriptions of programming languages. Our tool is implemented using SUIT and permits the development of action descriptions...
Analysis of Source Code: A Case Study (2008)
Danita Hartley, Padmanabhan Krishnan
This paper summarises our experience in using model checking technology to understand concurrent programs. We use Verisoft to understand various aspects of a firewall tool kit. We instrument three...
Secure document circulation: An architecture for e-health (2008)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and security and privacy - and is...
Testing privacy policies using models (2008)
Pari-Salas, Percy A., Krishnan, Padmanabhan
Privacy policies are usually expressed at a high level using languages such as P3P, EPAL, which are independent of applications. To check if a system satisfies a privacy policy requires to link it...
Implementing secure document circulation: A prototype (2008)
Bracher, Shane, Krishnan, Padmanabhan
Interoperable e-business applications are essential for increasing efficiency in the digital economy. We present an infrastructure based on our secure document circulation architecture model,...
Secure document circulation: An architecture for e-health (2008)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and security and privacy - and is...
Testing privacy policies using models (2008)
Pari-Salas, Percy A., Krishnan, Padmanabhan
Privacy policies are usually expressed at a high level using languages such as P3P, EPAL, which are independent of applications. To check if a system satisfies a privacy policy requires to link it...
Implementing secure document circulation: A prototype (2008)
Bracher, Shane, Krishnan, Padmanabhan
Interoperable e-business applications are essential for increasing efficiency in the digital economy. We present an infrastructure based on our secure document circulation architecture model,...
Secure document circulation: An architecture for e-health (2008)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and security and privacy - and is...
Secure document circulation: An architecture for e-health (2008)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and security and privacy - and is...
Implementing secure document circulation: A prototype (2008)
Bracher, Shane, Krishnan, Padmanabhan
Interoperable e-business applications are essential for increasing efficiency in the digital economy. We present an infrastructure based on our secure document circulation architecture model,...
Testing privacy policies using models (2008)
Pari-Salas, Percy A., Krishnan, Padmanabhan
Privacy policies are usually expressed at a high level using languages such as P3P, EPAL, which are independent of applications. To check if a system satisfies a privacy policy requires to link it...
Agrawal, Aditya, Finnie, Gavin, Krishnan, Padmanabhan
Enterprise Resource Planning systems evolution initiatives often represent the single largest investment (and therefore risk) for distribution corporations yet there exist few management frameworks...
Deriving Distributed Processes From Concurrent Processes 1 (2007)
In this paper we present a notion of refinement for process algebras motivated by converting an abstract specification into a concrete implementation. We start with CCS specifications and convert...
Automatic Synthesis of Schedulers in Timed Systems 1 Abstract (2007)
In this article we present a synthesis technique for generating schedulers for real-time systems. The aim of the scheduler is to ensure (via restricting the general behaviour) that the real-time...
A PROCESS ALGEBRAIC APPROACH TO TIME GRANULARITY SEMANTICS (2007)
In this paper we develop a theory for timed systems which relate to time granularity. We use the well known equivalence of bisimulation to study the effect of changing granularity. We identify...
In this article, we discuss the effect of architectures on behaviours and the notions of equivalence for CCS terms. Two types of architectures are considered viz., shared memory systems and...
A Process Algebraic View of Linear Logic (2007)
Padmanabhan Krishnan, Jane Hopkins
Abstract. In this paper we present a process algebra where the combinators are borrowed from linear logic. The principal idea is to present a direct operational semantics for O. The approach...
Hybrid Event Structures (2007)
We describe an event structure model in which issues related to continuous systems can be studied. The event structure model for hybrid system consists of a continuous component and a discrete...
A CALCULUS BASED ON ABSENCE OF ACTIONS 1 (2007)
In this article we present a process algebra where the behaviour can be speci ed when certain actions cannot be exhibited. This is useful in specifying time outs, interrupts etc. We present a few...
A Semantic Characterisation for Faults in Replicated Systems 1 (2007)
We describe a process algebraic approach to the semantics of replicated systems. We extend a subset of CCS with a replication operator to model systems with replicated synchronous majority voting....
David J Bryant, Padmanabhan Krishnan, Padmanabhan Krishnan, David J. Bryant
University of Canterbury,
Pragmatics of the Action Semantics Approach: Fault Tolerance As An Example 1 (2007)
In this paper we show how the action semantics framework can be used to describe a particular implementation of fault-tolerant systems. We also de ne a notion of simulation which can be the basis for...
Tolerant Systems, Springer-Verlag, Lecture Notes in Computer Science. Citations (2007)
Padmanabhan Krishnan, Peter D. Mosses
A principal requirement of a safety critical system is that it should be able to cope with errors and de ciencies in software and hardware. There are two main approaches in handling this viz.,...
Specification, Verification and Synthesis: An Example (2007)
In this article we present various approaches to specifying and verifying a simple system. The first approach is to specify the system in a state based language and express the requirements in an...
Protocol Specification and Verification of Security Properties: A General Approach (2007)
Padmanabhan Krishnan, André Renaud
In this article we present a language in which a variety of protocols can be expressed. The language also supports the type of security analysis that needs to be performed. We show how this can be...
Decomposition of Timed Automata (2007)
Kahn Mason Padmanabhan, Padmanabhan Krishnan
In this paper we extend the notion of homomorphisms and decomposition to timed automata. This is based on the classical Hartmanis-Stearns decomposition results for finite state automata. As in the...
Model-Checking and its Relevance (2007)
This article is like a tutorial. It introduces an automatic technique to verify programs called model checking. There are various ways this task can be performed. We select a point in the spectrum...
Distributed Timed Automata (2007)
In this article we discuss (i) a model suitable for describing a distributed real-time system and (ii) a notion of implementation for such systems on a uniprocessor system. The first point is...
Issues Related to Distributed Processing of Picture Languages (2007)
In this article we show that the parallel processing of pictures requires extending the notion of pictures with blank spaces. For the purposes of this article, parallel processing is defined in terms...
Graphical Tool For SC Automata (2007)
Honours Project Dr, Dr. Padmanabhan Krishnan, I Luke Haslett
SC automata are a variation of timed automata which are closed under com- plementation. The major difference is SC automata have both history clocks which represent the time since some event occurred...
Timed Automata and Embedded Systems (2007)
In this article we present three principal methods for describing real-time systems. They range from very general techniques which are implemented in software to restricted models which can be...
Analysis of Source Code: A Case Study (2007)
Danita Hartley, Padmanabhan Krishnan
This paper summarises our experience in using model checking technology to understand concurrent programs. We use Verisoft to understand various aspects of a firewall tool kit. The main conclusion is...
Software Technology Specification for Testing (2007)
Chris George, Padmanabhan Krishnan
Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and the...
Agrawal, Aditya, Finnie, Gavin, Krishnan, Padmanabhan
Enterprise Resource Planning systems evolution initiatives often represent the single largest investment (and therefore risk) for distribution corporations yet there exist few management frameworks...
Agrawal, Aditya, Finnie, Gavin, Krishnan, Padmanabhan
Enterprise Resource Planning systems evolution initiatives often represent the single largest investment (and therefore risk) for distribution corporations yet there exist few management frameworks...
Agrawal, Aditya, Finnie, Gavin, Krishnan, Padmanabhan
Enterprise Resource Planning systems evolution initiatives often represent the single largest investment (and therefore risk) for distribution corporations yet there exist few management frameworks...
Secure Document Circulation: An Architecture for e-Health (2006)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and secure and privacy - and is...
Secure Document Circulation: An Architecture for e-Health (2006)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and secure and privacy - and is...
An Approach to Provisioning E-Commerce Applications with Commercial Components (2006)
Wang, Lei, Krishnan, Padmanabhan
Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used during the development. The reason is that existing approaches to...
An Approach to Provisioning E-Commerce Applications with Commercial Components (2006)
Wang, Lei, Krishnan, Padmanabhan
Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used during the development. The reason is that existing approaches to...
Verifying BPEL Workflows Under Authorisation Constraints (2006)
Xiangpeng, Zhao, Cerone, Antonio, Krishnan, Padmanabhan
Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on formal modelling and...
Verifying BPEL Workflows Under Authorisation Constraints (2006)
Xiangpeng, Zhao, Cerone, Antonio, Krishnan, Padmanabhan
Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on formal modelling and...
A Framework for Checking Behavioral Compatibility for Component Selection (2006)
Wang, Lei, Krishnan, Padmanabhan
Component selection and composition are the main is- sues inComponent-Based Development (CBD). Existing approaches suer from the problem that the components retrieved usually do not exactly t with...
A Framework for Checking Behavioral Compatibility for Component Selection (2006)
Wang, Lei, Krishnan, Padmanabhan
Component selection and composition are the main is-sues inComponent-Based Development (CBD). Existingapproaches suer from the problem that the componentsretrieved usually do not exactly t with other...
Secure Document Circulation: An Architecture for e-Health (2006)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and secure and privacy - and is...
An Approach to Provisioning E-Commerce Applications with Commercial Components (2006)
Wang, Lei, Krishnan, Padmanabhan
Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used during the development. The reason is that existing approaches to...
Verifying BPEL Workflows Under Authorisation Constraints (2006)
Xiangpeng, Zhao, Cerone, Antonio, Krishnan, Padmanabhan
Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on formal modelling and...
A Framework for Checking Behavioral Compatibility for Component Selection (2006)
Wang, Lei, Krishnan, Padmanabhan
Component selection and composition are the main is- sues inComponent-Based Development (CBD). Existing approaches suer from the problem that the components retrieved usually do not exactly t with...
Secure Document Circulation: An Architecture for e-Health (2006)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and secure and privacy - and is...
An Approach to Provisioning E-Commerce Applications with Commercial Components (2006)
Wang, Lei, Krishnan, Padmanabhan
Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used during the development. The reason is that existing approaches to...
Verifying BPEL Workflows Under Authorisation Constraints (2006)
Xiangpeng, Zhao, Cerone, Antonio, Krishnan, Padmanabhan
Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on formal modelling and...
A Framework for Checking Behavioral Compatibility for Component Selection (2006)
Wang, Lei, Krishnan, Padmanabhan
Component selection and composition are the main is- sues inComponent-Based Development (CBD). Existing approaches suer from the problem that the components retrieved usually do not exactly t with...
Verifying BPEL Workflows Under Authorisation Constraints (2006)
Xiangpeng, Zhao, Cerone, Antonio, Krishnan, Padmanabhan
Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on formal modelling and...
Secure Document Circulation: An Architecture for e-Health (2006)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and secure and privacy - and is...
An Approach to Provisioning E-Commerce Applications with Commercial Components (2006)
Wang, Lei, Krishnan, Padmanabhan
Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used during the development. The reason is that existing approaches to...
A Framework for Checking Behavioral Compatibility for Component Selection (2006)
Wang, Lei, Krishnan, Padmanabhan
Component selection and composition are the main is- sues inComponent-Based Development (CBD). Existing approaches suer from the problem that the components retrieved usually do not exactly t with...
Secure Document Circulation: An Architecture for e-Health (2006)
Bracher, Shane, Krishnan, Padmanabhan
We present an architecture for the secure circulation of electronic medical records. The architecture considers two issues prevalent in e-health - inter-operability and secure and privacy - and is...
Verifying BPEL Workflows Under Authorisation Constraints (2006)
Xiangpeng, Zhao, Cerone, Antonio, Krishnan, Padmanabhan
Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on formal modelling and...
An Approach to Provisioning E-Commerce Applications with Commercial Components (2006)
Wang, Lei, Krishnan, Padmanabhan
Component-based development is a trend towards building e-commerce applications. However, commercial components are rarely used during the development. The reason is that existing approaches to...
A Framework for Checking Behavioral Compatibility for Component Selection (2006)
Wang, Lei, Krishnan, Padmanabhan
Component selection and composition are the main is- sues inComponent-Based Development (CBD). Existing approaches suer from the problem that the components retrieved usually do not exactly t with...
Uniform Descriptions for Model Based Testing (2004)
In this paper a framework which uses linear time temporal logic and model checking techniques to describe the semantics of a variety of test specifications is developed. These include a semantics for...
Uniform Descriptions for Model Based Testing (2004)
In this paper a framework which uses linear time temporal logic and model checking techniques to describe the semantics of a variety of test specifications is developed. These include a semantics for...
Uniform Descriptions for Model Based Testing (2004)
In this paper a framework which uses linear time temporal logic and model checking techniques to describe the semantics of a variety of test specifications is developed. These include a semantics for...
Uniform Descriptions for Model Based Testing (2004)
In this paper a framework which uses linear time temporal logic and model checking techniques to describe the semantics of a variety of test specifications is developed. These include a semantics for...
Uniform Descriptions for Model Based Testing (2004)
In this paper a framework which uses linear time temporal logic and model checking techniques to describe the semantics of a variety of test specifications is developed. These include a semantics for...
Uniform Descriptions for Model Based Testing (2004)
In this paper a framework which uses linear time temporal logic and model checking techniques to describe the semantics of a variety of test specifications is developed. These include a semantics for...
Providing Assistance for Proofs in the Teaching of Theory of Computation (2002)
In this article we present a technique which helps students in understanding proofs in the context of automata theory. The main conclusion is that student understanding can be improved by using a...
Providing Assistance for Proofs in the Teaching of Theory of Computation (2002)
In this article we present a technique which helps students in understanding proofs in the context of automata theory. The main conclusion is that student understanding can be improved by using a...
Using model checking to test a firewall : A case study. (2002)
Krishnan, Padmanabhan, Hartley, Danita
This paper summarises our experience in using model checking technology to test concurrent programs. We use the tool Verisoft to understand various aspects of a firewall tool kit by instrumenting...
Using model checking to test a firewall : A case study. (2002)
Krishnan, Padmanabhan, Hartley, Danita
This paper summarises our experience in using model checking technology to test concurrent programs. We use the tool Verisoft to understand various aspects of a firewall tool kit by instrumenting...
Providing Assistance for Proofs in the Teaching of Theory of Computation (2002)
In this article we present a technique which helps students in understanding proofs in the context of automata theory. The main conclusion is that student understanding can be improved by using a...
Using model checking to test a firewall : A case study. (2002)
Krishnan, Padmanabhan, Hartley, Danita
This paper summarises our experience in using model checking technology to test concurrent programs. We use the tool Verisoft to understand various aspects of a firewall tool kit by instrumenting...
Providing Assistance for Proofs in the Teaching of Theory of Computation (2002)
In this article we present a technique which helps students in understanding proofs in the context of automata theory. The main conclusion is that student understanding can be improved by using a...
Using model checking to test a firewall : A case study. (2002)
Krishnan, Padmanabhan, Hartley, Danita
This paper summarises our experience in using model checking technology to test concurrent programs. We use the tool Verisoft to understand various aspects of a firewall tool kit by instrumenting...
Using Model Checking to Test a Firewall: A Case Study (2002)
Padmanabhan Krishnan, Danita Hartley
This paper summarises our experience in using model checking technology to test concurrent programs. We use the tool Verisoft to understand various aspects of a firewall tool kit by instrumenting...
Using model checking to test a firewall : A case study. (2002)
Krishnan, Padmanabhan, Hartley, Danita
This paper summarises our experience in using model checking technology to test concurrent programs. We use the tool Verisoft to understand various aspects of a firewall tool kit by instrumenting...
Providing Assistance for Proofs in the Teaching of Theory of Computation (2002)
In this article we present a technique which helps students in understanding proofs in the context of automata theory. The main conclusion is that student understanding can be improved by using a...
Using model checking to test a firewall : A case study. (2002)
Krishnan, Padmanabhan, Hartley, Danita
This paper summarises our experience in using model checking technology to test concurrent programs. We use the tool Verisoft to understand various aspects of a firewall tool kit by instrumenting...
Providing Assistance for Proofs in the Teaching of Theory of Computation (2002)
In this article we present a technique which helps students in understanding proofs in the context of automata theory. The main conclusion is that student understanding can be improved by using a...
Towards a Formal Framework for JavaBeans and Enterprise JavaBeans (2001)
Javabeans Tm, Enterprise Javabeans Tm, Kwang Wu Lee, Lee Dr, Padmanabhan Krishnan
This project aims to provide a framework for the formal specification of JavaBeans and Enterprise JavaBeans (EJB), Sun Microsystems' component technology.
PLC-Automaton Composition (1999)
Andre Renaud, Dr. Padmanabhan Krishnan
Based on a discussion of timed automata and a subset of these called PLC automata, described by H. Dierks, the problem of the composition of PLC automata is presented. Two methods for performing this...
Main memory DBMS in SIMD parallel machines with RAID based I/O /--by Padmanabhan Krishnan. (1997)
Thesis (M.S.)--Kent State University, 1997.
A Case Study in Specifying and Testing Architectural Features (1994)
This paper studies the speci cation and testing of two main architectural features. We consider restricted forms of instruction pipelining and parallel memory models present in the SPARC speci...
Pre-Orders for Fault-Tolerance (1993)
We describe a process algebraic approach to the semantics of robust systems. We extend a subset of CCS [14] with multi-set pre xes to model systems with replicated synchronous majority voting. Based...
Thesis (M. S.)--Kent State University, 1992.
A Semantics for Multiprocessor Systems (1992)
Lecture Notes in Computer Science. Citations should refer to the proceedings. In this paper we present amultiprocessor semantics for CCS [Mil80]. An operational semantics for processes under a nite...
A Process Algebraic Approach to Fault-Tolerance (1992)
Padmanabhan Krishnan, Bruce Mckenzie
A process algebraic approach to the speci cation of fault tolerant systems is described. As replication is inevitable for fault tolerance, we extend the process algebra of Aceto and Hennessy with a...
A DISTRIBUTED REAL TIME LANGUAGE AND ITS OPERATIONAL SEMANTICS. (1989)
An important issue in real-time computing is the development of a usable and yet abstract computational model which enables one to specify, analyze and implement distributed real-time systems. This...
Hypercalcemia-leukocytosis syndrome in a patient with cavitating squamous cell carcinoma of the lung
Burzyantseva, Olga, Dharmasena, Sanath, Jayawardena, Suriya, Rupanagudi, Vijay A, Krishnan, Padmanabhan
A Semantic Characterisation for Faults in Replicated Systems
We describe a process algebraic approach to the semantics of replicated systems. We extend a subset of CCS with a replication operator to model systems with replicated synchronous majority voting....