Rodion M. Podorozhny

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 3

Top Topics

Distributed Artificial Intelligence

Cyber Physical Systems

Asynchronous Circuits

Top Venues

ACM Trans. Embed. Comput. Syst.

ACM SIGSOFT Softw. Eng. Notes

Publications

Aedin Pereira, Julia Ding, Zaina Ali, Rodion M. Podorozhny
Verification of Distributed Artificial Intelligence Systems in Bioinformatics. CoRR (2023)
Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez, Thierry Rakotoarivelo
Efficient and Scalable Runtime Monitoring for Cyber-Physical System. IEEE Syst. J. 12 (2) (2018)
Xi Zheng, Christine Julien, Hongxu Chen, Rodion M. Podorozhny, Franck Cassez
Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (4) (2017)
Stuart Siroky, Rodion M. Podorozhny, Guowei Yang
Verification of Architectural Constraints on Sequences of Method Invocations. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez
BraceAssertion: Runtime Verification of Cyber-Physical Systems. MASS (2015)
Rodion M. Podorozhny
Design and verification of cellphone-based cyber-physical systems: A position paper. CollaborateCom (2013)
Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Emery R. Boose, Rodion M. Podorozhny, Alexander E. Wise
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance. IEEE Trans Autom. Sci. Eng. 7 (1) (2010)
Liangzhao Zeng, Anne H. H. Ngu, Boualem Benatallah, Rodion M. Podorozhny, Hui Lei
Dynamic composition and optimization of Web services. Distributed Parallel Databases 24 (1-3) (2008)
Michael Pierre Carlson, Anne H. H. Ngu, Rodion M. Podorozhny, Liangzhao Zeng
Automatic Mash Up of Composite Applications. ICSOC (2008)
Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley
Experience in using a process language to define scientific workflow and generate dataset provenance. SIGSOFT FSE (2008)
Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang
Verification of Multi-agent Negotiations Using the Alloy Analyzer. IFM (2007)
Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion M. Podorozhny, Julian L. Hadley, Alexander E. Wise, David R. Foster
Ensuring reliable datasets for environmental models and forecasts. Ecol. Informatics 2 (3) (2007)
Rodion M. Podorozhny, Anne H. H. Ngu, Dimitrios Georgakopoulos
Business Process Learning for Real Time Enterprises. BIRTE (2006)
Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Osterweil
Automatically Analyzing Software Processes: Experience Report. ISPW (2005)
Xiaoqin Zhang, Victor R. Lesser, Rodion M. Podorozhny
Multi-Dimensional, MultiStep Negotiation. Auton. Agents Multi Agent Syst. 10 (1) (2004)
Victor R. Lesser, Keith Decker, Thomas Wagner, Norman Carver, Alan Garvey, Bryan Horling, Daniel E. Neiman, Rodion M. Podorozhny, M. V. Nagendra Prasad, Anita Raja, Régis Vincent, Ping Xuan, Xiaoqin Zhang
Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework. Auton. Agents Multi Agent Syst. 9 (1-2) (2004)
Xiaoqin Zhang, Rodion M. Podorozhny, Victor R. Lesser
Cooperative, Multistep Negotiation over a Multi-dimensional Utility Function. Artificial Intelligence and Soft Computing (2000)
Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil
Modeling Resources for Activity Coordination and Scheduling. COORDINATION (1999)
Rodion M. Podorozhny, Leon J. Osterweil
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. ICSE (1997)