Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers Sokolsky Oleg Heftet / 2007 / Engelsk
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers Kordon Fabrice Heftet / 2008 / Engelsk
Foundations of Computer Software: Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers Choppy Christine Heftet / 2010 / Engelsk
Automated Technology for Verification and Analysis 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings Hung, Dang Van Heftet / 2020 / Engelsk
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Larsen Kim Guldstrand Heftet / 2017 / Engelsk
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday Bartocci Ezio Heftet / 2019 / Engelsk
