Search results for: Oleg Sokolsky
Proceedings of the IEEE > 2018 > 106 > 1 > 71 - 92
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 1-18
IEEE Control Systems > 2017 > 37 > 2 > 66 - 81
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 234-248
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Case Studies > 74-88
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 227-249
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Networks and Data > 61-75
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Quantitative Techniques > 426-440
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 391-395
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 343-356
Lecture Notes in Computer Science > Runtime Verification > Core Runtime Verification Papers > 164-175