Faculty Profiles

Colleges and Departments

Dr. Rodion Podorozhny

  • Associate Professor at Computer Science, College of Science & Engineering

Scholarly and Creative Works

2018

  • Zheng, X., Julien, C., Podorozhny, R., Cassez, F., & Rakotoarivelo, T. (2018). Efficient and Scalable Runtime Monitoring for Cyber-Physical System. IEEE Systems Journal, 12(2), 1667–1678. https://doi.org/10.1109/JSYST.2016.2614599

2017

  • Podorozhny, R. (n.d.). Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. ACM Transactions Embedded Computer Systems, 16(4), 106:1-106:24.

2015

  • Zheng, X., Julien, C., Podorozhny, R., & Cassez, F. (2015). BraceAssertion: Runtime verification of cyber-physical systems. In Proceedings 2015 IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems Mass 2015 (pp. 298–306). https://doi.org/10.1109/MASS.2015.15

2013

  • Podorozhny, R. (2013). Design and verification of cellphone-based cyber-physical systems: A position paper. In Proceedings of the 9th IEEE International Conference on Collaborative Computing Networking Applications and Worksharing Collaboratecom 2013 (pp. 603–607). https://doi.org/10.4108/icst.collaboratecom.2013.254262

2010

  • Osterweil, L. J., Clarke, L. A., Ellison, A. M., Boose, E., Podorozhny, R., & Wise, A. (2010). Clear and precise specification of ecological data management processes and dataset provenance. IEEE Transactions on Automation Science and Engineering, 7(1), 189–195. https://doi.org/10.1109/TASE.2009.2021774

2008

  • Osterweil, L. J., Clarke, L. A., Ellison, A. M., Podorozhny, R., Wise, A., Boose, E., & Hadley, J. (2008). Experience in using a process language to define scientific workflow and generate dataset provenance. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (pp. 319–329). https://doi.org/10.1145/1453101.1453147
  • Zeng, L., Ngu, A. H. H., Benatallah, B., Podorozhny, R., & Lei, H. (2008). Dynamic composition and optimization of Web services. Distributed and Parallel Databases, 24(1–3), 45–72. https://doi.org/10.1007/s10619-008-7030-7
  • Carlson, M. P., Ngu, A. H. H., Podorozhny, R., & Zeng, L. (2008). Automatic mash up of composite applications. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (Vol. 5364 LNCS, pp. 317–330). https://doi.org/10.1007/978-3-540-89652-4_25

2007

  • Podorozhny, R., Ngu, A., & Georgakopoulos, D. (2007). Business process learning for real time enterprises. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (Vol. 4365 LNCS, pp. 118–132). https://doi.org/10.1007/978-3-540-73950-0_10
  • Podorozhny, R., Khurshid, S., Perry, D., & Zhang, X. (2007). Verification of multi-agent negotiations using the alloy analyzer. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (Vol. 4591 LNCS, pp. 501–517). https://doi.org/10.1007/978-3-540-73210-5_26
  • Boose, E. R., Ellison, A. M., Osterweil, L. J., Clarke, L. A., Podorozhny, R., Hadley, J. L., … Foster, D. R. (2007). Ensuring reliable datasets for environmental models and forecasts. Ecological Informatics, 2(3 SPEC. ISS.), 237–247. https://doi.org/10.1016/j.ecoinf.2007.07.006

2006

  • Podorozhny, R., Perry, D. E., & Osterweil, L. J. (2006). Automatically analyzing software processes: Experience report. In Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics (Vol. 3840 LNCS, pp. 482–497). https://doi.org/10.1007/11608035_39

2005

  • Zhang, X., Lesser, V., & Podorozhny, R. (2005). Multi-dimensional, MultiStep negotiation for task allocation in a cooperative system. Autonomous Agents and Multi Agent Systems, 10(1), 5–40. https://doi.org/10.1007/s10458-004-5020-3

2004

  • Lesser, V., Decker, K., Wagner, T., Carver, N., Garvey, A., Horling, B., … Zhang, X. Q. (2004). Evolution of the GPGP/TÆMS domain-independent coordination framework. Autonomous Agents and Multi Agent Systems (1st–2nd ed., Vol. 9, pp. 87–143). https://doi.org/10.1023/B:AGNT.0000019690.28073.04

2001

  • Zhang, X. Q., Lesser, V., & Podorozhny, R. (2001). New Results On Cooperative, MultiStep Negotiation Over a Multi-Dimensional Utility Function £. In Aaai Fall Symposium Technical Report (Vol. FS-01-03, pp. 1–10). Retrieved from https://api.elsevier.com/content/abstract/scopus_id/4143130820