Searching for authors named "Padmanabhan Krishnan" – sorted by Relevance.
-
Automatic Synthesis of Schedulers in Timed Systems
- Automatic Synthesis of Schedulers in Timed Systems 1 Abstract Padmanabhan Krishnan Department
- Add To MetaCart
-
Independence in Architectural Descriptions
- was visiting the AN1 group at Siemens Research, Munich, Germany. Padmanabhan Krishnan Department of Computer
- Add To MetaCart
-
Distributed Timed Automata
- Abstract Distributed Timed Automata Padmanabhan Krishnan Department of Computer Science University
- Add To MetaCart
-
A Case Study in Specifying and Testing Architectural Features
- A Case Study in Specifying and Testing Architectural Features Padmanabhan Krishnan Department
- Cited by 1 (1 self) – Add To MetaCart
-
A Semantics for Multiprocessor Systems
- A Semantics for Multiprocessor Systems Padmanabhan Krishnan Department of Computer Science
- Cited by 2 (1 self) – Add To MetaCart
-
Pre-Orders for Fault Tolerance
- Pre-Orders for Fault Tolerance Padmanabhan Krishnan 1 Technical Report COSC 06/92 A reformatted
- Cited by 1 (1 self) – Add To MetaCart
-
Using Model Checking to Test a Firewall: A Case Study
- Using Model Checking to Test a Firewall : A Case Study Padmanabhan Krishnan School of IT, Bond
- Cited by 2 (0 self) – Add To MetaCart
-
A Process Algebraic Approach To Fault-Tolerance
- A PROCESS ALGEBRAIC APPROACH TO FAULT-TOLERANCE PADMANABHAN KRISHNAN and BRUCE McKENZIE Department
- Cited by 1 (1 self) – Add To MetaCart
-
A Process Algebraic Approach To Time Granularity Semantics
- A PROCESS ALGEBRAIC APPROACH TO TIME GRANULARITY SEMANTICS PADMANABHAN KRISHNAN Department
- Add To MetaCart
-
A DiGraph Model for Extended Event Structures
- A DiGraph Model for Extended Event Structures Padmanabhan Krishnan David J Bryant Technical Report
- Add To MetaCart

