Rodion M. Podorozhny

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