Oleg Sokolsky
| Use attributes for filter ! | |
| Affiliations | University Of Pennsylvania |
|---|---|
| Citations | 8,951 |
| H index | 52 |
| Interests | Software Design And Software Architecture For Embedded Systems |
| Formal Methods | |
| Runtime Verification | |
| Co authors | Insup Lee |
| Mahesh Viswanathan | |
| George J. Pappas | |
| Scott A. Smolka | |
| Publications | scholar.google.com |
| Edited works | Runtime Verification: First Inte... |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3637458 |
