dblp.uni-trier.dewww.uni-trier.de

Partha S. Roop Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
36EEPartha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen: Tight WCRT analysis of synchronous C programs. CASES 2009: 205-214
35EERoopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic: Multi-clock Soc design using protocol conversion. DATE 2009: 123-128
34EEAvinash Malik, Zoran A. Salcic, Partha S. Roop: SystemJ compilation using the tandem virtual machine approach. ACM Trans. Design Autom. Electr. Syst. 14(3): (2009)
33EESimon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic: STARPro - A new multithreaded direct execution platform for Esterel. Electr. Notes Theor. Comput. Sci. 238(1): 37-55 (2009)
2008
32EERoopak Sinha, Partha S. Roop, Samik Basu: A Module Checking Based Converter Synthesis Approach for SoCs. VLSI Design 2008: 492-501
31EERoopak Sinha, Partha S. Roop, Samik Basu: A Model Checking Approach to Protocol Conversion. Electr. Notes Theor. Comput. Sci. 203(4): 81-94 (2008)
2007
30EEIvan Radojevic, Zoran A. Salcic, Partha S. Roop: McCharts and Multiclock FSMs for modeling large scale systems. MEMOCODE 2007: 3-12
29EESamik Basu, Partha S. Roop, Roopak Sinha: Local Module Checking for CTL Specifications. Electr. Notes Theor. Comput. Sci. 176(2): 125-141 (2007)
28EEHai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan: Precise specification matching for adaptive reuse in embedded systems. J. Applied Logic 5(2): 333-355 (2007)
2006
27EEFlavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic: The SystemJ approach to system-level design. MEMOCODE 2006: 149-158
26EEZoran A. Salcic, Flavius Gruian, Partha S. Roop, Alif Wahid: A Scheduler Support Unit for Reactive Microprocessors. RTCSA 2006: 368-372
25EEIvan Radojevic, Zoran A. Salcic, Partha S. Roop: Design of Heterogeneous Embedded Systems Using DFCharts Model of Computation. VLSI Design 2006: 461-464
24EEIvan Radojevic, Zoran A. Salcic, Partha S. Roop: Modeling Embedded Systems: From SystemC and Esterel to DFCharts. IEEE Design & Test of Computers 23(5): 348-358 (2006)
23EEZoran A. Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari: HiDRA - A reactive multiprocessor architecture for heterogeneous embedded systems. Microprocessors and Microsystems 30(2): 72-85 (2006)
2005
22EEZoran A. Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari: REMIC: design of a reactive embedded microprocessor core. ASP-DAC 2005: 977-981
21EEIvan Radojevic, Zoran A. Salcic, Partha S. Roop: Modelling Heterogeneous Embedded Systems in DFCarts. FDL 2005: 441-453
20EERobi Malik, Partha S. Roop: Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. IFM 2005: 33-52
19EERoopak Sinha, Partha S. Roop, Bakhadyr Khoussainov: Adaptive Verification using Forced Simulation. Electr. Notes Theor. Comput. Sci. 141(3): 171-197 (2005)
18EEIvan Radojevic, Zoran A. Salcic, Partha S. Roop: A New Model for Heterogeneous Embedded Systems - What Esterel and SyncCharts Need to Become a Suitable Specification Platform. International Journal of Software Engineering and Knowledge Engineering 15(2): 405-410 (2005)
2004
17EEPartha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne: Towards direct execution of esterel programs on reactive processors. EMSOFT 2004: 240-248
16 Zoran A. Salcic, Partha S. Roop: Customizing Processor Cores to Support Reactivity. ERSA 2004: 194-202
15 Zoran A. Salcic, Partha S. Roop, Dong Hui, Ivan Radojevic: HiDRA: A New Architecture for Heterogeneous Embedded Systems. ESA/VLSI 2004: 164-170
14EEZoran A. Salcic, Partha S. Roop, Morteza Biglari-Abhari, Abbas Bigdeli: REFLIX: a processor core with native support for control-dominated embedded applications. Microprocessors and Microsystems 28(1): 13-25 (2004)
2003
13EEPartha S. Roop, Zoran A. Salcic, Morteza Biglari-Abhari, Abbas Bigdeli: A New Reactive Processor with Architectural Support for Control Dominated Embedded Systems. VLSI Design 2003: 189-194
12EERick Mugridge, Bruce MacDonald, Partha S. Roop: A Customer Test Generator for Web-Based Systems. XP 2003: 189-197
11EERick Mugridge, Bruce MacDonald, Partha S. Roop, Ewan D. Tempero: Five Challenges in Teaching XP. XP 2003: 406-409
2002
10EEZoran A. Salcic, Partha S. Roop, Morteza Biglari-Abhari, Abbas Bigdeli: REFLIX: A Processor Core for Reactive Embedded Applications. FPL 2002: 945-945
9EEPartha S. Roop, Arcot Sowmya, S. Ramesh: k-time Forced Simulation: A Formal Verification Technique for IP Reuse. ICCD 2002: 50-55
2001
8EEPartha S. Roop, Arcot Sowmya, S. Ramesh: A formal approach to component based development of synchronous programs. ASP-DAC 2001: 421-424
7EEPartha S. Roop, Arcot Sowmya, S. Ramesh: Forced simulation: A technique for automating component reuse in embedded systems. ACM Trans. Design Autom. Electr. Syst. 6(4): 602-628 (2001)
2000
6EEPartha S. Roop, Arcot Sowmya, S. Ramesh: Automated Component Adaptation by Forced Simulation. ACAC 2000: 74-81
5EEPartha S. Roop, Arcot Sowmya, S. Ramesh: Automatic Component Matching Using Forced Simulation. VLSI Design 2000: 64-69
1998
4EEPartha S. Roop, Arcot Sowmya: Hidden time model for specification and verification of embedded systems. ECRTS 1998: 98-105
3EEPartha S. Roop, Arcot Sowmya: CFSMcharts: A New Language for Microprocessor Based system Design. VLSI Design 1998: 342-346
1996
2EERaj S. Mitra, Partha S. Roop, Anupam Basu: A new algorithm for implementation of design functions by available devices. IEEE Trans. VLSI Syst. 4(2): 170-180 (1996)
1995
1EERaj S. Mitra, Partha S. Roop, Anupam Basu: Implementation of design functions by available devices: a new algorithm. VLSI Design 1995: 30-35

Coauthor Index

1Sidharta Andalam [33] [36]
2Anupam Basu [1] [2]
3Samik Basu [29] [31] [32] [35]
4Abbas Bigdeli [10] [13] [14]
5Morteza Biglari-Abhari [10] [13] [14] [22] [23]
6M. W. Sajeewa Dayaratne [17]
7Flavius Gruian [26] [27]
8Hai-Feng Guo [28]
9Reinhard von Hanxleden [36]
10Dong Hui [15] [22] [23]
11Bakhadyr Khoussainov [19]
12Miao Liu [28]
13Bruce MacDonald [11] [12]
14Avinash Malik [34]
15Robi Malik [20]
16Raj S. Mitra [1] [2]
17Rick Mugridge [11] [12]
18Ivan Radojevic [15] [18] [21] [24] [25] [27] [30]
19C. R. Ramakrishnan [28]
20I. V. Ramakrishnan [28]
21S. Ramesh (Sethu Ramesh) [5] [6] [7] [8] [9]
22Zoran A. Salcic (Zoran Salcic) [10] [13] [14] [15] [16] [17] [18] [21] [22] [23] [24] [25] [26] [27] [30] [33] [34] [35]
23Roopak Sinha [19] [29] [31] [32] [35]
24Arcot Sowmya [3] [4] [5] [6] [7] [8] [9]
25Ewan D. Tempero [11]
26Claus Traulsen [36]
27Alif Wahid [26]
28Li Hsien Yoong [33]
29Simon Yuan [33] [36]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)