Sotabase

Career

· Executive and Scientific Director, Fraunhofer USA Center for Experimental and Software Engineering2005–
· Professor of Computer Science and Associate Dean for Research, University of Maryland, College Park2005–
· Co-founder, past CEO, and current chairman of the board, Reactive Systems, Inc.

Publications (128)

Using formal specifications to support testing
CSUR · 2009
388
cited
High-confidence medical device software and systems
Computer · 2006
156
cited
Testing Preorders for Probabilistic Processes
Information and Computation · 1999
141
cited
Triggered message sequence charts
SIGSOFT '02/FSE-10 · 2002
85
cited
Strategic directions in concurrency research
CSUR · 1996
80
cited
A compositional approach to statecharts semantics
SIGSOFT '00/FSE-8 · 2000
68
cited
Evidence-Based Model Checking
International Conference on Computer Aided Verification · 2002
66
cited
Equivalence and Preorder Checking for Finite-State Systems
Handbook of Process Algebra · 2001
62
cited
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science · 1999
56
cited
The Concurrency Factory: A Development Environment for Concurrent Systems
International Conference on Computer Aided Verification · 1996
56
cited
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes
International Conference on Concurrency Theory · 1994
47
cited
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems
Specification of Parallel Algorithms · 1994
46
cited
Generic tools for verifying concurrent systems
Science of Computer Programming · 2002
42
cited
A Theory of Testing for Markovian Processes
International Conference on Concurrency Theory · 2000
41
cited
Using formal methods to support testing
2008
40
cited
Automated validation of software models
International Conference on Automated Software Engineering · 2001
39
cited
Simulation Revisited
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2001
38
cited
Assessing model-based testing: an empirical study conducted in industry
ICSE Companion · 2014
37
cited
Architectural interaction diagrams: AIDs for system modeling
25th International Conference on Software Engineering, 2003. Proceedings. · 2003
32
cited
Efficient Model Checking Via Büchi Tableau Automata
International Conference on Computer Aided Verification · 2001
31
cited
Sotabase
W. Rance Cleaveland | Researcher Profile | Sotabase | Sotabase