Research Output

Filter
Conference article
2005

Java-MOP: A monitoring oriented programming environment for java

Chen, F. & Rosu, G., Sep 20 2005, In : Lecture Notes in Computer Science. 3440, p. 546-550 5 p.

Research output: Contribution to journalConference article

Localized fairness: A rewriting semantics

Meseguer, J., Sep 26 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., Sep 26 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. 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

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., Rosu, 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

Testing heuristic tools for life support system analysis

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

Research output: Contribution to journalConference article

2008

A Rewriting semantics for Maude strategies

Martí-Oliet, N., Meseguer, J. & Verdejo, A., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 207-226 20 p.

Research output: Contribution to journalConference article

Floodless in seattle: A scalable ethernet architecture for large enterprises

Kim, C., Caesar, M. & Rexford, J., Dec 1 2008, In : Computer Communication Review. 38, 4, p. 3-14 12 p.

Research output: Contribution to journalConference article

Granular segregation studies for retroreflector sensor development

Hill, K. M., Fan, Y., Zhang, J., Bernhard, J. T. & Hagness, S. C., Jun 2 2008, In : Proceedings of SPIE - The International Society for Optical Engineering. 6932, 693245.

Research output: Contribution to journalConference article

Operational termination of membership equational programs: The order-sorted way

Lucas, S. & Meseguer, J., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 189-205 17 p.

Research output: Contribution to journalConference article

Reconfigurable control system design for future life support systems

Jiang, H., Rodriguez, L. F., Bell, S. & Kortenkamp, D., Jan 1 2008, In : SAE Technical Papers.

Research output: Contribution to journalConference article

Reversible nanoscale local wettability modifications by thermochemical nanolithography

Wang, D., Okada, T., Szoszkiewicz, R., Jones, S. C., Lucas, M., Lee, J., King, W. P., Marder, S. R. & Riedo, E., Dec 1 2008, In : Materials Research Society Symposium Proceedings. 1059, p. 37-42 6 p.

Research output: Contribution to journalConference article

Variant Narrowing and equational unification

Escobar, S., Meseguer, J. & Sasse, R., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 91-105 15 p.

Research output: Contribution to journalConference article

Xl: An efficient network routing algorithm

Levchenko, K., Voelker, G. M., Paturi, R. & Savage, S., Dec 1 2008, In : Computer Communication Review. 38, 4, p. 15-26 12 p.

Research output: Contribution to journalConference article

2009

100 nanometer scale resistive heater-thermometer on a silicon cantilever

Dai, Z., Park, K. & King, W. P., Jun 1 2009, In : Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS). p. 543-546 4 p., 4805439.

Research output: Contribution to journalConference article

A modular equational generalization algorithm

Alpuente, M., Escobar, S., Meseguer, J. & Ojeda, P., Apr 6 2009, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5438 LNCS, p. 24-39 16 p.

Research output: Contribution to journalConference article

BulkCompiler: High-performance sequential consistency through cooperative compiler and hardware support

Ahn, W., Qi, S., Nicolaides, M., Torrellas, J., Lee, J. W., Fang, X., Midkiff, S. & Wong, D., Dec 1 2009, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 133-144 12 p.

Research output: Contribution to journalConference article

Defining and executing P systems with structured data in K

Serbǎnuţǎ, T., Ştefǎnescu, G. & Roşu, G., Feb 23 2009, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5391 LNCS, p. 374-393 20 p.

Research output: Contribution to journalConference article