Research Output

Filter
Conference article
2005

Distributed architectures and implementations of observer based controllers for performance optimization

Yadav, V., Voulgaris, P. G. & Salapaka, M. V., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4844-4849 6 p.

Research output: Contribution to journalConference article

Distributed optimal contention window control for elastic traffic in wireless LANs

Yang, Y., Wang, J. & Kravets, R. H., Oct 10 2005, In : Proceedings - IEEE INFOCOM. 1, p. 35-46 12 p.

Research output: Contribution to journalConference article

Efficient constructions for one-way hash chains

Hu, Y. C., Jakobsson, M. & Perrig, A., Oct 17 2005, In : Lecture Notes in Computer Science. 3531, p. 423-441 19 p.

Research output: Contribution to journalConference article

Efficient model checking of hardware using conditioned slicing

Vasudevan, S., Emerson, E. A. & Abraham, J. A., May 23 2005, In : Electronic Notes in Theoretical Computer Science. 128, 6, p. 279-294 16 p.

Research output: Contribution to journalConference article

Efficient monitoring of ω-languages

D'Amorim, M. & Roşu, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.

Research output: Contribution to journalConference article

Open Access

Estimation of corrosion damage in steel reinforced mortar using waveguides

Reis, H., Ervin, B. L., Kuchma, D. A. & Bernhard, J., Oct 7 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5767, p. 98-107 10 p., 13.

Research output: Contribution to journalConference article

Experiences with starfield visualizations for analysis of library collections

Sánchez, J. A., Twidale, M. B., Nichols, D. M. & Silva, N. N., Jul 20 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5669, p. 215-225 11 p., 22.

Research output: Contribution to journalConference article

Fast and detailed approximate global illumination by irradiance decomposition

Arikan, O., Forsyth, D. A. & O'Brien, J. F., Jul 1 2005, In : ACM Transactions on Graphics. 24, 3, p. 1108-1114 7 p.

Research output: Contribution to journalConference article

Formally defining and verifying Master/Slave Speculative Parallelization

Salverda, P., Roşu, G. & Zilles, C., Jan 1 2005, In : Lecture Notes in Computer Science. 3582, p. 123-138 16 p.

Research output: Contribution to journalConference article

Foundations for the run-time monitoring of reactive systems fundamentals of the MaC language

Viswanathan, M. & Kim, M., Jan 1 2005, In : Lecture Notes in Computer Science. 3407, p. 543-556 14 p.

Research output: Contribution to journalConference article

From conditional to unconditional rewriting

Roşu, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3423, p. 218-233 16 p.

Research output: Contribution to journalConference article

GraphMiner: A structural pattern-mining system for large disk-based graph databases and its applications

Wang, W., Wang, C., Zhu, Y., Shi, B., Pei, J., Yan, X. & Han, J., Dec 1 2005, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 879-881 3 p.

Research output: Contribution to journalConference article

Java-MOP: A monitoring oriented programming environment for java

Chen, F. & Roşu, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3440, p. 546-550 5 p.

Research output: Contribution to journalConference article

Open Access

Localized fairness: A rewriting semantics

Meseguer, J., Jan 1 2005, In : Lecture Notes in Computer Science. 3467, p. 250-263 14 p.

Research output: Contribution to journalConference article

Monotonic convergence of iterative learning control for uncertain systems using a time-varying Q-filter

Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 1, p. 171-177 7 p., WeA06.1.

Research output: Contribution to journalConference article

Natural narrowing for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., 2005, In : Lecture Notes in Computer Science. 3467, p. 279-293 15 p.

Research output: Contribution to journalConference article

Natural rewriting for general term rewriting systems

Escobar, S., Meseguer, J. & Thati, P., Oct 18 2005, In : Lecture Notes in Computer Science. 3573, p. 101-116 16 p.

Research output: Contribution to journalConference article

New sensitivity analysis attack

El Choubassi, M. & Moulin, P., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 734-745 12 p., 72.

Research output: Contribution to journalConference article

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., 2005, In : Lecture Notes in Computer Science. 3576, p. 266-280 15 p.

Research output: Contribution to journalConference article

Open Access

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., 2005, In : Lecture Notes in Computer Science. 3440, p. 61-76 16 p.

Research output: Contribution to journalConference article

Open Access

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

RID: Radio interference detection in wireless sensor networks

Zhou, G., He, T., Stankovic, J. A. & Abdelzaher, T., Oct 10 2005, In : Proceedings - IEEE INFOCOM. 2, p. 891-901 11 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

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

Synthesis of interface specifications for Java classes

Alur, R., Madhusudan, P., Černy, P. & Nam, W., Jan 1 2005, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 98-109 12 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., Jan 1 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., 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., 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., 2005, In : Lecture Notes in Computer Science. 3440, p. 45-60 16 p.

Research output: Contribution to journalConference article

Open Access
2006

Automotive vapor compression cycles: Validation of control-oriented models

Eldredge, B., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Improving energy efficiency in automotive vapor compression cycles through advanced control design

Keir, M., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Study of Error Vector Magnitude Patterns (EVRP) for a transmit/receive pair of microstrip patch antennas

Huff, G. H., Soldner, N., Palmer, W. D. & Bernhard, J. T., Dec 1 2006, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). p. 449-452 4 p., 1710555.

Research output: Contribution to journalConference article

2007

Locality sensitive discriminant analysis

Cai, D., He, X., Zhou, K., Han, J. & Bao, H., Dec 1 2007, In : IJCAI International Joint Conference on Artificial Intelligence. p. 708-713 6 p.

Research output: Contribution to journalConference article

Modeling stochastic performance and random failure

Jiang, H., Bhalerao, K., Rodríguez, L. F., Bell, S., Kortenkamp, D. & Soboyejo, A., Jan 1 2007, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Regular strategies as proof tactics for CIRC

Lucanu, D., Roşu, G. & Grigoraş, G., Dec 1 2007, In : Electronic Notes in Theoretical Computer Science. p. 69-83 15 p.

Research output: Contribution to journalConference article

Reliable on-demand management operations for large-scale distributed applications

Liang, J., Gupta, I. & Nahrstedt, K., Oct 1 2007, In : Operating Systems Review (ACM). 41, 5, p. 82-88 7 p.

Research output: Contribution to journalConference article