Research Output

Filter
Conference article
2005

On achievable error exponents for watermarking

Moulin, P. & Wang, Y., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 308-317 10 p., 31.

Research output: Contribution to journalConference article

On computational complexity of counting fixed points in symmetric boolean graph automata

Tošić, P. T. & Agha, G. A., Oct 31 2005, In : Lecture Notes in Computer Science. 3699, p. 191-205 15 p.

Research output: Contribution to journalConference article

On statistical model checking of stochastic systems

Sen, K., Viswanathan, M. & Agha, G. A., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 266-280 15 p.

Research output: Contribution to journalConference article

On the complexity of error explanation

Kumar, N., Kumar, V. & Viswanathan, M., Sep 9 2005, In : Lecture Notes in Computer Science. 3385, p. 448-464 17 p.

Research output: Contribution to journalConference article

On-the-fly reachability and cycle detection for recursive state machines

Alur, R., Chaudhuri, S., Etessami, K. & Madhusudan, P., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 61-76 16 p.

Research output: Contribution to journalConference article

On the use of SoS methods for analysis of connection-level stability in the internet

Lakshmikantha, A., Beck, C. L. & Srikant, R., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2705-2708 4 p., ThB13.4.

Research output: Contribution to journalConference article

Optimizations for compiling declarative models into boolean formulas

Marinov, D., Khurshid, S., Bugrara, S., Zhang, L. & Rinard, M., Oct 17 2005, In : Lecture Notes in Computer Science. 3569, p. 187-202 16 p.

Research output: Contribution to journalConference article

Perturbed timed automata

Alur, R., La Torre, S. & Madhusudan, P., Sep 14 2005, In : Lecture Notes in Computer Science. 3414, p. 70-85 16 p.

Research output: Contribution to journalConference article

Robust identification over networks

Ishii, H. & Başar, T., Sep 1 2005, In : Proceedings of the American Control Conference. 2, p. 1233-1238 6 p.

Research output: Contribution to journalConference article

Searching for related objects in relational databases

Yin, X., Han, J. & Yang, J., Dec 1 2005, In : Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. p. 227-236 10 p.

Research output: Contribution to journalConference article

Service composition for advanced multimedia applications

Liang, J. & Nahrstedt, K., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 228-240 13 p., 23.

Research output: Contribution to journalConference article

Stability and feedback control of wireless networked systems

Kawka, P. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2953-2959 7 p., ThC03.5.

Research output: Contribution to journalConference article

Stable gain-scheduling on endogenous signals

Rasmussen, B. P. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1895-1900 6 p.

Research output: Contribution to journalConference article

Supporting dynamically changing authorizations in pervasive communication systems

Lee, A. J., Boyer, J. P., Drexelius, C., Naldurg, P., Hill, R. L. & Campbell, R. H., Sep 19 2005, In : Lecture Notes in Computer Science. 3450, p. 134-150 17 p.

Research output: Contribution to journalConference article

Symbolic compositional verification by learning assumptions

Alur, R., Madhusudan, P. & Nam, W., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 548-562 15 p.

Research output: Contribution to journalConference article

Symstra: A framework for generating object-oriented unit tests using symbolic execution

Xie, T., Marinov, D., Schulte, W. & Notkin, D., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 365-381 17 p.

Research output: Contribution to journalConference article

The Java memory model

Manson, J., Pugh, W. & Adve, S. V., Dec 27 2005, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 378-391 14 p.

Research output: Contribution to journalConference article

The LLVM compiler framework and infrastructure tutorial

Lattner, C. & Adve, V. S., Oct 19 2005, In : Lecture Notes in Computer Science. 3602, p. 15-16 2 p.

Research output: Contribution to journalConference article

Theoroidal maps as algebraic simulations

Martí-Oliet, N., Meseguer, J. & Palomino, M., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 126-143 18 p.

Research output: Contribution to journalConference article

Trimaran: An infrastructure for research in instruction-level parallelism

Chakrapani, L. N., Gyllenhaal, J., Hwu, W-M. W., Mahlke, S. A., Palem, K. V. & Rabbah, R. M., Oct 19 2005, In : Lecture Notes in Computer Science. 3602, p. 32-41 10 p.

Research output: Contribution to journalConference article

Using language inference to verify omega-regular properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 45-60 16 p.

Research output: Contribution to journalConference article

2004

A BGP attack against traffic engineering

Kim, J., Ko, S. Y., Nicol, D. M., Dimitropoulos, X. A. & Riley, G. F., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 318-326 9 p.

Research output: Contribution to journalConference article

AccMon: Automatically detecting memory-related bugs via program counter-based invariants

Zhou, P., Liu, W., Fei, L., Lu, S., Qin, F., Zhou, Y., Midkiff, S. & Torrellas, J., Dec 1 2004, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 269-280 12 p.

Research output: Contribution to journalConference article

A communication-theoretic design paradigm for reliable SOCs

Shanbhag, N. R., Sep 20 2004, In : Proceedings - Design Automation Conference. 1 p.

Research output: Contribution to journalConference article

Adaptive signaling schemes for detection in wireless sensor networks

Chamberland, J. F. & Veeravalli, V. V., Oct 20 2004, In : IEEE International Symposium on Information Theory - Proceedings. 1 p.

Research output: Contribution to journalConference article

A formal approach to frequent energy adaptations for multimedia applications

Hughes, C. J. & Adve, S. V., Oct 8 2004, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. 31, p. 138-149 12 p.

Research output: Contribution to journalConference article

A game theoretic analysis of intrusion detection in access control systems

Alpcan, T. & Basar, M. T., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 2, p. 1568-1573 6 p.

Research output: Contribution to journalConference article

An 8Gb/s source-synchronous I/O link with adaptive receiver equalization, offset cancellation and clock deskew

Jaussi, J. E., Balamurugan, G., Johnson, D. R., Casper, B. K., Martin, A., Kennedy, J. T., Shanbhag, N. R. & Mooney, R., Jun 2 2004, In : Digest of Technical Papers - IEEE International Solid-State Circuits Conference. 47

Research output: Contribution to journalConference article

An anti-windup design for single input adaptive control systems in strict feedback form

Do, H. M., Basar, M. T. & Choi, J. Y., Nov 29 2004, In : Proceedings of the American Control Conference. 3, p. 2551-2556 6 p.

Research output: Contribution to journalConference article

An evaluation of techniques for controlling focus+context screens

Flider, M. J. & Bailey, B. P., Aug 30 2004, In : Proceedings - Graphics Interface. p. 135-144 10 p.

Research output: Contribution to journalConference article

A novel forward-backward predictor based low-power DSP system

Shim, B., Zhang, M. & Shanbhag, N. R., Dec 1 2004, In : IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation. p. 331-336 6 p.

Research output: Contribution to journalConference article

A power control game based on outage probabilities for multicell wireless data networks

Alpcan, T., Başar, T. & Dey, S., Nov 29 2004, In : Proceedings of the American Control Conference. 2, p. 1661-1666 6 p.

Research output: Contribution to journalConference article

ARIS: An interface for application relocation in an interactive space

Biehl, J. T. & Bailey, B. P., Aug 30 2004, In : Proceedings - Graphics Interface. p. 107-116 10 p.

Research output: Contribution to journalConference article

A Soft Error Rate Analysis (SERA) methodology

Zhang, M. & Shanbhag, N. R., Dec 1 2004, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. p. 111-118 8 p., 2A.3.

Research output: Contribution to journalConference article

A survey and comparison of end-system overlay multicast solutions suitable for network centric warfare

Abad, C., Yurcik, W. & Campbell, R. H., Dec 1 2004, In : Proceedings of SPIE - The International Society for Optical Engineering. 5441, p. 215-226 12 p.

Research output: Contribution to journalConference article

Channel-aware throughput fairness in multi-cell wireless LANs

Shah, S. H. & Nahrstedt, K., Dec 1 2004, In : IEEE Vehicular Technology Conference. 60, 5, p. 3511-3515 5 p.

Research output: Contribution to journalConference article

CoBFIT: A component-based framework for intrusion tolerance

Ramasamy, H. G. V., Agbaria, A. & Sanders, W. H., Dec 1 2004, In : Conference Proceedings of the EUROMICRO. 30, p. 591-600 10 p.

Research output: Contribution to journalConference article

Coding for system-on-chip networks: A unified framework

Sridhara, S. R. & Shanbhag, N. R., Sep 20 2004, In : Proceedings - Design Automation Conference. p. 103-106 4 p.

Research output: Contribution to journalConference article

Continuous k-nearest neighbor search for moving objects

Li, Y., Yang, J. & Han, J., Oct 25 2004, In : Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. 16, p. 123-126 4 p.

Research output: Contribution to journalConference article

Control of a microscale deposition robot using a new adaptive time-frequency filtered iterative learning control

Bristow, D. A., Alleyne, A. G. & Zheng, D., Nov 29 2004, In : Proceedings of the American Control Conference. 6, p. 5144-5149 6 p.

Research output: Contribution to journalConference article

Correlated jamming on MIMO Gaussian fading channels

Kashyap, A., Başar, T. & Srikant, R., Aug 30 2004, In : IEEE International Conference on Communications. 1, p. 458-462 5 p.

Research output: Contribution to journalConference article

Deterministic sampling methods for spheres and SO(3)

Yershova, A. & LaValle, S. M., Jul 5 2004, In : Proceedings - IEEE International Conference on Robotics and Automation. 2004, 4, p. 3974-3980 7 p.

Research output: Contribution to journalConference article

Differentiated internet pricing using a hierarchical network game model

Shen, H. & Başar, T., Nov 29 2004, In : Proceedings of the American Control Conference. 3, p. 2322-2327 6 p.

Research output: Contribution to journalConference article

Dimensionless analysis of tire characteristics for vehicle dynamics studies

Poliey, M. & Alleyne, A. G., Nov 29 2004, In : Proceedings of the American Control Conference. 4, p. 3411-3416 6 p.

Research output: Contribution to journalConference article

Dynamic modeling and control of multi-evaporator air-conditioning systems

Shah, R., Alleyne, A. G. & Bullard, C. W., May 28 2004, In : ASHRAE Transactions. 110 PART 1, p. 109-119 11 p.

Research output: Contribution to journalConference article

Efficient decentralized monitoring of safety in distributed systems

Sen, K., Vardhan, A., Agha, G. & Roşu, G., Oct 4 2004, In : Proceedings - International Conference on Software Engineering. 26, p. 418-427 10 p.

Research output: Contribution to journalConference article

Evaluation of secure peer-to-peer overlay routing for survivable scada systems

Farris, J. J. & Nicol, D. M., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 300-307 8 p.

Research output: Contribution to journalConference article

Exact pareto-optimal coordination of two translating polygonal robots on an acyclic roadmap

Chitsaz, H., O'Kane, J. M. & Lavalle, S. M., Jul 5 2004, In : Proceedings - IEEE International Conference on Robotics and Automation. 2004, 4, p. 3981-3986 6 p.

Research output: Contribution to journalConference article