Rodion M. Podorozhny
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1997–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | MASS | BraceAssertion: Runtime Verification of Cyber-Physical Systems. | Xi Zheng, Christine Julien, Rodion M. Podorozhny, Franck Cassez |
| 2008 | ICSOC | Automatic Mash Up of Composite Applications. | Michael Pierre Carlson, Anne H. H. Ngu, Rodion M. Podorozhny, Liangzhao Zeng |
| 2007 | IFM | Verification of Multi-agent Negotiations Using the Alloy Analyzer. | Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang |
| 1999 | Coordination | Modeling Resources for Activity Coordination and Scheduling. | Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil |
| 1997 | ICSE | The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. | Rodion M. Podorozhny, Leon J. Osterweil |