Find Research outputs

Search results

• Verification Well how a deep monitoring well was used and adapted to meet the evolving monitoring needs and challenges at the Illinois Basin- Decatur Project

  Locke, II, R., Iranmanesh, A., Wimmer, B., Kirksey, J., Malkewicz, N. & Greenberg, S., 2018, GHGT-14, Greenhouse gas control technologies conference 14. Vol. 14. p. 12

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verified hybrid LQ control for autonomous spacecraft rendezvous

  Chan, N. & Mitra, S., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1427-1432 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verified integrity properties for safe approximate program transformations

  Carbin, M., Kim, D., Misailovic, S. & Rinard, M. C., 2013, PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013. p. 63-66 4 p. (PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verified planar formation control algorithms by composition of primitives

  Bobadilla, L., Johnson, T. T., LaViers, A. & Huzaifa, U., 2015, AIAA Guidance, Navigation, and Control Conference 2015, MGNC 2015 - Held at the AIAA SciTech Forum 2015. American Institute of Aeronautics and Astronautics Inc., (AIAA Guidance, Navigation, and Control Conference 2015, MGNC 2015 - Held at the AIAA SciTech Forum 2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verified planar formation control algorithms by composition of primitives

  Bobadilla, L., Johnson, T. T., Laviers, A. & Huzaifa, U., 2015, AIAA Guidance, Navigation, and Control Conference. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Guidance, Navigation, and Control Conference, 2013).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Veriflow: Verifying network-wide invariants in real time

  Khurshid, A., Zhou, W., Caesar, M. & Godfrey, P. B., 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 467-472 6 p. (Computer Communication Review; vol. 42, no. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• VeriFlow: Verifying network-wide invariants in real time

  Khurshid, A., Zou, X., Zhou, W., Caesar, M. & Brighten Godfrey, P., 2013, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013. USENIX Association, p. 15-27 13 p. (Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• VeriFlow: Verifying network-wide invariants in real time

  Khurshid, A., Zhou, W., Caesar, M. & Godfrey, P. B., 2012, HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks. p. 49-54 6 p. (HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Verifying analog oscillator circuits using forward/backward abstraction refinement

  Frehse, G., Krogh, B. H. & Rutenbar, R. A., 2006, Proceedings - Design, Automation and Test in Europe, DATE'06. Institute of Electrical and Electronics Engineers Inc., 1656886. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying average dwell time by solving optimization problems

  Mitra, S., Lynch, N. & Liberzon, D., 2006, Hybrid Systems: Computation and Control - 9th International Workshop, HSCC 2006, Proceedings. p. 476-490 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3927 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying average dwell time of hybrid systems

  Mitra, S., Liberzon, D. & Lynch, N., Dec 1 2008, In: Transactions on Embedded Computing Systems. 8, 1, 3.

  Research output: Contribution to journal › Article › peer-review

• Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction

  Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 3012-3017 6 p. 7798719. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

  Hsieh, C., Li, Y., Sun, D., Joshi, K., Misailovic, S. & Mitra, S., Nov 1 2022, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41, 11, p. 4205-4216 12 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Verifying cyber-physical interactions in safety-critical systems

  Mitra, S., Wongpiromsarn, T. & Murray, R. M., 2013, In: IEEE Security and Privacy. 11, 4, p. 28-37 10 p., 6531612.

  Research output: Contribution to journal › Article › peer-review

• Verifying dynamic power management schemes using statistical model checking

  Kumar, J. A. & Vasudevan, S., Apr 26 2012, ASP-DAC 2012 - 17th Asia and South Pacific Design Automation Conference. p. 579-584 6 p. 6165023. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying IO Synchronization from MPI Traces

  Yellapragada, S., Wang, C. & Snir, M., 2021, Proceedings of PDSW 2021: IEEE/ACM 6th International Parallel Data Systems Workshop, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 41-46 6 p. (Proceedings of PDSW 2021: IEEE/ACM 6th International Parallel Data Systems Workshop, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying nonlinear analog and mixed-signal circuits with inputs

  Fan, C., Meng, Y., Maier, J., Bartocci, E., Mitra, S. & Schmid, U., Jan 1 2018, In: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018: Oxford, United Kingdom, 11—13 July 2018. 51, 16, p. 241-246 6 p.

  Research output: Contribution to journal › Article › peer-review

• Verifying optimizations for concurrent programs

  Mansky, W. & Gunter, E. L., 2014, 1st International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2014. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 15-26 12 p. (OpenAccess Series in Informatics; vol. 40).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying quantitative reliability for programs that execute on unreliable hardware

  Carbin, M., Misailovic, S. & Rinard, M. C., Oct 2013, In: ACM SIGPLAN Notices. 48, 10, p. 33-52 20 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Verifying quantitative reliability for programs that execute on unreliable hardware

  Carbin, M., Misailovic, S. & Rinard, M. C., Aug 2016, In: Communications of the ACM. 59, 8, p. 83-91 9 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Verifying quantitative reliability for programs that execute on unreliable hardware

  Carbin, M., Misailovic, S. & Rinard, M. C., 2013, SPLASH Indianapolis 2013: OOPSLA 2013 - Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages and Applications. p. 33-52 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Verifying safety and accuracy of approximate parallel programs via canonical sequentialization

  Fernando, V., Joshi, K. & Misailovic, S., Oct 2019, In: Proceedings of the ACM on Programming Languages. 3, OOPSLA, A119.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Verifying security invariants in expressoS

  Mai, H., Pek, E., Xue, H., King, S. T. & Madhusudan, P., Apr 2013, In: ACM SIGPLAN Notices. 48, 4, p. 293-303 11 p.

  Research output: Contribution to journal › Article › peer-review

• Verifying security invariants in expressOS

  Edgar, H. M., Xue, P. H., King, S. T. & Madhusudan, P., 2013, ASPLOS 2013 - 18th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 293-303 11 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verifying the evolution of probability distributions governed by a DTMC

  Kwon, Y. & Agha, G., 2011, In: IEEE Transactions on Software Engineering. 37, 1, p. 126-141 16 p., 5557891.

  Research output: Contribution to journal › Article › peer-review

• Verifying tolerant systems using polynomial approximations

  Prabhakar, P., Vladimerou, V., Viswanathan, M. & Dullerud, G. E., 2009, Proceedings - Real-Time Systems Symposium, RTSS 2009. p. 181-190 10 p. 5368828. (Proceedings - Real-Time Systems Symposium).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verilog-A compatible recurrent neural network model for transient circuit simulation

  Chen, Z., Raginsky, M. & Rosenbaum, E., Apr 2 2018, 2017 IEEE 26th Conference on Electrical Performance of Electronic Packaging and Systems, EPEPS 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-3 3 p. (2017 IEEE 26th Conference on Electrical Performance of Electronic Packaging and Systems, EPEPS 2017; vol. 2018-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verisim: Formal analysis of network simulations

  Bhargavan, K., Gunter, C. A., Kim, M., Lee, I., Obradovic, D., Sokolsky, O. & Viswanathan, M., 2000, Proceedings of the ACM SIGSOFT 2000 International Symposium on Software Testing and Analysis. Harrold, M. J. & Harrold, M. J. (eds.). p. 2-13 12 p. (Proceedings of the ACM SIGSOFT 2000 International Symposium on Software Testing and Analysis).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Verisim: Formal analysis of network simulations

  Bhargavan, K., Gunter, C. A., Kim, M., Lee, I., Obradovic, D., Sokolsky, O. & Viswanathan, M., Feb 2002, In: IEEE Transactions on Software Engineering. 28, 2, p. 129-145 17 p.

  Research output: Contribution to journal › Article › peer-review

• Vermilion River Mussel Projects – from Reintroductions to Dam Removal

  Tiemann, J., 2016, Illinois Lakes Management Association Annual Conference.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• VERMILION RIVER MUSSEL PROJECTS – FROM REINTRODUCTIONS TO DAM REMOVAL

  Tiemann, J., Stodola, A., Douglass, S. & Cummings, K. S., 2016, Society for Freshwater Science 2016 Annual Meeting, Sacramento, California.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Vermin

  Cole, L., Dec 16 2016, Early Modern Emotions: An Introduction. Broomhall, S. (ed.). New York: Routledge, p. 344-347 (Early Modern Themes).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Vermin, the proximate and often unpleasant stranger

  Mayo, C., Jan 1 2016, The Educational Significance of Human and Non-Human Animal Interactions: Blurring the Species Line. Palgrave Macmillan, p. 191-202 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Vernier and grating acuity in adult hooded rats: The influence of sex

  Seymoure, P. & Juraska, J. M., Aug 21 1997, In: Behavioral Neuroscience. 111, 4, p. 792-800 9 p.

  Research output: Contribution to journal › Article › peer-review

• Versal deformations and superpotentials for rational curves in smooth threefolds

  Katz, S., 2002, Symposium in Honor of C. H. Clemens (Salt Lake City, UT, 2000). American Mathematical Society, Vol. 312. p. 129-136 8 p. (Contemp. Math.).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Versatile and on-demand biologics co-production in yeast

  Cao, J., Perez-Pinera, P., Lowenhaupt, K., Wu, M. R., Purcell, O., De La Fuente-Nunez, C. & Lu, T. K., Dec 1 2018, In: Nature communications. 9, 1, 77.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Versatile Core–Sheath Yarn for Sustainable Biomechanical Energy Harvesting and Real‐Time Human‐Interactive Sensing.

  Dong, K., Deng, J., Ding, W., Wang, A. C., Wang, P., Cheng, C., Jin, L., Gu, B., Sun, B., Wang, Z. L. & Wang, Y-C., Aug 16 2018, In: Advanced Energy Materials. 8, 23, p. 1-12 12 p., 1801114.

  Research output: Contribution to journal › Article › peer-review

• Versatile electrochemical approaches

  Arrigan, D. W. M. & Rodríguez-López, J., Sep 7 2020, In: Analyst. 145, 17, p. 5696-5698 3 p.

  Research output: Contribution to journal › Editorial › peer-review

• Versatile generation of optical vector fields and vector beams using a non-interferometric approach

  Tripathi, S. & Toussaint, K. C., May 7 2012, In: Optics Express. 20, 10, p. 10788-10795 8 p.

  Research output: Contribution to journal › Article › peer-review

• Versatile photonic crystal fiber-enabled source for multi-modality biophotonic imaging beyond conventional multiphoton microscopy

  Tu, H. & Boppart, S. A., May 7 2010, Multiphoton Microscopy in the Biomedical Sciences X. 75692D. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 7569).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Versatile plasma technology for UV-visible scene projector

  Ginn, R., Solomon, S., Park, S. J., Eden, J. G., Guy, J. & Peters, E., Nov 15 2007, Technologies for Synthetic Environments: Hardware-in-the-Loop Testing XII. 65440F. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 6544).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Versatile refresh: Low complexity refresh scheduling for high-throughput multi-banked eDRAM

  Alizadeh, M., Javanmard, A., Chuang, S. T., Iyer, S. & Lu, Y., 2012, SIGMETRICS/Performance 2012 - Proceedings of the 2012 ACM SIGMETRICS/Performance, Joint International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 247-258 12 p. (Performance Evaluation Review; vol. 40, no. 1 SPEC. ISS.).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Versatile Target-Guided Screen for Discovering Bidirectional Transcription Inhibitors of a Trinucleotide Repeat Disease

  Hagler, L. D., Krueger, S. B., Luu, L. M., Lanzendorf, A. N., Mitchell, N. L., Vergara, J. I., Curet, L. D. & Zimmerman, S. C., Jun 10 2021, In: ACS Medicinal Chemistry Letters. 12, 6, p. 935-940 6 p.

  Research output: Contribution to journal › Article › peer-review

• Versatile technique for assessing thickness of 2D layered materials by XPS

  Zemlyanov, D. Y., Jespersen, M., Zakharov, D. N., Hu, J., Paul, R., Kumar, A., Pacley, S., Glavin, N., Saenz, D., Smith, K. C., Fisher, T. S. & Voevodin, A. A., Feb 7 2018, In: Nanotechnology. 29, 11, 115705.

  Research output: Contribution to journal › Article › peer-review

• Versatile transporter apparatus for experiments with optically trapped Bose-Einstein condensates

  Pertot, D., Greif, D., Albert, S., Gadway, B. & Schneble, D., 2009, In: Journal of Physics B: Atomic, Molecular and Optical Physics. 42, 21, 215305.

  Research output: Contribution to journal › Article › peer-review

• Versatility in corrinoid salvaging and remodeling pathways supports corrinoid-dependent metabolism in Dehalococcoides mccartyi

  Yi, S., Seth, E. C., Men, Y. J., Stabler, S. P., Allen, R. H., Alvarez-Cohen, L. & Taga, M. E., Nov 2012, In: Applied and environmental microbiology. 78, 21, p. 7745-7752 8 p.

  Research output: Contribution to journal › Article › peer-review

• Versican secreted by the ovary links ovulation and migration in fallopian tube derived serous cancer

  Russo, A., Zizhao, Y., Heyrman, G. M., Cain, B. P., Lopez Carrero, A., Isenberg, B. C., Dean, M. J., Coppeta, J. & Burdette, J. E., Sep 1 2022, In: Cancer Letters. 543, 215779.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Version>4: Invisible Networks

  Hamilton, K., 2004

  Research output: Non-textual form › Exhibition

• Version-Aware rating prediction for mobile app recommendation

  Yao, Y., Zhao, W. X., Wang, Y., Tong, H., Xu, F. & Lu, J., Jun 2017, In: ACM Transactions on Information Systems. 35, 4, 3015458.

  Research output: Contribution to journal › Article › peer-review

• VERSIONS FRANÇAISES DE L'AMÉRIQUE: SARTRE ET LE MODELE TOCQUEVILLE

  Mathy, J-P., Oct 1 1988, In: Contemporary French Civilization . 12, 2, p. 207-225

  Research output: Contribution to journal › Article › peer-review