oleg sokolsky

From Reactive Systems to Cyber-Physical Systems

This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on...

Foundations of Computer Software: Future Trends and Techniques for Development

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the Third International Symposium on Dependable Software...

Runtime Verification

Runtime Verification

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...

Emerging Directions in Embedded and Ubiquitous Computing

Here are the refereed proceedings of the EUC 2006 workshops, held in conjunction with the IFIP In...

Composition of Embedded Systems. Scientific and Industrial Issues

This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated T...

Foundations of Computer Software: Future Trends and Techniques for Development

This volume contains revised and expanded versions of the papers presented at th the 15 Monterey ...

Runtime Verification

Runtime veri?cation is a recent direction in formal methods research, which is complementary to s...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the Third International Symposium on Dependable Software...

From Reactive Systems to Cyber-Physical Systems

This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on...