☰

Rodion M. Podorozhny, Ph.D. - Publications

Affiliations: 
2004 University of Texas at Austin, Austin, Texas, U.S.A. 
Area:
Electronics and Electrical Engineering, Computer Science
Tree Info Similar researchers PubMed Report error

6 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2018 Zheng X, Julien C, Podorozhny R, Cassez F, Rakotoarivelo T. Efficient and Scalable Runtime Monitoring for Cyber–Physical System Ieee Systems Journal. 12: 1667-1678. DOI: 10.1109/Jsyst.2016.2614599  0.332
2017 Zheng X, Julien C, Chen H, Podorozhny R, Cassez F. Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems Acm Transactions in Embedded Computing Systems. 16: 1-24. DOI: 10.1145/3063382  0.331
2015 Siroky S, Podorozhny R, Yang G. Verification of Architectural Constraints on Sequences of Method Invocations Acm Sigsoft Software Engineering Notes. 40: 1-4. DOI: 10.1145/2693208.2693246  0.352
2010 Osterweil LJ, Clarke LA, Ellison AM, Boose E, Podorozhny R, Wise A. Clear and precise specification of ecological data management processes and dataset provenance Ieee Transactions On Automation Science and Engineering. 7: 189-195. DOI: 10.1109/Tase.2009.2021774  0.518
2007 Boose ER, Ellison AM, Osterweil LJ, Clarke LA, Podorozhny R, Hadley JL, Wise A, Foster DR. Ensuring reliable datasets for environmental models and forecasts Ecological Informatics. 2: 237-247. DOI: 10.1016/J.Ecoinf.2007.07.006  0.517
2006 Podorozhny RM, Perry DE, Osterweil LJ. 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. DOI: 10.1007/11608035_39  0.398
Show low-probability matches.