R. Cleaveland
发表
Rance Cleaveland,
Martin R. Woodward,
Mark Harman,
2009,
CSUR.
Jonathan P. Bowen,
H. Zedan,
M. R. Woodward,
2003
.
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016
.
I. Lee,
O. Sokolsky,
A. Philippou,
2007
.
R. Cleaveland,
S. Smolka,
1999
.
Rance Cleaveland,
Arnab Ray,
Christopher Martin,
2008
.
Rance Cleaveland,
Marian Gheorghe,
Mark Harman,
2008
.
Rance Cleaveland,
Mikael Lindvall,
Christopher Ackermann,
2009,
2009 20th International Symposium on Software Reliability Engineering.
Rance Cleaveland,
Steve Sims,
R. Cleaveland,
2002,
Sci. Comput. Program..
Rance Cleaveland,
Michael von der Beeck,
Gerald Lüttgen,
2000,
SIGSOFT '00/FSE-8.
Rance Cleaveland,
Michael von der Beeck,
Gerald Lüttgen,
1999,
CONCUR.
Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen,
1999,
Ann. Softw. Eng..
Rance Cleaveland,
Scott A. Smolka,
R. Cleaveland,
1996,
CSUR.
Rance Cleaveland,
Scott A. Smolka,
R. Cleaveland,
1996
.
Rance Cleaveland,
S. Purushothaman Iyer,
Murali Narasimha,
1999,
Theor. Comput. Sci..
Rance Cleaveland,
Radu Grosu,
Scott A. Smolka,
2018,
Theor. Comput. Sci..
Rance Cleaveland,
Scott A. Smolka,
Xiaoqun Du,
2000,
COORDINATION.
Rance Cleaveland,
Scott A. Smolka,
Eugene W. Stark,
2006,
CONCUR.
Rance Cleaveland,
Scott A. Smolka,
Eugene W. Stark,
2003,
CONCUR.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
2001,
Inf. Process. Lett..
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
1996,
SEKE.
Rance Cleaveland,
Shoji Yuen,
Scott A. Smolka,
1994,
CONCUR.
Rance Cleaveland,
Shoji Yuen,
Scott A. Smolka,
1992,
Inf. Comput..
Rance Cleaveland,
Li Tan,
R. Cleaveland,
2001,
TACAS.
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Rance Cleaveland,
Steven I. Marcus,
James Ferlez,
2017,
EXPRESS/SOS.
Rance Cleaveland,
Arnab Ray,
R. Cleaveland,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Rance Cleaveland,
Bernhard Steffen,
Markus Müller-Olm,
1999,
FASE.
Rance Cleaveland,
Scott A. Smolka,
Xiaoqun Du,
1999,
International Journal on Software Tools for Technology Transfer.
Li Tan,
Rance W. Cleaveland,
R. Cleaveland,
2002
.
Rance Cleaveland,
Steve Sims,
Ken Butts,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Rance Cleaveland,
Samuel Huang,
R. Cleaveland,
2020,
International Journal on Software Tools for Technology Transfer.
Rance Cleaveland,
Li Tan,
R. Cleaveland,
2002,
CAV.
R. Cleaveland,
Samuel Huang,
2019,
J. Log. Algebraic Methods Program..
Rance Cleaveland,
Samuel Huang,
R. Cleaveland,
2017,
FMICS-AVoCS.
R. Cleaveland,
Alex Groce,
G. Bhat,
2001,
CAV.
Rance Cleaveland,
R. Cleaveland,
R. Cleaveland,
1999,
International Journal on Software Tools for Technology Transfer.
Rance Cleaveland,
Scott A. Smolka,
K. Narayan Kumar,
1998,
FSTTCS.
Rance Cleaveland,
Steven I. Marcus,
M. Girish Chandra,
2021,
Eur. J. Control.
Rance Cleaveland,
Steven I. Marcus,
Bhaskar Ramasubramanian,
2019,
IEEE Transactions on Automatic Control.
Rance Cleaveland,
Bikram Sengupta,
R. Cleaveland,
2002,
SIGSOFT '02/FSE-10.
Rance Cleaveland,
Steven I. Marcus,
James Ferlez,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Rance Cleaveland,
Arnab Ray,
R. Cleaveland,
2004,
FESCA@ETAPS.
Rance Cleaveland,
Arnab Ray,
R. Cleaveland,
2004,
International Journal on Software Tools for Technology Transfer.
M. V. D. Beeck,
R. Cleaveland,
Gerald Lüttgen,
1999
.
Rance Cleaveland,
Scott A. Smolka,
Oleg Sokolsky,
1996,
CAV.
Rance Cleaveland,
A. W. Roscoe,
Scott A. Smolka,
2018,
Handbook of Model Checking.
Rance Cleaveland,
Marcus Vetter,
Zamira Daw,
2013,
International Journal of Computer Assisted Radiology and Surgery.
R. Cleaveland,
R. Cleaveland,
Gerald Lüttgen,
2007
.
Rance Cleaveland,
Scott A. Smolka,
Oleg Sokolsky,
1994,
Specification of Parallel Algorithms.
Rance Cleaveland,
Charles P. Shelton,
Arnab Ray,
2011,
Adv. Comput..
A. Podelski,
A. Fantechi,
R. Cleaveland,
2002
.
Rance Cleaveland,
Peter Fontana,
Peter C. Fontana,
2014,
CSUR.
R. Cleaveland,
Jeroen J.A. Keiren,
Peter Fontana,
2023,
ArXiv.
Rance Cleaveland,
Arnab Ray,
R. Cleaveland,
2015,
IEEE Design & Test.
Rance Cleaveland,
Bikram Sengupta,
R. Cleaveland,
2003,
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..
Edmund M. Clarke,
Jeannette M. Wing,
E. Clarke,
1996
.