Scott West

Deriving concurrent control software from behavioral specifications

Bertrand Meyer, Benjamin Morandi, Sebastian Nanz, 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Examining the Expert Gap in Parallel Programming

Sebastian Nanz, Scott West, Kaue Soares da Silveira, 2013, Euro-Par.

Benchmarking Usability and Performance of Multicore Languages

Bertrand Meyer, Sebastian Nanz, Scott West, 2013, 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement.

Efficient and reasonable object-oriented concurrency

Bertrand Meyer, Sebastian Nanz, Scott West, 2014, PPoPP.

Correctness and Execution of Concurrent Object-Oriented Programs

Scott West, Scott West, 2014 .

Demonic Testing of Concurrent Programs

Bertrand Meyer, Sebastian Nanz, Scott West, 2012, ICFEM.

Concurrent Object-Oriented Development with Behavioral Design Patterns

Sebastian Nanz, H. Gomaa, Benjamin Morandi, 2012, ECSA.