|
|
Recent Publications
|
|
|
Ankit Goel, Abhik Roychoudhury and P S Thiagarajan:
Interacting Process Classes.
ACM Transactions on Software Engineering and Methodology, (To Appear).
[Abstract]
[.pdf]
Linh Thi Xuan Phan, Lothar Thiele, Samarjit Chakraborty and P S Thiagarajan:
Composing Functional and State-based Performance Modes for Analyzing Heterogeneous
Real-Time Systems.
In Proc. of the 28th IEEE Real Time Systems Symposium (RTSS 2007),
Tucson, Arizona, USA (2007).
[Abstract]
[.pdf]
Kathy Dang Nguyes, P S Thiagarajan and Weng-Fai Wong:
A UML-based Design Framework for Time-triggered Applications.
In Proc. of the 28th IEEE Real Time Systems Symposium (RTSS 2007),
Tucson, Arizona, USA (2007).
[Abstract]
[.pdf]
Thomas Gazagnaire, Blaise Genest, Loic Helouet, P S Thiagarajan and Shaofa Yang:
Causal Message Sequence Charts.
In Proc. of the 18th International Conference on Concurrency Theory (CONCUR 2007),
Springer Lecture Notes in Computer Science, Vol, 4703, (2007).
[Abstract]
[.pdf]
Geoffrey Koh, Lisa Tucker-Kellog, David Hsu and P S Thiagarajan:
Composing Globally Consistent Pathway Parameter Estimates through Belief Propagation.
In Proc. of the 7th Workshop on Algorithms in Bioinformatics (WABI 2007), Springer Lecture Notes in
Bioinformatics, Vol, 4645, (2007).
[Abstract]
[.pdf]
Geoffrey Koh, Huey Fern Carol Teong, Marie-Veronique Clement, David Hsu and P S Thiagarajan:
A Decompositional Approach to Parameter Estimation in Pathway Modeling:
A Case Study of the Akt and MAPK Pathways and their Crosstalk.
In Proc. of the 14th International Conference on Intelligent Systems
for Molecular Biology (ISMB 2006), Forteliza, Brazil (2006).
[Abstract]
[.pdf]
Ankit Goel, Sun Meng, Abhik Roychoudhury and P S Thiagarajan:
Interacting Process Classes. In Proc. of the 28th International
Conference on Software Engineering (ICSE 2006), Shangai, China, IEEE Press.
[Abstract]
[.pdf]
Manindra Agrawal, Frank Stephan, P. S. Thiagarajan and Shaofa Yang:
Behavioural Approximations for Restricted Linear Differential Hybrid Automata.
In Proc. of the 9th International Workshop on Hybrid Systems:
Computation and Control, LNCS 3927, pages 4-18, Springer, 2006.
Edited by J. P. Hespanha and A. Tiwari.
[Abstract]
[.pdf]
P. Madhusudan, P. S. Thiagarajan and Shaofa Yang:
The MSO Theory of Connectedly Communicating Processes.
In Proc. of the 25th Conference on Foundations of Software Technology
and Theoretical Computer Science, LNCS 3821, pages 201-212, Springer, 2005.
Edited by R. Ramanujam, S. Sen.
[Abstract]
[.pdf]
Manindra Agrawal and P S Thiagarajan:
The Discrete Time Behaviour of Lazy Linear Hybrid Automata.
In Proc. of 8th International HSCC Conference,
Edited by M. Morari and L. Thiele, pp. 55-69. Lecture Notes in
Computer Science, 3414. Springer, 2005. (Paper presented at Hybrid
systems: Computation and Control, 9-11 March 2005, ETH, Zurich, Switzerland.
[Abstract]
[.pdf]
Chakraborty, S, P S Thiagarajan and T X L Phan:
Event Count Automata: A State-based Model for Stream Processing Systems.
In Proc. of the 26th IEEE Real-Time Systems Symposium (RTSS), Florida, Miami, Dec 2005.
[Abstract]
[.pdf]
Nguyen, K D, Z Sun, P S Thiagarajan and W F Wong: Model-Driven SoC
Design: The UML-SystemC Bridge. In UML for SOC Design, edited by G.
Martin and W. Mueller. Springer, October 2005.
J. G. Henriksen, M. Mukund, K. Narayan Kumar, M. Sohoni and P.S. Thiagarajan:
A Theory of Regular MSC Languages. Information and Computation,
Vol. 202(1), pp. 1-38 (2005)
[Abstract]
[.pdf]
Roychoudhury, A, P S Thiagarajan, T.A. Tran and V Zvereva:
Automatic Generation of Protocol Converters from Scenario-based Specifications.
Proc. 25th IEEE International Real-time Systems Symposium (RTSS 2004).
[Abstract] [.pdf]
Nguyen, K.D, Z Sun, P S Thiagarajan and W F Wong:
Model-driven SOC Design via Executable UML to SystemC.
Proc. 25th IEEE International Real-time Systems Symposium (RTSS 2004).
[Abstract] [.pdf]
Krcal, P, L Mokrushin, P S Thiagarajan and W Yi:
Timed vs. Time-Triggered Automata. Proc. of CONCUR'04, LNCS 3170, pp. 340-354, Springer, 2004.
[Abstract] [.pdf]
M. Agrawal and P.S. Thiagarajan:
Lazy Rectangular Hybrid Automata. Proc. of 7th International Workshop on Hybrid Systems:
Computation and Control, Springer lecture Notes in Computer Science 2003.
[Abstract] [.pdf]
M. Mukund, K Narayan Kumar and P.S. Thiagarajan:
Netcharts: Bridging the gap between HMSCs and executable specifications.
Proc. of the 14th International Conference on Concurrency Theory (CONCUR'03),
Springer Lecture Notes in Computer Science 2761, Springer-Verlag, 2003.
[Abstract] [.pdf]
A. Roychoudhury and P.S. Thiagarajan: Communicating Transaction Processes.
Proc. of the 3rd IEEE International Conference on Application of Concurrency in System Design (ACSD'03),
IEEE Press, 2003.
[Abstract] [.pdf]
D. Harel and P.S. Thiagarajan: Message Sequence Charts,
In: UML for Real: Design of Embedded Real-time Systems, Eds.: Luciano Lavagno, Grant Martin
and Bran Selic, Kluwer Academic Publishers, 2003.
[Abstract] [.pdf]
|
|
|