Rodion M. Podorozhny

According to our database1, Rodion M. Podorozhny authored at least 18 papers between 1997 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Efficient and Scalable Runtime Monitoring for Cyber-Physical System.
IEEE Systems Journal, 2018

2017
Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems.
ACM Trans. Embedded Comput. Syst., 2017

2015
Verification of Architectural Constraints on Sequences of Method Invocations.
ACM SIGSOFT Software Engineering Notes, 2015

BraceAssertion: Runtime Verification of Cyber-Physical Systems.
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.
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.
IEEE Trans. Automation Science and Engineering, 2010

2008
Dynamic composition and optimization of Web services.
Distributed and Parallel Databases, 2008

Experience in using a process language to define scientific workflow and generate dataset provenance.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Automatic Mash Up of Composite Applications.
Proceedings of the Service-Oriented Computing, 2008

2007
Ensuring reliable datasets for environmental models and forecasts.
Ecological Informatics, 2007

Verification of Multi-agent Negotiations Using the Alloy Analyzer.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

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

2005
Automatically Analyzing Software Processes: Experience Report.
Proceedings of the Unifying the Software Process Spectrum, 2005

2004
Multi-Dimensional, MultiStep Negotiation.
Autonomous Agents and Multi-Agent Systems, 2004

Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework.
Autonomous Agents and Multi-Agent Systems, 2004

2000
Cooperative, Multistep Negotiation over a Multi-dimensional Utility Function.
Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

1999
Modeling Resources for Activity Coordination and Scheduling.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1997
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.
Proceedings of the Pulling Together, 1997


  Loading...