Center for South Asian and Middle Eastern Studies

Filter
Conference contribution

Search results

  • 2014

    Actors programming for the mobile cloud

    Agha, G., Sep 16 2014, Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014. Muntean, T., Rolland, R. & Mugwaneza, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 3-9 7 p. 6900192. (Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014).

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

  • A microfabricated, biohybrid, soft robotics flagellum

    Williams, B. J., Anand, S. V., Rajagopalan, J. & Saif, M. T. A., 2014, MEMS 2014 - 27th IEEE International Conference on Micro Electro Mechanical Systems. Institute of Electrical and Electronics Engineers Inc., p. 192-195 4 p. 6765607. (Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS)).

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

  • Effect of installation parameters on performance of hot-poured crack sealants

    Solanki, P., Ozer, H., Yousefi, S. S. & Al-Qadi, I. L., 2014, T and DI Congress 2014: Planes, Trains, and Automobiles - Proceedings of the 2nd Transportation and Development Institute Congress. Varma, A. & Gosling, G. D. (eds.). American Society of Civil Engineers, p. 142-152 11 p. (T and DI Congress 2014: Planes, Trains, and Automobiles - Proceedings of the 2nd Transportation and Development Institute Congress).

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

  • Pavement responses as function of truck tire type

    Hernandez, J. A., Al-Qadi, I. L., Ozer, H., Greene, J., Choubane, B., Wu, R., Harvey, J. & Weaver, E. J., 2014, Asphalt Pavements - Proceedings of the International Conference on Asphalt Pavements, ISAP 2014. Taylor and Francis - Balkema, p. 1125-1134 10 p. (Asphalt Pavements - Proceedings of the International Conference on Asphalt Pavements, ISAP 2014; vol. 2).

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

  • Solving complex path conditions through heuristic search on induced polytopes

    Dinges, P. & Agha, G., Nov 16 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, p. 425-436 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 16-21-November-2014).

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

  • Targeted test input generation using symbolic-concrete backward execution

    Dinges, P. & Agha, G., 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, p. 31-36 6 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

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

  • Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications

    Shiftehfar, R., Mechitov, K. & Agha, G., Dec 3 2014, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. Kesselman, C. (ed.). IEEE Computer Society, p. 966-967 2 p. 6973850. (IEEE International Conference on Cloud Computing, CLOUD).

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

  • 2013

    Artificial swimmer powered by cardiomyocytes

    Williams, B., Anand, S., Rajagopalan, J. & Saif, M. T. A., 2013, ASME 2013 Summer Bioengineering Conference, SBC 2013. (ASME 2013 Summer Bioengineering Conference, SBC 2013; vol. 1 A).

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

  • Automated inference of atomic sets for safe concurrent execution

    Dinges, P., Charalambides, M. & Agha, G., 2013, Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013. Association for Computing Machinery, p. 1-8 8 p. (Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013).

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

  • Euclidean model checking: A scalable method for verifying quantitative properties in probabilistic systems

    Agha, G., 2013, Algebraic Informatics - 5th International Conference, CAI 2013, Proceedings. p. 1-3 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8080 LNCS).

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

  • Impact of tire loading and tire pressure on measured 3d contact stresses

    Hernandez, J. A., Al-Qadi, I. & De Beer, M., 2013, Airfield and Highway Pavement 2013: Sustainable and Efficient Pavements - Proceedings of the 2013 Airfield and Highway Pavement Conference. p. 551-560 10 p. (Airfield and Highway Pavement 2013: Sustainable and Efficient Pavements - Proceedings of the 2013 Airfield and Highway Pavement Conference).

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

  • In vitro cancer metastasis induced by mechanical force

    Tang, X. & Saif, T., 2013, ASME 2013 2nd Global Congress on NanoEngineering for Medicine and Biology, NEMB 2013. NEMB2013-93130. (ASME 2013 2nd Global Congress on NanoEngineering for Medicine and Biology, NEMB 2013).

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

  • Pavement layer interface shear strength using a hyperbolic mohr-coulomb model and finite element analysis

    Ozer, H., Al-Qadi, I. L., Hasiba, K. I., Wang, H. & Salinas, A., 2013, Airfield and Highway Pavement 2013: Sustainable and Efficient Pavements - Proceedings of the 2013 Airfield and Highway Pavement Conference. p. 1445-1456 12 p. (Airfield and Highway Pavement 2013: Sustainable and Efficient Pavements - Proceedings of the 2013 Airfield and Highway Pavement Conference).

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

  • Realistic case studies of wireless structural control

    Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. A. & Spencer, B. F., 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. 6604012. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

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

  • Realistic case studies of wireless structural control

    Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. & Spencer, B. F., 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

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

    Open Access

  • Rutting potential of thin and durable asphalt wearing courses: Laboratory prediction and field performance

    Son, S., Al-Qadi, I. L. & Zehr, T. G., 2013, Airfield and Highway Pavement 2013: Sustainable and Efficient Pavements - Proceedings of the 2013 Airfield and Highway Pavement Conference. p. 1240-1253 14 p. (Airfield and Highway Pavement 2013: Sustainable and Efficient Pavements - Proceedings of the 2013 Airfield and Highway Pavement Conference).

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

  • Selection of non-destructive testing technologies for asphalt pavement construction

    Schmitt, R. L., Faheem, A. & Al-Qadi, I. L., 2013, Airfield and Highway Pavement 2013: Sustainable and Efficient Pavements - Proceedings of the 2013 Airfield and Highway Pavement Conference. p. 573-584 12 p. (Airfield and Highway Pavement 2013: Sustainable and Efficient Pavements - Proceedings of the 2013 Airfield and Highway Pavement Conference).

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

  • 2012

    AGERE! Programming with actors, agents and decentralized control abstracts

    Agha, G., Bordini, R. H., Marron, A. & Ricci, A., 2012, SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity. p. 215-216 2 p. (SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity).

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

  • An architecture for dynamic service-oriented computing in networked embedded systems

    Mechitov, K. & Agha, G., 2012, Software Service and Application Engineering: Essays Dedicated to Bernd Krame on the Occasion of His 65th Birthday. Springer, p. 147-164 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7365).

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

  • Building portable middleware services for heterogeneous cyber-physical systems

    Mechitov, K. & Agha, G., 2012, 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings. p. 31-36 6 p. 6225732. (2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings).

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

  • How well can congestion pricing neutralize denial of service attacks?

    Vulimiri, A., Agha, G. A., Godfrey, P. B. & Lakshminarayanan, K., 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. 137-150 14 p. (Performance Evaluation Review; vol. 40, no. 1 SPEC. ISS.).

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

  • Loss of cell adhesion in colon cancer cells during in vitro metastasis measured by bio-mems force sensor

    Tang, X. & Saif, M. T. A., 2012, ASME 2012 Summer Bioengineering Conference, SBC 2012. p. 251-252 2 p. (ASME 2012 Summer Bioengineering Conference, SBC 2012).

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

  • Mechanical communication between cardiac cell leads to synchrony in beating

    Tang, X., Bajaj, P., Bashir, R. & Saif, T., 2012, ASME 2012 Summer Bioengineering Conference, SBC 2012. p. 333-334 2 p. (ASME 2012 Summer Bioengineering Conference, SBC 2012).

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

  • Scoped synchronization constraints for large scale actor systems

    Dinges, P. & Agha, G., 2012, Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Proceedings. p. 89-103 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7274 LNCS).

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

  • The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study

    Moinzadeh, P., Mechitov, K., Shiftehfar, R., Abdelzaher, T., Agha, G. & Spencer, B. F., 2012, 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2012. p. 380-388 9 p. 6275801. (Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops; vol. 1).

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

  • TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs

    Tasharofi, S., Karmani, R. K., Lauterburg, S., Legay, A., Marinov, D. & Agha, G., 2012, Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Proceedings. p. 219-234 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7273 LNCS).

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

  • 2011

    AGERE! (Actors and aGEnts REloaded): Splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control

    Agha, G., Bordini, R. H. & Ricci, A., 2011, SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11. p. 143-145 3 p. (SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11).

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

  • AGERE! (Actors and aGEnts REloaded)- SPLASH 2011Workshop on programming systems, languages and applications based on actors, agents, and decentralized control

    Agha, G., Bordini, R. H. & Ricci, A., 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 325-326 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Economics of bioenergy crops for electricity generation: Implications for land use and greenhouse gases

    Khanna, M., Onal, H., Dhungana, B. & Wander, M. M., 2011, Dynamics, Games and Science II: DYNA 2008, in Honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8-12, 2008. Matos Peixoto, M., Adrego Pinto, A. & Rand, D. A. (eds.). Springer, p. 471-501 31 p. (Springer Proceedings in Mathematics; vol. 2).

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

  • Flexible pavement quality assurance using ground penetrating radar

    Leng, Z. & Al-Qadi, I., 2011, T and DI Congress 2011: Integrated Transportation and Development for a Better Tomorrow - Proceedings of the 1st Congress of the Transportation and Development Institute of ASCE. p. 617-627 11 p. (T and DI Congress 2011: Integrated Transportation and Development for a Better Tomorrow - Proceedings of the 1st Congress of the Transportation and Development Institute of ASCE).

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

  • Impact of non-uniform aircraft tire pressure on airfield pavement responses

    Wang, H. & Al-Qadi, I. L., 2011, T and DI Congress 2011: Integrated Transportation and Development for a Better Tomorrow - Proceedings of the 1st Congress of the Transportation and Development Institute of ASCE. p. 844-853 10 p. (T and DI Congress 2011: Integrated Transportation and Development for a Better Tomorrow - Proceedings of the 1st Congress of the Transportation and Development Institute of ASCE).

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

  • Important fungal diseases of tomato in the United States of America

    Babadoost, M., Nov 25 2011, III International Symposium on Tomato Diseases. International Society for Horticultural Science, p. 85-92 8 p. (Acta Horticulturae; vol. 914).

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

  • Inferring ownership transfer for efficient message passing

    Negara, S., Karmani, R. K. & Agha, G., 2011, PPoPP'11 - Proceedings of the 2011 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 81-90 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

  • Laboratory evaluation of warm mix asphalt and asphalt mixtures with recycled materials

    Aurangzeb, Q., Kern, J., Ozer, H., Al-Qadi, I. L., Zehr, T. G., Trepanier, J. S. & Pine, W. J., 2011, T and DI Congress 2011: Integrated Transportation and Development for a Better Tomorrow - Proceedings of the 1st Congress of the Transportation and Development Institute of ASCE. p. 751-761 11 p. (T and DI Congress 2011: Integrated Transportation and Development for a Better Tomorrow - Proceedings of the 1st Congress of the Transportation and Development Institute of ASCE).

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

  • Leaf mold (Fulvia fulva), a serious threat to high tunnel tomato production in Illinois

    Babadoost, M., Nov 25 2011, III International Symposium on Tomato Diseases. International Society for Horticultural Science, p. 93-96 4 p. (Acta Horticulturae; vol. 914).

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

  • Model checking MDPs with a unique compact invariant set of distributions

    Chadha, R., Korthikanti, V. A., Viswanathan, M., Agha, G. & Kwon, Y., 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. p. 121-130 10 p. 6042036. (Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011).

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

  • Modelling hydrologic and geochemical filtering of reactive solute transport in catchments

    Rao, P. S. C., Basu, N. B., Zanarado, S., Harman, C. J., Sivapalan, M. & Rinaldo, A., 2011, GQ10: Groundwater Quality Management in a Rapidly Changing World. p. 451-454 4 p. (IAHS-AISH Publication; vol. 342).

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

  • On the energy complexity of parallel algorithms

    Korthikanti, V. A., Agha, G. & Greenstreet, M., 2011, Proceedings - 2011 International Conference on Parallel Processing, ICPP 2011. p. 562-570 9 p. 6047224. (Proceedings of the International Conference on Parallel Processing).

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

  • The mechanical sensitivity of vesicle dynamics in in vivo and in vitro neurons

    Ahmed, W. W., Li, T. C., Rubakhin, S., Chiba, A., Sweedler, J. V. & Saif, M. T. A., 2011, Technical Proceedings of the 2011 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2011. p. 436-439 4 p. (Technical Proceedings of the 2011 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2011; vol. 3).

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

  • 2010

    A novel way to characterize the non-specific surface adhesion of cancer cells and understand cancer metastasis

    Tang, X., Cappa, T., Kuhlenschmidt, T., Kuhlenschmidt, M. & Saif, T. A., 2010, Proceedings of the ASME International Mechanical Engineering Congress and Exposition 2009, IMECE 2009. American Society of Mechanical Engineers (ASME), p. 147-149 3 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings; vol. 11).

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

  • Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge

    Jang, S., Jo, H., Mechitov, K., Sim, S. H., Spencer, B. F., Agha, G., Cho, S., Jung, H. J., Yun, C. B. & Rice, J. A., 2010, Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference on Bridge Maintenance, Safety and Management. p. 185-192 8 p. (Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference on Bridge Maintenance, Safety and Management).

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

  • Avoiding energy wastage in parallel applications

    Korthikanti, V. A. & Agha, G., 2010, 2010 International Conference on Green Computing, Green Comp 2010. p. 149-163 15 p. 5598314. (2010 International Conference on Green Computing, Green Comp 2010).

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

  • Basset: A tool for systematic testing of actor programs

    Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G., 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-18. p. 363-364 2 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

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

  • Coordination Models and Languages: 12th International Conference, COORDINATION 2010 Amsterdam, The Netherlands, June 7-9, 2010 Proceedings

    Clarke, D. & Agha, G. A., 2010, Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings. Agha, G. & Clarke, D. (eds.). New York City: Springer, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6116).

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

  • Effect of field condition parameters on the performance of geosyntheticbased interlayer systems used to control reflective cracking in hot-mix asphalt overlays

    Baek, J., Al-Qadi, I. L., Buttlar, W. G. & Vespa, J., 2010, 9th International Conference on Geosynthetics - Geosynthetics: Advanced Solutions for a Challenging World, ICG 2010. Brazilian Chapter of the International Geosynthetics Society, p. 1473-1476 4 p. (9th International Conference on Geosynthetics - Geosynthetics: Advanced Solutions for a Challenging World, ICG 2010).

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

  • Evaluating ordering heuristics for dynamic partial-order reduction techniques

    Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G., 2010, Fundamental Approaches to Software Engineering - 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proceedings. p. 308-322 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6013 LNCS).

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

  • Highly linear, ultra sensitive bio-mems force sensors with large force measurement range

    Rajagopalan, J., Tofangchi, A. & Saif, M. T. A., 2010, MEMS 2010 - The 23rd IEEE International Conference on Micro Electro Mechanical Systems, Technical Digest. p. 88-91 4 p. 5442558. (Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS)).

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

  • Integrated approaches for management of Phytophthora blight (Phytophthora capsici) of cucurbits

    Babadoost, M., Pavon, C. & Thruppoyil, S. B., Aug 31 2010, Acta Horticulturae. International Society for Horticultural Science, p. 527-534 8 p. (Acta Horticulturae; vol. 871).

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

  • Mutation operators for actor systems

    Jagannath, V., Gligoric, M., Lauterburg, S., Marinov, D. & Agha, G., 2010, ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. p. 157-162 6 p. 5463644. (ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops).

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

  • Reasoning about MDPs as transformers of probability distributions

    Korthikanti, V. A., Viswanathan, M., Agha, G. & Kwon, Y. M., 2010, Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010. p. 199-208 10 p. 5600385. (Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010).

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

    Open Access