Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rodion Podorozhny
BraceAssertion: Runtime Verification of Cyber-Physical Systems
Adding Boolean-Quality Control to Best-Match Searching via an Improved User Interface
Related publications
Towards a Model@runtime Middleware for Cyber Physical Systems
Runtime Verification of Stochastic Systems
Runtime Verification of Stochastic, Faulty Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
Cyber Physical Systems
Online Verification in Cyber-Physical Systems: Practical Bounds for Meaningful Temporal Costs
Journal of Software: Evolution and Process
Model-Based Compositional Verification Approaches and Tools Development for Cyber-Physical Systems
Data Acquisition Subsystem for Cyber-Physical Systems of Agricultural Production Monitoring and Its Verification
Measuring Equipment and Metrology
