Find Research outputs

Search results

• Conference contribution

  Forces of Change: Past and Present

  Uihlein, M. S., 2013, Proceedings from the 2012 Association of Collegiate Schools of Architecture International Conference in Barcelona. ACSA Press, p. 372-380 9 p.

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

• Forecasting hypoxia in Corpus Christi Bay, Texas by model fusion

  Chinta, I. & Minsker, B. S., Aug 2 2010, World Environmental and Water Resources Congress 2010: Challenges of Change - Proceedings of the World Environmental and Water Resources Congress 2010. p. 335-343 9 p. (World Environmental and Water Resources Congress 2010: Challenges of Change - Proceedings of the World Environmental and Water Resources Congress 2010).

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

• Forecasting hypoxia in Corpus Christi Bay, Texas by model fusion

  Chinta, I. & Minsker, B. S., Jul 21 2011, World Environmental and Water Resources Congress 2011: Bearing Knowledge for Sustainability - Proceedings of the 2011 World Environmental and Water Resources Congress. p. 1611-1619 9 p. (World Environmental and Water Resources Congress 2011: Bearing Knowledge for Sustainability - Proceedings of the 2011 World Environmental and Water Resources Congress).

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

• Forecasting the Responses of Bighead and Silver Carp Populations to Commercial Harvest in the Illinois River

  Catalano, M., Tsehaye, I., Roth, B. M. & Sass, G. G., 2012, 142nd Annual Meeting of the American Fisheries Society (AFS 2012).

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

• Foreground object detection in highly dynamic scenes using saliency

  Lin, K. H., Khorrami, P., Wang, J., Hasegawa-Johnson, M. & Huang, T. S., Jan 28 2014, 2014 IEEE International Conference on Image Processing, ICIP 2014. Institute of Electrical and Electronics Engineers Inc., p. 1125-1129 5 p. 7025224. (2014 IEEE International Conference on Image Processing, ICIP 2014).

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

• Foreground segmentation in surveillance scenes containing a door

  Miller, A. & Shah, M., 2007, Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, ICME 2007. IEEE Computer Society, p. 1822-1825 4 p. 4285027. (Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, ICME 2007).

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

• Foreigners, Brahmins, Poets, or What? The Sociolinguistics of the Sanskrit “Renaissance”

  Hock, H. H., 2019, GLOCAL 2019 - Conference of the Global Council on Anthropological Linguistics in Asia, Proceedings. Omar, A. H. (ed.). Global Council on Anthropological Linguistics, p. 68-74 7 p. (GLOCAL Conference Proceedings; vol. 2019-January).

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

• Forenscope: A framework for live forensics

  Chan, E., Venkataraman, S., David, F., Chaugule, A. & Campbell, R., 2010, Proceedings - 26th Annual Computer Security Applications Conference, ACSAC 2010. p. 307-316 10 p. (Proceedings - Annual Computer Security Applications Conference, ACSAC).

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

• Forensic reconstruction of sediments and environments at the termini of prairie ice streams

  Curry, B. B., 2011, Abstracts with Program - Geological Society of America. Geological Society of America (GSA), Boulder, CO, United States, Vol. 43. p. 485

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

• Forest of octree DSMC simulations of flow through porous media

  Jambunathan, R. & Levin, D. A., Nov 15 2016, 30th International Symposium on Rarefied Gas Dynamics, RGD 2016. Struchtrup, H. & Ketsdever, A. (eds.). American Institute of Physics Inc., 050009. (AIP Conference Proceedings; vol. 1786).

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

• Forging Common Place: The Mid-Continent's Transition from Wilderness to Landscape as Part of an American Mythology

  Sears, S. M., 2012, CELA Annual Meeting. Champaign, IL, p. 29 1 p.

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

• Formal derivation of direct torque control for induction motors using the singular perturbation method

  Sorchini, Z. & Krein, P. T., 2005, 36th IEEE Power Electronics Specialists Conference 2005. p. 2422-2428 7 p. 1581972. (PESC Record - IEEE Annual Power Electronics Specialists Conference; vol. 2005).

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

• Formal design, implementation and verification of blockchain languages

  Rosu, G., Jul 1 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 108).

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

• Formal design of cloud computing systems in maude

  Meseguer, J., 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer, p. 5-19 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

• Formal design of communication checkers for ICCP using UPPAAL

  Malik, S., Berthier, R., Bobba, R. B., Campbell, R. H. & Sanders, W. H., 2013, 2013 IEEE International Conference on Smart Grid Communications, SmartGridComm 2013. p. 486-491 6 p. 6688005. (2013 IEEE International Conference on Smart Grid Communications, SmartGridComm 2013).

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

• Formalization and correctness of the pals architectural pattern for distributed real-time systems

  Meseguer, J. & Ölveczky, P. C., 2010, Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Proceedings. p. 303-320 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6447 LNCS).

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

• Formalizing Construction Sequencing Knowledge and Mining Company-Specific Best Practices from Past Project Schedules

  Amer, F. & Golparvar-Fard, M., 2019, Computing in Civil Engineering 2019: Visualization, Information Modeling, and Simulation - Selected Papers from the ASCE International Conference on Computing in Civil Engineering 2019. Cho, Y. K., Leite, F., Behzadan, A. & Wang, C. (eds.). American Society of Civil Engineers, p. 215-223 9 p. (Computing in Civil Engineering 2019: Visualization, Information Modeling, and Simulation - Selected Papers from the ASCE International Conference on Computing in Civil Engineering 2019).

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

• Formalizing Correct-by-Construction Casper in Coq

  Li, E., Serbanuta, T., Diaconescu, D., Zamfir, V. & Rosu, G., May 2020, IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020. Institute of Electrical and Electronics Engineers Inc., 9169468. (IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020).

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

• Formalizing evidence type definitions for drug-drug interaction studies to improve evidence base curation

  Utecht, J., Brochhausen, M., Judkins, J., Schneider, J. & Boyce, R. D., 2017, MEDINFO 2017: Precision Healthcare through Informatics - Proceedings of the 16th World Congress on Medical and Health Informatics. Dongsheng, Z., Gundlapalli, A. V. & Marie-Christine, J. (eds.). IOS Press, p. 960-964 5 p. (Studies in Health Technology and Informatics; vol. 245).

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

• Formalizing system behavior for evaluating a system hang detector

  Wang, L., Kalbarczyk, Z. T. & Iyer, R. K., 2008, Proceedings of the 27th IEEE International Symposium on Reliable Distributed Systems, SRDS 2008. p. 269-278 10 p. 4690821. (Proceedings of the IEEE Symposium on Reliable Distributed Systems).

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

• Formally specified monitoring of temporal properties

  Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I. & Sokolsky, O., 1999, Proceedings of the 11th Euromicro Conference on Real-Time Systems, ECRTS 1999. p. 114-122 9 p. 777457. (Proceedings - Euromicro Conference on Real-Time Systems).

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

• Formal modeling and analysis of cassandra in maude

  Liu, S., Rahman, M. R., Skeirik, S., Gupta, I. & Meseguer, J., 2014, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. Merz, S. & Pang, J. (eds.). Springer, p. 332-347 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8829).

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

• Formal modeling and analysis of RAMP transaction systems

  Liu, S., Ganhotra, J., Ölveczky, P. C., Gupta, I., Rahman, M. R. & Meseguer, J., Apr 4 2016, 2016 Symposium on Applied Computing, SAC 2016. Association for Computing Machinery, p. 1700-1707 8 p. (Proceedings of the ACM Symposium on Applied Computing; vol. 04-08-April-2016).

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

• Formal modeling and analysis of the walter transactional data store

  Liu, S., Ölveczky, P. C., Wang, Q. & Meseguer, J., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer, p. 136-152 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

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

• Formal patterns for multi-rate distributed real-time systems

  Bae, K., Meseguer, J. & Ölveczky, P. C., Jan 28 2013, Formal Aspects of Component Software - 9th International Symposium, FACS 2012, Revised Selected Papers. p. 1-18 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7684 LNCS).

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

• Formal prototyping in early stages of protocol design

  Goodloe, A., Gunter, C. & Stehr, M. O., 2005, Proceedings of the 2005 Workshop on Issues in the Theory of Security, WITS '05. p. 67-80 14 p. (Proceedings of the 2005 Workshop on Issues in the Theory of Security, WITS '05).

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

• Formal reasoning of various categories of widely exploited security vulnerabilities using pointer taintedness semantics

  Chen, S., Pattabiraman, K., Kalbarczyk, Z. & Iyer, R. K., 2004, Security and Protection in Information Processing systems - IFIP 18th World Computer Congress, TC11 19th International Information Security Conference, SEC 2004. Springer, p. 83-99 17 p. (IFIP Advances in Information and Communication Technology; vol. 147).

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

• Formal semantics and analysis of behavioral AADL models in real-time Maude

  Ölveczky, P. C., Boronat, A. & Meseguer, J., 2010, Formal Techniques for Distributed Systems - Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010, Proceedings. p. 47-62 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6117 LNCS).

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

• Formal simulation and analysis of the CASH scheduling algorithm in Real-Time Maude

  Ölveczky, P. C. & Caccamo, M., 2006, Fundamental Approaches to Software Engineering - 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. Springer, p. 357-372 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3922 LNCS).

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

  Open Access

• Formal specification and analysis of active networks and communication protocols: The Maude experience

  Denker, G., Meseguer, J. & Talcott, C., 2000, Proceedings - DARPA Information Survivability Conference and Exposition, DISCEX 2000. Institute of Electrical and Electronics Engineers Inc., p. 251-265 15 p. 825030. (Proceedings - DARPA Information Survivability Conference and Exposition, DISCEX 2000; vol. 1).

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

• Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system

  Ramasamy, H. V., Cukier, M. & Sanders, W. H., 2002, Proceedings - 2002 Pacific Rim International Symposium on Dependable Computing, PRDC 2002. IEEE Computer Society, p. 9-18 10 p. 1185613. (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; vol. 2002-January).

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

• Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system

  Ramasamy, H. G. V., Cukier, M. & Sanders, W. H., 2003, Foundations of Intrusion Tolerant Systems, OASIS 2003. Lala, J. H. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 251-260 10 p. 1264937. (Foundations of Intrusion Tolerant Systems, OASIS 2003).

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

• Formal specification and verification of Java refactorings

  Garrido, A. & Meseguer, J., 2006, Proceedings - Sixth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2006. p. 165-174 10 p. 4026866. (Proceedings - Sixth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2006).

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

• Formal techniques for distributed objects, components, and systems: 35th IFIP WG 6.1 international conference, FORTE 2015 held as part of the 10th international federated conference on distributed computing techniques, discotec 2015 grenoble, france, june 2-4, 2015 proceedings

  Graf, S. & Viswanathan, M., 2015, Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Graf, S. & Viswanathan, M. (eds.). Springer, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9039).

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

• Formal verification of programs that use MPI one-sided communication

  Pervez, S., Gopalakrishnan, G., Kirby, R. M., Thakur, R. & Gropp, W., 2006, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 13th European PVM/MPI User's Group Meeting, Proceedings. Springer, p. 30-39 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4192 LNCS).

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

• Formation and transport of correlated electronic states at room temperature in graphene bilayers

  Shumway, J. & Gilbert, M. J., 2010, Graphene, Ge/III-V, and Emerging Materials for Post-CMOS Applications 2. 5 ed. Electrochemical Society Inc., p. 29-37 9 p. (ECS Transactions; vol. 28, no. 5).

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

• Formation control with triangulated Laman graphs

  Chen, X., Belabbas, M. A. & Basar, T., Feb 8 2015, 54rd IEEE Conference on Decision and Control,CDC 2015. Institute of Electrical and Electronics Engineers Inc., p. 4115-4120 6 p. 7402860. (Proceedings of the IEEE Conference on Decision and Control; vol. 54rd IEEE Conference on Decision and Control,CDC 2015).

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

• Formation of an iron-based inorganic polymer (geopolymer)

  Bell, J. L. & Kriven, W. M., May 13 2010, Mechanical Properties and Performance of Engineering Ceramics and Composites IV - A Collection of Papers Presented at the 33rd International Conference on Advanced Ceramics and Composites. 2 ed. p. 301-312 12 p. (Ceramic Engineering and Science Proceedings; vol. 30, no. 2).

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

• Formation of a thick A horizon through aggradational pedogenesis in the buried Brady soil, central Great Plains

  Mason, J. A., Johnson, W. C., Miao, X., Jacobs, P. M. & Goble, R. J., 2008, Abstracts with Programs - Geological Society of America. Boulder, CO: Geological Society of America, Vol. 40. p. 534

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

• Formation of double-layer Cu₃Sn in solid-state aging process at the interface of eutectic SnBi solder and (100) single crystal Cu

  Shang, P. J., Liu, Z. Q., Li, D. X. & Shang, J. K., 2008, Proceedings, 2008 International Conference on Electronic Packaging Technology and High Density Packaging, ICEPT-HDP 2008. 4607061

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

• For Medicinal Purposes: Health and Wellness at a Turn of the Century Boarding House

  Rohe, R. W., 2014, MAC 2014 Abstracts.

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

• Formulation of a biobased gear oil utilizing boron technology

  Doll, K. M., Heise, G. L., Myslinska, M. & Sharma, B. K., 2012, ASME/STLE 2012 International Joint Tribology Conference, IJTC 2012. p. 351-353 3 p. (American Society of Mechanical Engineers, Tribology Division, TRIB).

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

• Formulation of incentives for decentralized transmission asset investments

  Contreras, J. & Gross, G., 2009, 2009 IEEE Power and Energy Society General Meeting, PES '09. 5275608. (2009 IEEE Power and Energy Society General Meeting, PES '09).

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

• Formulation of PID control for dc-dc converters based on capacitor current: A geometric context

  Kapat, S. & Krein, P. T., Oct 22 2010, 2010 IEEE 12th Workshop on Control and Modeling for Power Electronics, COMPEL 2010. 5562368. (2010 IEEE 12th Workshop on Control and Modeling for Power Electronics, COMPEL 2010).

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

• FORTIFY: Software Defined Data Plane Resilience

  Farooq, U., Anwar, M., Noor, H., Tahir, R., Prabhu, S., Kheradmand, A., Caesar, M. & Zaffar, F., 2022, 2022 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2022 - Proceedings. Horner, L., Tutschku, K., Cano, C. J. B., Bassoli, R., Esposito, F., Meuser, T. & Tkachuk, R-V. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 6-12 7 p. (2022 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2022 - Proceedings).

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

• Fort Johnson/Cantonment Davis: War of 1812–era military installations at the Des Moines Rapids [presentation]

  Nolan, D. J. & Dappert, C. P., 2011, 57th Annual Midwest Archaeological Conference; 13-15 October 2011; LaCrosse, Wisconsin.

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

• Fort Johnson and Cantonment Davis: Excavation notes and material recoveries

  Branstner, M. C. & Hickson, R. N., 2011, 57th Annual Midwest Archaeological Conference; 13-15 October 2011; LaCrosse, Wisconsin. p. 46

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

• Forward error correction for high-speed I/O

  Narasimha, R. L. & Shanbhag, N., 2008, 2008 42nd Asilomar Conference on Signals, Systems and Computers, ASILOMAR 2008. p. 1513-1517 5 p. 5074674. (Conference Record - Asilomar Conference on Signals, Systems and Computers).

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

• Forward semantic: A compiler-assisted instruction fetch method for heavily pipelined processors

  Chang, P. P. & Hwu, W. M. W., Aug 1 1989, Proceedings of the Annual International Symposium on Microarchitecture, MICRO. Allan, V. H. (ed.). IEEE Computer Society, p. 188-198 11 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

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

• For your eyes only

  Kravets, R., Tuncay, G. S. & Sundaram, H., Sep 11 2015, MCS 2015 - Proceedings of the 6th International Workshop on Mobile Cloud Computing and Services, co-located with MobiCom 2015. Association for Computing Machinery, Inc, p. 28-35 8 p. (MCS 2015 - Proceedings of the 6th International Workshop on Mobile Cloud Computing and Services, co-located with MobiCom 2015).

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