Find Research outputs

Search results

• Vercelli Homily XV and The Apocalypse of Thomas

  Wright, C. D., 2009, New Readings in the Vercelli Book. Toronto: University of Toronto press, p. 150-184 35 p.

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

• VerdictDB: Universalizing approximate query processing

  Park, Y., Mozafari, B., Sorenson, J. & Wang, J., May 27 2018, SIGMOD 2018 - Proceedings of the 2018 International Conference on Management of Data. Das, G., Jermaine, C., Eldawy, A. & Bernstein, P. (eds.). Association for Computing Machinery, p. 1461-1476 16 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

• Vergil, aeneid 5.458–60

  Jacobson, H., May 1999, In: The Classical Quarterly. 49, 1, p. 329-330 2 p.

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

• VerHealth: Vetting Medical Voice Applications through Policy Enforcement

  Shezan, F. H., Hu, H., Wang, G. & Tian, Y., Dec 17 2020, In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 4, 4, 3432233.

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

• Verifed Programs Can Party: Optimizing Kernel Extensions via Post-Verifcation Merging

  Kuo, H. C., Chen, K. H., Lu, Y., Williams, D., Mohan, S. & Xu, T., Mar 28 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery, Inc, p. 283-299 17 p. (EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems).

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

• Verifiable adaptive flight control: UCAV and aerial refueling

  Wise, K. A., Lavretsky, E., Hovakimyan, N., Cao, C. & Wang, J., 2008, AIAA Guidance, Navigation and Control Conference and Exhibit. 2008-6658. (AIAA Guidance, Navigation and Control Conference and Exhibit).

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

• Verifiable adaptive flight control: Unmanned combat aerial vehicle and aerial refueling

  Wang, J., Hovakimyan, N. & Cao, C., 2010, In: Journal of Guidance, Control, and Dynamics. 33, 1, p. 75-87 13 p.

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

• Verifiable L₁ adaptive controller for aerial refueling

  Wang, J., Patel, V. V., Cao, C., Hovakimyan, N. & Lavretsky, E., 2007, Collection of Technical Papers - AIAA Guidance, Navigation, and Control Conference 2007. American Institute of Aeronautics and Astronautics Inc., p. 1-23 23 p. (Collection of Technical Papers - AIAA Guidance, Navigation, and Control Conference 2007; vol. 1).

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

• Verifiable Obstacle Detection

  Bansal, A., Kim, H., Yu, S., Li, B., Hovakimyan, N., Caccamo, M. & Sha, L., 2022, Proceedings - 2022 IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022. IEEE Computer Society, p. 61-72 12 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2022-October).

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

• Verification and characterization of a mathematical model of particle size distribution

  Chen, Y., Zhang, Y., Barber, E. M. & Bundy, D. S., 1998, In: ASHRAE Transactions. 104, 2, p. 332-338 7 p.

  Research output: Contribution to journal › Conference article › peer-review

• Verification and trust: Background investigations preceding faculty appointment

  Finkin, M. W., Post, R. C. & Thomson, J. J., Nov 2004, In: Academe. 90, 6, p. 79-81 3 p.

  Research output: Contribution to journal › Review article › peer-review

• Verification and trust: Background investigations preceding faculty appointment

  Finkin, M. W., Post, R. C. & Thomson, J. J., Mar 2004, In: Academe. 90, 2, p. 113-115 3 p.

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

• Verification and validation of a project collaboration tool

  East, E. W., Kirby, J. G. & Liu, L. Y., Jan 2008, In: Automation in Construction. 17, 2, p. 201-214 14 p.

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

• Verification and validation of large eddy simulation with Nek5000 for cold leg mixing benchmark

  Lai, J. K., Merzari, E., Hassan, Y. A., Fischer, P. & Marin, O., Mar 2020, In: Nuclear Engineering and Design. 358, 110427.

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

• Verification and validation of nek 5000 for T-junction, matis, SIBERIA, and max experiments

  Obabko, A., Fischer, P., Marin, O., Merzari, E. & Pointer, D., 2015, International Topical Meeting on Nuclear Reactor Thermal Hydraulics 2015, NURETH 2015. American Nuclear Society, p. 1462-1473 12 p. (International Topical Meeting on Nuclear Reactor Thermal Hydraulics 2015, NURETH 2015; vol. 2).

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

• Verification as learning geometric concepts

  Sharma, R., Gupta, S., Hariharan, B., Aiken, A. & Nori, A. V., 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. p. 388-411 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).

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

• Verification by polymerase chain reaction of vertical transmission of Theileria sergenti in cows

  Baek, B. K., Soo, K. B., Kim, J. H., Hur, J., Lee, B. O., Jung, J. M., Onuma, M., Oluoch, A. O., Kim, C. H. & Kakoma, I., Oct 2003, In: Canadian Journal of Veterinary Research. 67, 4, p. 278-282 5 p.

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

• Verification of a fluid-dynamics solver using correlations with linear stability results

  Matheou, G., Pantano, C. & Dimotakis, P. E., May 10 2008, In: Journal of Computational Physics. 227, 11, p. 5385-5396 12 p.

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

• Verification of annotated models from executions

  Duggirala, P. S., Mitra, S. & Viswanathan, M., 2013, 2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013. IEEE Computer Society, 6658604. (2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013).

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

• Verification of bounded discrete horizon hybrid automata

  Vladimerou, V., Prabhakar, P., Viswanathan, M. & Dullerud, G., 2012, In: IEEE Transactions on Automatic Control. 57, 6, p. 1445-1455 11 p., 6096371.

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

• Verification of distributed systems with local-global predicates

  Chandy, K. M., Go, B., Mitra, S., Pilotto, C. & White, J., Sep 2011, In: Formal Aspects of Computing. 23, 5, p. 649-679 31 p.

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

• Verification of Error Models Through Low-level Simulation

  Tsai, T. K., Choi, G. S. & Iyer, R. K., 1994, p. 15-16. 2 p.

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

• Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

  Paul, S., Agha, G. A., Patterson, S. & Varela, C. A., 2021, NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings. Dutle, A., Muñoz, C. A., Moscato, M. M., Titolo, L. & Perez, I. (eds.). Springer, p. 249-267 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12673 LNCS).

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

• Verification of form tolerances part I: Basic issues, flatness, and straightness

  Carr, K. & Ferreira, P., Apr 1995, In: Precision Engineering. 17, 2, p. 131-143 13 p.

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

• Verification of form tolerances part II: Cylindricity and straightness of a median line

  Carr, K. & Ferreira, P., Apr 1995, In: Precision Engineering. 17, 2, p. 144-156 13 p.

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

• 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