Research Output

Towards a strategy language for Maude

Martí-Oliet, N., Meseguer, J. & Verdejo, A., Jan 20 2005, In : Electronic Notes in Theoretical Computer Science. 117, SPEC. ISS., p. 417-441 25 p.

Research output: Contribution to journalArticle

Towards a test automation framework for alloy

Sullivan, A., Zaeem, R. N., Khurshid, S. & Marinov, D., Jul 21 2014, 2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings. Association for Computing Machinery, Inc, p. 113-116 4 p. (2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a unified theory of operational and axiomatic semantics

Rośu, G. & Ştefǎnescu, A., Jan 1 2012, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Proceedings. PART 2 ed. Springer-Verlag Berlin Heidelberg, p. 351-363 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7392 LNCS, no. PART 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards automated safety vetting of PLC code in real-world plants

Zhang, M., Chen, C. Y., Kao, B. C., Qamsane, Y., Shao, Y., Lin, Y., Shi, E., Mohan, S., Barton, K., Moyne, J. & Mao, Z. M., May 2019, Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019. Institute of Electrical and Electronics Engineers Inc., p. 522-538 17 p. 8835244. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2019-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards automatic phone-to-phone communication for vehicular networking applications

Hu, S., Liu, H., Su, L., Wang, H., Abdelzaher, T. F., Hui, P., Zheng, W., Xie, Z. & Stankovic, J. A., Jan 1 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 1752-1760 9 p. 6848113. (Proceedings - IEEE INFOCOM).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a wind farm reduced-order model

Pulgar-Painemal, H. A. & Sauer, P. W., Aug 1 2011, In : Electric Power Systems Research. 81, 8, p. 1688-1695 8 p.

Research output: Contribution to journalArticle

Towards behavioral maude: Behavioral membership equational logic

Meseguer, J. & Roşu, G., Oct 2002, In : Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

Research output: Contribution to journalConference article

Towards building large scale multimedia systems and applications: Challenges and status

Nahrstedt, K. & Balke, W. T., Nov 11 2005, MSC 2005 - Proceedings of the 1st ACM International Workshop on Multimedia Service Composition, co-located with ACM Multimedia 2005. Association for Computing Machinery, Inc, p. 3-10 8 p. (MSC 2005 - Proceedings of the 1st ACM International Workshop on Multimedia Service Composition, co-located with ACM Multimedia 2005).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards context-aware web applications

Chang, P. H. & Agha, G., Dec 20 2007, Distributed Applications and Interoperable Systems - 7th IFIP WG 6.1 International Conference, DAIS 2007, Proceedings. p. 239-252 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4531 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards correct network virtualization

Ghorbani, S. & Godfrey, B., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 109-114 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards correct network virtualization

Ghorbani, S. & Godfrey, B., Feb 25 2015, In : Computer Communication Review. 44, 4, p. 657-662 6 p.

Research output: Contribution to journalConference article

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus

Liu, L., Sheridan, D., Tuohy, W. & Vasudevan, S., May 31 2011, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2011. p. 173-178 6 p. 5763038. (Proceedings -Design, Automation and Test in Europe, DATE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards cyber-physical systems in social spaces: The data reliability challenge

Wang, S., Wang, D., Su, L., Kaplan, L. & Abdelzaher, T. F., Jan 14 2015, Proceedings - IEEE 35th Real-Time Systems Symposium, RTSS 2014. January ed. Institute of Electrical and Electronics Engineers Inc., p. 74-85 12 p. 7010476. (Proceedings - Real-Time Systems Symposium; vol. 2015-January, no. January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards designing and developing curriculum for the challenges of the smart grid education

Uludag, S., Sauer, P., Nahrstedt, K. & Yardley, T., Feb 17 2015, In : Proceedings - Frontiers in Education Conference, FIE. 2015-February, February, 7044469.

Research output: Contribution to journalConference article

Towards diagnostic simulation in sensor networks

Khan, M. M. H., Abdelzaher, T. & Gupta, K. K., Jul 1 2008, Distributed Computing in Sensor Systems - 4th IEEE International Conference, DCOSS 2008, Proceedings. p. 252-265 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5067 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards efficient induction mechanisms in database systems

Han, J., Oct 24 1994, In : Theoretical Computer Science. 133, 2, p. 361-385 25 p.

Research output: Contribution to journalArticle

Towards faster rates and oracle property for low-rank matrix estimation

Gui, H., Han, J. & Gu, Q., Jan 1 2016, 33rd International Conference on Machine Learning, ICML 2016. Weinberger, K. Q. & Balcan, M. F. (eds.). International Machine Learning Society (IMLS), p. 3405-3431 27 p. (33rd International Conference on Machine Learning, ICML 2016; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards feasible region calculus: An end-to-end schedulability analysis of real-time multistage execution

Hawkins, W. & Abdelzaher, T., Dec 1 2005, Proceedings - 26th IEEE International Real-Time Systems Symposium, RTSS 2005. 1563097. (Proceedings - Real-Time Systems Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards feature selection in network

Gu, Q. & Han, J., Dec 13 2011, CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management. p. 1175-1184 10 p. (International Conference on Information and Knowledge Management, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards generic monitors for object-oriented real-time maude specifications

Moreno-Delgado, A., Durán, F. & Meseguer, J., Jan 1 2016, Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016 Held as a Satellite Event of ETAPS 2016, Revised Selected Papers. Lucanu, D. (ed.). Springer-Verlag, p. 134-151 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9942 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards graph containment search and indexing

Chen, C., Yan, X., Yu, P. S., Han, J., Zhang, D. Q. & Gu, X., Jan 1 2007, 33rd International Conference on Very Large Data Bases, VLDB 2007 - Conference Proceedings. Gehrke, J., Koch, C., Garofalakis, M., Aberer, K., Kanne, C-C., Neuhold, E. J., Ganti, V., Klas, W., Chan, C-Y., Srivastava, D., Florescu, D. & Deshpande, A. (eds.). Association for Computing Machinery, Inc, p. 926-937 12 p. (33rd International Conference on Very Large Data Bases, VLDB 2007 - Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards improving network flow watermarks using the repeat-accumulate codes

Houmansadr, A. & Borisov, N., Aug 18 2011, 2011 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2011 - Proceedings. p. 1852-1855 4 p. 5946866. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards interactive construction of topical hierarchy: A recursive tensor decomposition approach

Wang, C., Liu, X., Song, Y. & Han, J., Aug 10 2015, KDD 2015 - Proceedings of the 21st ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 1225-1234 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining; vol. 2015-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards longitudinal analysis of a population's electronic health records using factor graphs

Athreya, A. P., Ngiam, K. Y., Luo, Z., Tai, E. S., Kalbarczyk, Z. & Iyer, R. K., Dec 6 2016, Proceedings - 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2016. Association for Computing Machinery, Inc, p. 79-86 8 p. (Proceedings - 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards Maude 2.0

Clave, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J. & Quesada, J. F., Dec 1 2000, In : Electronic Notes in Theoretical Computer Science. 36, p. 294-315 22 p.

Research output: Contribution to journalConference article

Towards mobile query auto-completion: An efficient mobile application-Aware approach

Zhang, A., Goyal, A., Baeza-Yates, R., Chang, Y., Han, J., Gunter, C. A. & Deng, H., Jan 1 2016, 25th International World Wide Web Conference, WWW 2016. International World Wide Web Conferences Steering Committee, p. 579-590 12 p. (25th International World Wide Web Conference, WWW 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards monitoring-oriented programming: A paradigm combining specification and implementation

Chen, F. & Roşu, G., Oct 2003, In : Electronic Notes in Theoretical Computer Science. 89, 2, p. 108-127 20 p.

Research output: Contribution to journalArticle

Towards multi-site collaboration in 3D tele-immersive environments

Wu, W., Yang, Z., Gupta, I. & Nahrstedt, K., Sep 22 2008, Proceedings - The 28th International Conference on Distributed Computing Systems, ICDCS 2008. p. 647-654 8 p. 4595938. (Proceedings - The 28th International Conference on Distributed Computing Systems, ICDCS 2008).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards multi-site collaboration in tele-immersive environments

Wu, W., Yang, Z., Nahrstedt, K., Kurillo, G. & Bajcsy, R., Dec 1 2007, Proceedings of the Fifteenth ACM International Conference on Multimedia, MM'07. p. 767-770 4 p. (Proceedings of the ACM International Multimedia Conference and Exhibition).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards optimal design of signal fingerprinting codes

Jourdas, J. F. & Moulin, P., Sep 16 2008, 2008 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP. p. 1649-1652 4 p. 4517943. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards optimizing energy costs of algorithms for shared memory architectures

Korthikanti, V. A. & Agha, G., Jul 30 2010, SPAA'10 - Proceedings of the 22nd Annual Symposium on Parallelism in Algorithms and Architectures. p. 157-165 9 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards organ-centric compositional development of safe networked supervisory medical systems

Kang, W., Wu, P. L., Rahmaniheris, M., Sha, L., Berlin, R. B. & Goldman, J. M., Dec 9 2013, Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems. p. 143-148 6 p. 6627779. (Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards organ-centric compositional development of safe networked supervisory medical systems

Kang, W., Wu, P., Rahmaniheris, M., Sha, L., Berlin, R. B. & Goldman, J. M., Jan 1 2013, In : Proceedings - IEEE Symposium on Computer-Based Medical Systems. p. 143-148 6 p., 6627779.

Research output: Contribution to journalArticle

Towards Patent Standardization

Kesan, J. P., 2017, In : Harvard Journal of Law & Technology. 30, p. 233-256 27 p.

Research output: Contribution to journalArticle

Towards quality aware information integration in distributed sensing systems

Jiang, W., Miao, C., Su, L., Li, Q., Hu, S., Wang, S., Gao, J., Liu, H., Abdelzaher, T. F., Han, J., Liu, X., Gao, Y. & Kaplan, L., Jan 2018, In : IEEE Transactions on Parallel and Distributed Systems. 29, 1, p. 198-211 14 p.

Research output: Contribution to journalArticle

Towards quantifying the impacts of cyber attacks in the competitive electricity market environment

Negrete-Pincetic, M., Yoshida, F. & Gross, G., Dec 1 2009, 2009 IEEE Bucharest PowerTech: Innovative Ideas Toward the Electrical Grid of the Future. 5282237. (2009 IEEE Bucharest PowerTech: Innovative Ideas Toward the Electrical Grid of the Future).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards regression test selection for AspectJ programs

Zhao, J., Xie, T. & Li, N., Dec 1 2006, Proceedings of the 2nd Workshop on Testing Aspect-oriented Programs, WTAOP '06. p. 21-26 6 p. (Proceedings of the 2nd Workshop on Testing Aspect-oriented Programs, WTAOP '06; vol. 2006).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards resiliency in embedded medical monitoring devices

Alemzadeh, H., Di Martino, C., Jin, Z., Kalbarczyk, Z. T. & Iyer, R. K., Dec 1 2012, 2012 IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops, DSN-W 2012. 6264662. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards resilient UAV: Escape time in GPS denied environment with sensor drift

Yoon, H. J., Wan, W., Kim, H., Hovakimyan, N., Sha, L. & Voulgaris, P. G., Oct 2019, In : IFAC-PapersOnLine. 52, 12, p. 423-428 6 p.

Research output: Contribution to journalConference article

Open Access

Towards reusable real-time objects

Nielsen, B. & Agha, G., Dec 1 1999, In : Annals of Software Engineering. 7, 1-4, p. 257-282 26 p.

Research output: Contribution to journalArticle

Towards robust indexing for ranked queries

Xin, D., Chen, C. & Han, J., Dec 1 2006, VLDB 2006 - Proceedings of the 32nd International Conference on Very Large Data Bases. p. 235-246 12 p. (VLDB 2006 - Proceedings of the 32nd International Conference on Very Large Data Bases).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards scalable critical alert mining

Zong, B., Wu, Y., Song, J., Singh, A. K., Cam, H., Han, J. & Yan, X., Jan 1 2014, KDD 2014 - Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 1057-1066 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards scalable reliability frameworks for error prone CMPs

Sloan, J. & Kumar, R., Dec 21 2009, Embedded Systems Week 2009 - 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES'09. p. 261-270 10 p. (Embedded Systems Week 2009 - 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES'09).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards SDN enabled network control delegation in clouds

Malik, M. S., Montanari, M., Huh, J. H., Bobba, R. B. & Campbell, R. H., Sep 9 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2013. 6575320. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards secure provenance-based access control in cloud environments

Bates, A., Mood, B., Valafar, M. & Butler, K., Mar 18 2013, CODASPY 2013 - Proceedings of the 3rd ACM Conference on Data and Application Security and Privacy. p. 277-284 8 p. (CODASPY 2013 - Proceedings of the 3rd ACM Conference on Data and Application Security and Privacy).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards security and privacy for pervasive computing

Campbell, R., Al-Muhtadi, J., Naldurg, P., Sampemane, G. & Mickunas, M. D., Dec 1 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2609, p. 1-15 15 p.

Research output: Contribution to journalArticle

Towards semantics-based WCET analysis

Ašavoae, M., Lucanu, D. & Rosu, G., Jan 1 2011, 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held at the 23rd Euromicro Conference on Real-Time Systems. EUROMICRO, p. 43-52 10 p. (11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held at the 23rd Euromicro Conference on Real-Time Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards semantics-based WCET analysis

Asǎvoae, M., Lucanu, D. & Roşu, G., Jan 1 2011, p. 43-52. 10 p.

Research output: Contribution to conferencePaper

Towards the development of an objective assessment technique for use in engineering design education

Miller, S. R., Bailey, B. P. & Kirlik, A., Jan 1 2012, 119th ASEE Annual Conference and Exposition. American Society for Engineering Education, (ASEE Annual Conference and Exposition, Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards the understanding of human perceptual quality in tele-immersive shared activity

Huang, Z., Arefin, A., Agarwal, P., Nahrstedt, K. & Wu, W., Mar 28 2012, MMSys'12 - Proceedings of the 3rd Multimedia Systems Conference. p. 29-34 6 p. (MMSys'12 - Proceedings of the 3rd Multimedia Systems Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution