Scott West

According to our database, Scott West authored at least 12 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Modeling and Prototyping of IoT-based Long Range Self-powered Image Sensing System.

Samit Hasan, Scott West, Daniel S. Truesdell, Benton H. Calhoun

Proceedings of the 13th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems, 2025

2015

Efficient and reasonable object-oriented concurrency.

Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014

Correctness and Execution of Concurrent Object-Oriented Programs.

Scott West

PhD thesis, 2014

2013

Benchmarking Usability and Performance of Multicore Languages

Sebastian Nanz, Scott West, Kaue Soares da Silveira

CoRR, 2013

To Run What No One Has Run Before: Executing an Intermediate Verification Language.

Nadia Polikarpova, Carlo A. Furia, Scott West

Proceedings of the Runtime Verification - 4th International Conference, 2013

Examining the Expert Gap in Parallel Programming.

Sebastian Nanz, Scott West, Kaue Soares da Silveira

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Benchmarking Usability and Performance of Multicore Languages.

Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Concurrent Object-Oriented Development with Behavioral Design Patterns.

Benjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa

Proceedings of the Software Architecture - 7th European Conference, 2013

2012

Demonic Testing of Concurrent Programs.

Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the Formal Methods and Software Engineering, 2012

2010

Deriving concurrent control software from behavioral specifications.

Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model.

Scott West, Sebastian Nanz, Bertrand Meyer

Proceedings of the Formal Methods and Software Engineering, 2010

2009

A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell.

Scott West, Wolfram Kahl

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009