Oleg Sokolsky – författare
Visar alla böcker från författaren Oleg Sokolsky. Handla med fri frakt och snabb leverans.
16 produkter
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Av Ezio Bartocci, Rance Cleaveland m. fl.
Häftad, 2019
569 kr
Lägg i varukorg
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, …
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Av Oleg Sokolsky, Radu Grosu m. fl.
E-bok, 2019
739 kr
Lägg i varukorg
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime …
Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Av Dang Van Hung, Oleg Sokolsky
Häftad, 2020
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and …
Automated Technology for Verification and Analysis
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Av Oleg Sokolsky, Dang Van Hung
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and …
Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Av Kim Guldstrand Larsen, Oleg Sokolsky m. fl.
Häftad, 2017
569 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from …
Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Av Ji Wang, Oleg Sokolsky m. fl.
E-bok, 2017
718 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected …
Emerging Directions in Embedded and Ubiquitous Computing
EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings
Av Xiaobo Zhou, Oleg Sokolsky m. fl.
Häftad, 2006
1692 kr
Lägg i varukorg
Here are the refereed proceedings of the EUC 2006 workshops, held in conjunction with the IFIP International Conference on Embedded and Ubiquitous Computing in Seoul, Korea, August 2006. The book presents 102 revised papers spanning six workshops: network-centric ubiquitous systems (NCUS 2006), …
Emerging Directions in Embedded and Ubiquitous Computing
EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings
Av Cheng-Zhong Xu, Young-Sik Jeong m. fl.
E-bok, 2006
2174 kr
Lägg i varukorg
Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Av Oleg Sokolsky, Serdar Tasiran
Häftad, 2007
569 kr
Lägg i varukorg
Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; …
Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Av Serdar Tasiran, Oleg Sokolsky
E-bok, 2007
755 kr
Lägg i varukorg
Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; …
Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Av Fabrice Kordon, Oleg Sokolsky
Häftad, 2008
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of …
Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Av Oleg Sokolsky, Fabrice Kordon
E-bok, 2007
755 kr
Lägg i varukorg
Foundations of Computer Software: Future Trends and Techniques for Development
15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Av Christine Choppy, Oleg Sokolsky
Häftad, 2010
569 kr
Lägg i varukorg
This volume contains revised and expanded versions of the papers presented at th the 15 Monterey Workshop, held during September 24-26, 2008 in Budapest, Hungary. The Monterey Workshops series was initiated in 1993 by Dr. David Hislop, a longtime program manager at the U. S. Army Research O?ce, …
Foundations of Computer Software: Future Trends and Techniques for Development
15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Av Oleg Sokolsky, Christine Choppy
E-bok, 2010
755 kr
Lägg i varukorg
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Av Howard Barringer, Ylies Falcone m. fl.
Häftad, 2010
569 kr
Lägg i varukorg
This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime …
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Av Nikolai Tillmann, Oleg Sokolsky m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
