Find Research outputs

Search results

• Verification of hybrid mixture theory based two-scale unsaturated transport processes using controlled frying experiments

  Sandhu, J. S. & Takhar, P. S., Jul 2018, In: Food and Bioproducts Processing. 110, p. 26-39 14 p.

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

• Verification of Image Processing Based Visibility Models

  Larson, S. M., Cass, G. R., Hussey, K. J. & Luce, F., 1988, In: Environmental Science and Technology. 22, 6, p. 629-637 9 p.

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

• Verification of land-atmosphere coupling in forecast models, reanalyses, and land surface models using flux site observations

  Dirmeyer, P. A., Chen, L., Wu, J., Shin, C. S., Huang, B., Cash, B. A., Bosilovich, M. G., Mahanama, S., Koster, R. D., Santanello, J. A., Ek, M. B., Balsamo, G., Dutra, E. & Lawrence, D. M., Feb 1 2018, In: Journal of Hydrometeorology. 19, 2, p. 375-392 18 p.

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

• Verification of microarchitectural refinements in rule-based systems

  Dave, N., Katelman, M., King, M., Arvind & Meseguer, J., 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. p. 61-71 11 p. 5970511. (9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011).

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

• Verification of moltres for multiphysics simulations of fast-spectrum molten salt reactors

  Park, S. M. & Munk, M., Aug 2022, In: Annals of Nuclear Energy. 173, 109111.

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

• Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

  Wongpiromsarn, T., Mitra, S., Lamperski, A. & Murray, R. M., Aug 2012, In: Transactions on Embedded Computing Systems. 11, SUPPL. 2, 53.

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

• Verification of Radiative Transfer Schemes for the EHT

  Eatough, R., Gold, R., Broderick, A. E., Younsi, Z., Fromm, C. M., Gammie, C. F., Mościbrodzka, M., Pu, H. Y., Bronzwaer, T., Davelaar, J., Dexter, J., Ball, D., Chan, C. K., Kawashima, T., Mizuno, Y., Ripperda, B., Akiyama, K., Alberdi, A., Alef, W., Asada, K., & 188 othersAzulay, R., Baczko, A. K., Baloković, M., Barrett, J., Bintley, D., Blackburn, L., Boland, W., Bouman, K. L., Bower, G. C., Bremer, M., Brinkerink, C. D., Brissenden, R., Britzen, S., Broguiere, D., Byun, D. Y., Carlstrom, J. E., Chael, A., Chatterjee, K., Chatterjee, S., Chen, M. T., Chen, Y., Cho, I., Christian, P., Conway, J. E., Cordes, J. M., Crew, G. B., Cui, Y., Laurentis, M. D., Deane, R., Dempsey, J., Desvignes, G., Doeleman, S. S., Eatough, R., Falcke, H., Fish, V. L., Fomalont, E., Fraga-Encinas, R., Freeman, B., Friberg, P., Gómez, J. L., Galison, P., García, R., Gentaz, O., Georgiev, B., Goddi, C., Gu, M., Gurwell, M., Hada, K., Hecht, M. H., Hesper, R., Ho, L. C., Ho, P., Honma, M., Huang, C. W. L., Huang, L., Hughes, D. H., Inoue, M., Issaoun, S., James, D. J., Jannuzi, B. T., Janssen, M., Jeter, B., Jiang, W., Jimenez-Rosales, A., Johnson, M. D., Jorstad, S., Jung, T., Karami, M., Karuppusamy, R., Keating, G. K., Kettenis, M., Kim, J. Y., Kim, J., Kim, J., Kino, M., Koay, J. Y., Koch, P. M., Koyama, S., Kramer, M., Kramer, C., Krichbaum, T. P., Kuo, C. Y., Lauer, T. R., Lee, S. S., Li, Y. R., Li, Z., Lico, R., Lindqvist, M., Liu, K., Liuzzo, E., Lo, W. P., Lobanov, A. P., Loinard, L., Lonsdale, C., Lu, R. S., Macdonald, N. R., Markoff, S., Mao, J., Marrone, D. P., Marscher, A. P., Martí-Vidal, I., Matsushita, S., Matthews, L. D., Medeiros, L., Menten, K. M., Mizuno, I., Moran, J. M., Moriyama, K., Müller, C., Nagai, H., Nakamura, M., Nagar, N. M., Narayan, R., Narayanan, G., Natarajan, I., Neri, R., Ni, C., Noutsos, A., Okino, H., Ortiz-León, G. N., Oyama, T., zel, F., Palumbo, D. C. M., Park, J., Patel, N., Pen, U. L., Pesce, D. W., Plambeck, R., Piétu, V., Popstefanija, A., Porth, O., Preciado-López, J. A., Psaltis, D., Ramakrishnan, V., Rao, R., Rawlings, M. G., Raymond, A. W., Rezzolla, L., Roelofs, F., Rogers, A., Ros, E., Rose, M., Roshanineshat, A., Rottmann, H., Roy, A. L., Ruszczyk, C., Rygl, K. L. J., Sánchez, S., Sánchez-Arguelles, D., Sasada, M., Savolainen, T., Schuster, K. F., Schloerb, F. P., Shao, L., Shen, Z., Small, D., Sohn, B. W., Soohoo, J., Tiede, P., Tazaki, F., Tilanus, R. P. J., Titus, M., Toma, K., Torne, P., Trent, T., Traianou, T., Trippe, S., Tsuda, S., Van Langevelde, H. J., Bemmel, I. V., Van Rossum, D. R., Wagner, J., Wardle, J., Wex, N., Weintroub, J., Wharton, R., Wielgus, M., Wong, G. N., Wu, Q., Yoon, D., Young, K., Young, A., Yuan, F., Yuan, Y. F., Zensus, J. A., Zhao, G., Zhao, S. S. & Zhu, Z., Jul 10 2020, In: Astrophysical Journal. 897, 2, 148.

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

  Open Access

• Verification of randomized security protocols

  Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 8 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers Inc., 8005126. (Proceedings - Symposium on Logic in Computer Science).

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

• Verification of snapback model by transient I-V measurement for circuit simulation of ESD response

  Meng, K. H. & Rosenbaum, E., 2013, In: IEEE Transactions on Device and Materials Reliability. 13, 2, p. 371-378 8 p., 6504488.

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

• Verification of the IBOS Browser Security Properties in Reachability Logic

  Skeirik, S., Meseguer, J. & Rocha, C., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 176-196 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

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

• Verification of the optical system performance of FIFI-LS: The field-imaging far-infrared line spectrometer for SOFIA

  Schweitzer, M., Poglitsch, A., Raab, W., Klein, R., Hönle, R., Geis, N., Genzel, R., Looney, L. W., Hamidouche, M. & Henning, T. K., 2008, Ground-based and Airborne Instrumentation for Astronomy II. 70140Z. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7014).

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

• Verification of the quantum nonequilibrium work relation in the presence of decoherence

  Smith, A., Lu, Y., An, S., Zhang, X., Zhang, J. N., Gong, Z., Quan, H. T., Jarzynski, C. & Kim, K., Jan 2018, In: New Journal of Physics. 20, 1, 013008.

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

  Open Access

• Verification system for probabilistic hydrograph forecasts

  Welles, E. & Markus, M., 1996. 1 p.

  Research output: Contribution to conference › Paper › peer-review

• Verification Well #1: How a Deep Monitoring Well Was Used and Adapted to Meet the Evolving Monitoring Needs and Challenges at the Illinois Basin – Decatur Project

  Locke, R., Iranmanesh, A., Wimmer, B., Kirksey, J., Malkewicz, N. & Greenberg, S., 2018, 14th Greenhouse Gas Control Technologies Conference Melbourne 21-26 October 2018 (GHGT-14). Rochester, NY: Social Science Research Network

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

• 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. 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

• 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

• 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., Feb 2002, In: IEEE Transactions on Software Engineering. 28, 2, p. 129-145 17 p.

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

• 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

• 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