Colin Campbell

Computer Science · Physical Sciences

12h-index693citations54works0.72yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(15), Formal Methods in Verification(10), Software Reliability and Analysis Research(6), Model-Driven Software Engineering Techniques(5), Cloud Computing and Resource Management(3)

Publications54 total

Describing Motion on a Line
2025
Arbitrary State Preparation via Quantum Walks
2024· 2 cited
Efficient Sparse State Preparation via Quantum Walks
arXiv (Cornell University)·2024Open Access
An IoT Edge Computing Framework Using Cordova Accessor Host
IEEE Internet of Things Journal·2021· 5 cited
On Line Video Based Training For Matlab, Mathcad And Maple
2020· 4 cited
The Same Reverberation Time in Two Identical Rooms does not Necessarily Mean the Same Levels of Speech Clarity and Sound Levels when We Look at Impact of different Ceiling and Wall Absorbers
Energy Procedia·2015· 22 citedOpen Access
Parallel Programming with Microsoft® .NET: Design Patterns for Decomposition and Coordination on Multicore Architectures
CERN Document Server (European Organization for Nuclear Research)·2010· 39 cited
Our Changing World of Sound
Deep Blue (University of Michigan)·2009Open Access
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Lecture notes in computer science·2008· 235 cited
Model-Based Software Testing and Analysis with C#
Cambridge University Press eBooks·2007· 96 cited
Command Reference
2007
Testing Systems with Complex State
Cambridge University Press eBooks·2007
Structuring Model Programs with Features and Composition
Cambridge University Press eBooks·2007
Testing Closed Systems
Cambridge University Press eBooks·2007
Further Reading
Cambridge University Press eBooks·2007
Modeling Objects
Cambridge University Press eBooks·2007
Analyzing Systems with Complex State
Cambridge University Press eBooks·2007
Model Programs
Cambridge University Press eBooks·2007
Why We Need Model-Based Testing
Cambridge University Press eBooks·2007
Exploring and Analyzing Finite Model Programs
Cambridge University Press eBooks·2007
page 1 of 3Next →

Frequent Co-authors

Margus Veanes(24), Wolfram Schulte(20), Darren Redfern(13), Jonathan Jacky(11), Nikolai Tillmann(6), Wolfgang Grieskamp(4), Lev Nachmanson(3), Alvin Gonzales(2), Rebekah Herrman(2), Igor Gaidai(2), Teague Tomesh(2), Zain H. Saleem(2), Ralph E. Johnson(1), Ade Miller(1), Stephen Toub(1), Pritam Roy(1), Erling Nilsson(1), Carsten Svensson(1), Pushmeet Kohli(1), Jiale Huo(1)