Research Output

Filter
Conference article

Enhancing safety and security of distributed systems through formal patterns

Eckhardt, J., M̈uhlbauer, T., Meseguer, J. & Wirsing, M., Dec 1 2012, In : CEUR Workshop Proceedings. 834, p. 35-40 6 p.

Research output: Contribution to journalConference article

Ensemble online clustering through decentralized observations

Katselis, D., Beck, C. L. & Van Der Schaar, M., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 910-915 6 p., 7039497.

Research output: Contribution to journalConference article

Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems

Wang, Y., Huang, Z., Mitra, S. & Dullerud, G. E., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 2130-2135 6 p., 7039713.

Research output: Contribution to journalConference article

Error exponents for one-bit watermarking

Liu, T. & Moulin, P., Sep 25 2003, In : ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 3, p. 65-68 4 p.

Research output: Contribution to journalConference article

Error exponents for watermarking game with squared-error constraints

Liu, T. & Moulin, P., Oct 20 2003, In : IEEE International Symposium on Information Theory - Proceedings. 1 p.

Research output: Contribution to journalConference article

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

Estimation Risk of Transformation-Averaged Estimators

Liu, J. & Moulin, P., Dec 1 2003, In : Proceedings of SPIE - The International Society for Optical Engineering. 5207, 1, p. 87-96 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

Evaluation of transient refrigerant migration modeling approach on automotive air conditioning systems

Li, B., Peuker, S., Hrnjak, P. & Alleyne, A., Jan 1 2011, In : SAE Technical Papers.

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., 2004, In : Proceedings - IEEE International Conference on Robotics and Automation. 2004, 4, p. 3981-3986 6 p.

Research output: Contribution to journalConference article

Exact simulation of continuous time Markov jump processes with anticorrelated variance reduced Monte Carlo estimation

Maginnis, P. A., West, M. & Dullerud, G. E., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 3401-3407 7 p., 7039916.

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

Explicit Load Flow Series and Functions

Sauer, P. W., Jan 1 2017, In : Engineering News-Record.

Research output: Contribution to journalConference article

Exploiting the dependencies in information fusion

Pan, H., Liang, Z. P. & Huang, T. S., Jan 1 1999, In : Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. 2, p. 407-412 6 p.

Research output: Contribution to journalConference article

Exploration of an unknown environment with a differential drive disc robot

Laguna, G., Murrieta-Cid, R., Becerra, H. M., Lopez-Padilla, R. & Lavalle, S. M., Sep 22 2014, In : Proceedings - IEEE International Conference on Robotics and Automation. p. 2527-2533 7 p., 6907212.

Research output: Contribution to journalConference article

Failure-robust distributed controller architectures

Voulgaris, P. G. & Jiang, S., Dec 1 2004, In : Proceedings of the IEEE Conference on Decision and Control. 1, p. 513-518 6 p., TuB02.4.

Research output: Contribution to journalConference article

Fair coalitions for power-aware routing in wireless networks

Guha, R. K., Gunter, C. A. & Sarkar, S., 2004, In : Proceedings of the IEEE Conference on Decision and Control. 3, p. 3271-3276 6 p., ThB03.1.

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

Fast model-based penetration testing

Singh, S., Lyons, J. & Nicol, D. M., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 309-316 8 p.

Research output: Contribution to journalConference article

Fast template evaluation with Vector Quantization

Sadeghi, M. A. & Forsyth, D., Jan 1 2013, In : Advances in Neural Information Processing Systems.

Research output: Contribution to journalConference article

Feedback control with queueing-theoretic prediction for relative delay guarantees in web servers

Lu, Y., Abdelzaher, T., Lu, C., Sha, L. & Liu, X., Dec 1 2003, In : Real-Time Technology and Applications - Proceedings. p. 208-217 10 p., 1203053.

Research output: Contribution to journalConference article

Field-testing IMPACT EPIC research results in Itanium 2

Sias, J. W., Ueng, S. Z., Kent, G. A., Steiner, I. M. & Hwu, W. M. W., Oct 8 2004, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. 31, p. 26-37 12 p.

Research output: Contribution to journalConference article

Fine-grained, dynamic user customization of operating systems

Liao, W. S., Tan, S. M. & Campbell, R. H., Dec 1 1996, In : International Workshop on Object Orientation in Operating Systems - Proceedings. p. 62-66 5 p.

Research output: Contribution to journalConference article

Finite-horizon LQ control for unknown discrete-time linear systems via extremum seeking

Frihauf, P., Krstic, M. & Basar, M. T., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 5717-5722 6 p., 6426052.

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

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

Formal verification of the yubikey and yubihsm apis in maude-npa

González-Burgueño, A., Aparicio-Sánchez, D., Escobar, S., Meadows, C. & Meseguer, J., 2018, In : EPiC Series in Computing. 57, p. 400-417 18 p.

Research output: Contribution to journalConference article

Open Access

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

Fourier descriptors for parametric shape estimation in inverse scattering problems

Ye, J. C., Bresler, Y. & Moulin, P., Jan 1 2000, In : Proceedings of SPIE - The International Society for Optical Engineering. 4052, p. 309-320 12 p.

Research output: Contribution to journalConference article

Framework for dynamic energy efficiency and temperature management

Huang, M., Renau, J., Yoo, S. M. & Torrellas, J., Dec 1 2000, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 202-213 12 p.

Research output: Contribution to journalConference article

Framework for motion planning in stochastic environments: modeling and analysis

Lavalle, S. M. & Sharma, R., Jan 1 1995, In : Proceedings - IEEE International Conference on Robotics and Automation. 3, p. 3057-3062 6 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

Functorial semantics for Petri nets under the individual token philosophy

Bruni, R., Meseguer, J., Montanari, U. & Sassone, V., 1999, In : Electronic Notes in Theoretical Computer Science. 29, p. 21 1 p.

Research output: Contribution to journalConference article

Fundamental basis for power-reduction in VLSI circuits

Shanbhag, N. R., Jan 1 1996, In : Proceedings - IEEE International Symposium on Circuits and Systems. 4, p. 9-12 4 p.

Research output: Contribution to journalConference article

Fundamental performance limitations for a class of electronic two-stage proportional flow valves

Prasetiawan, E., Zhang, R. & Alleyne, A., Jan 1 2001, In : Proceedings of the American Control Conference. 5, p. 3955-3960 6 p.

Research output: Contribution to journalConference article

Game-theoretic analysis of node capture and cloning attack with multiple attackers in wireless sensor networks

Zhu, Q., Bushnell, L. & Basar, M. T., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 3404-3411 8 p., 6426481.

Research output: Contribution to journalConference article

Game theory and H-optimal control. The continuous-time case

Basar, T., 1991, In : Lecture Notes in Control and Information Sciences. 156, p. 171-186 16 p.

Research output: Contribution to journalConference article

Generalization of proportional adaptation law for L1 adaptive controller

Vanness, J., Kharisov, E. & Hovakimyan, N., Dec 1 2012, In : Proceedings of the IEEE Conference on Decision and Control. p. 3215-3220 6 p., 6425855.

Research output: Contribution to journalConference article

Generalized H-infinity Vehicle Control Utilizing Dimensional Analysis

Brennan, S. & Alleyne, A., Nov 7 2003, In : Proceedings of the American Control Conference. 5, p. 3774-3780 7 p.

Research output: Contribution to journalConference article

Genetic algorithms-based identification

Lu, S. & Basar, M. T., Dec 1 1995, In : Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. 1, p. 644-649 6 p.

Research output: Contribution to journalConference article

Geometric optimal control for symmetry breaking cost functions

Borum, A. D. & Bretl, T., Jan 1 2014, In : Proceedings of the IEEE Conference on Decision and Control. 2015-February, February, p. 5855-5861 7 p., 7040306.

Research output: Contribution to journalConference article

Global geometry of multichannel sparse blind deconvolution on the sphere

Li, Y. & Bresler, Y., Jan 1 2018, In : Advances in Neural Information Processing Systems. 2018-December, p. 1132-1143 12 p.

Research output: Contribution to journalConference article

Globally stabilizing second order nonlinear systems by SDRE control

Erdem, E. B. & Alleyne, A. G., Dec 1 1999, In : Proceedings of the American Control Conference. 4, p. 2501-2505 5 p.

Research output: Contribution to journalConference article

Global stability of internet congestion controllers with heterogeneous delays

Ying, L., Dullerud, G. E. & Srikant, R., Nov 29 2004, In : Proceedings of the American Control Conference. 4, p. 2948-2953 6 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

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., 2005, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 879-881 3 p.

Research output: Contribution to journalConference article

Group communication protocols under errors

Basile, C., Wang, L., Kalbarczyk, Z. & Iyer, R., Dec 1 2003, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 35-44 10 p.

Research output: Contribution to journalConference article

Hardware-driven profiling scheme for identifying program hot spots to support runtime optimization

Merten, M. C., Trick, A. R., George, C. N., Gyllenhaal, J. C. & Hwu, W. M. W., Jan 1 1999, In : Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. p. 136-147 12 p.

Research output: Contribution to journalConference article