Rodion M. Podorozhny, Ph.D.
Affiliations: | 2004 | University of Texas at Austin, Austin, Texas, U.S.A. |
Area:
Electronics and Electrical Engineering, Computer ScienceGoogle:
"Rodion Podorozhny"Parents
Sign in to add mentor| Dewayne E. Perry | grad student | 2004 | UT Austin | |
| (Artifact-based functional comparison of software processes.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Zheng X, Julien C, Podorozhny R, et al. (2018) Efficient and Scalable Runtime Monitoring for Cyber–Physical System Ieee Systems Journal. 12: 1667-1678 |
| Zheng X, Julien C, Chen H, et al. (2017) Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems Acm Transactions in Embedded Computing Systems. 16: 1-24 |
| Siroky S, Podorozhny R, Yang G. (2015) Verification of Architectural Constraints on Sequences of Method Invocations Acm Sigsoft Software Engineering Notes. 40: 1-4 |
| Osterweil LJ, Clarke LA, Ellison AM, et al. (2010) Clear and precise specification of ecological data management processes and dataset provenance Ieee Transactions On Automation Science and Engineering. 7: 189-195 |
| Boose ER, Ellison AM, Osterweil LJ, et al. (2007) Ensuring reliable datasets for environmental models and forecasts Ecological Informatics. 2: 237-247 |
| Podorozhny RM, Perry DE, Osterweil LJ. (2006) Automatically analyzing software processes: Experience report Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3840: 482-497 |