splc2016.net
International Systems and Software Product Line Conference 2016
http://www.splc2016.net/org.html
Shanghai Jiao Tong University, China. Johannes Kepler University Linz, Austria. Peking University, China. Software Industry Track Chairs. Siemens AG, Germany. Digital China, China. Linnaeus University, Sweden. University of Sevilla, Spain. University of Waterloo, Canada. Hall of Fame Chairs. Shibaura Institute of Technology, Japan. IT University, Denmark. Fudan University, China. University of Chile, Chile. Chinese Academy of Sciences, China. Demonstrations and Tools Chairs. University of Passau, Germany.
kindsoftware.com
KindSoftware
http://www.kindsoftware.com/documents/published
Verified Visualisation of Textual Modelling Languages. The Concurrency Semantic Property. Programing and Specification Languages. Operating Systems and Compilers. Feburary 2013 - Saving Democracy from Technology. October 2012 - The Use of JML in Embedded Real-Time Systems. June 2012 - Testing Library Specifications by Verifying Conformance Tests. December 2011 - Validating Semantics. Throughout 2011 - Democracy as a Critical System. April 2011 - Reasoning about Concurrency in (RT) Java. August 2007 - EVT.