Rodion M. Podorozhny

According to our database, Rodion M. Podorozhny authored at least 19 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Verification of Distributed Artificial Intelligence Systems in Bioinformatics.

Aedin Pereira, Julia Ding, Zaina Ali, Rodion M. Podorozhny

CoRR, 2023

2018

Efficient and Scalable Runtime Monitoring for Cyber-Physical System.

Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez, Thierry Rakotoarivelo

IEEE Syst. J., 2018

2017

Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems.

Xi Zheng, Christine Julien, Hongxu Chen, Rodion M. Podorozhny, Franck Cassez

ACM Trans. Embed. Comput. Syst., 2017

2015

Verification of Architectural Constraints on Sequences of Method Invocations.

Stuart Siroky, Rodion M. Podorozhny, Guowei Yang

ACM SIGSOFT Softw. Eng. Notes, 2015

BraceAssertion: Runtime Verification of Cyber-Physical Systems.

Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez

Proceedings of the 12th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2015

2013

Design and verification of cellphone-based cyber-physical systems: A position paper.

Rodion M. Podorozhny

Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, 2013

2010

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance.

Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Emery R. Boose, Rodion M. Podorozhny, Alexander E. Wise

IEEE Trans Autom. Sci. Eng., 2010

2008

Dynamic composition and optimization of Web services.

Liangzhao Zeng, Anne H. H. Ngu, Boualem Benatallah, Rodion M. Podorozhny, Hui Lei

Distributed Parallel Databases, 2008

Experience in using a process language to define scientific workflow and generate dataset provenance.

Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Automatic Mash Up of Composite Applications.

Michael Pierre Carlson, Anne H. H. Ngu, Rodion M. Podorozhny, Liangzhao Zeng

Proceedings of the Service-Oriented Computing, 2008

2007

Ensuring reliable datasets for environmental models and forecasts.

Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion M. Podorozhny, Julian L. Hadley, Alexander E. Wise, David R. Foster

Ecol. Informatics, 2007

Verification of Multi-agent Negotiations Using the Alloy Analyzer.

Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Business Process Learning for Real Time Enterprises.

Rodion M. Podorozhny, Anne H. H. Ngu, Dimitrios Georgakopoulos

Proceedings of the Business Intelligence for the Real-Time Enterprises, 2006

2005

Automatically Analyzing Software Processes: Experience Report.

Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Osterweil

Proceedings of the Unifying the Software Process Spectrum, 2005

2004

Multi-Dimensional, MultiStep Negotiation.

Xiaoqin Zhang, Victor R. Lesser, Rodion M. Podorozhny

Auton. Agents Multi Agent Syst., 2004

Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework.

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

Auton. Agents Multi Agent Syst., 2004

2000

Cooperative, Multistep Negotiation over a Multi-dimensional Utility Function.

Xiaoqin Zhang, Rodion M. Podorozhny, Victor R. Lesser

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

1999

Modeling Resources for Activity Coordination and Scheduling.

Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1997

The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.

Rodion M. Podorozhny, Leon J. Osterweil

Proceedings of the Pulling Together, 1997