Rance Cleaveland
发表
Rance Cleaveland,
Peter Fontana,
Peter C. Fontana,
2014,
CSUR.
Rance Cleaveland,
A. W. Roscoe,
Scott A. Smolka,
2018,
Handbook of Model Checking.
Rance Cleaveland,
V. Natarajan,
Ivan Christoff,
1994,
Inf. Comput..
Rance Cleaveland,
2008,
FMICS.
Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen,
1999,
Ann. Softw. Eng..
Rance Cleaveland,
Arnab Ray,
R. Cleaveland,
2015,
IEEE Design & Test.
Rance Cleaveland,
Bernhard Steffen,
R. Cleaveland,
1991,
ICALP.
Rance Cleaveland,
Peter Fontana,
2011,
DIFTS@FMCAD.
Rance Cleaveland,
Peter Fontana,
2014,
FORMATS.
Rance Cleaveland,
Steven I. Marcus,
James Ferlez,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Rance Cleaveland,
Arne Skou,
Arnab Ray,
2005,
Electron. Notes Theor. Comput. Sci..
Rance Cleaveland,
Bernhard Steffen,
Markus Müller-Olm,
1999,
FASE.
Rance Cleaveland,
Michael W. Mislove,
Philip S. Mulry,
1998
.
Rance Cleaveland,
Li Tan,
R. Cleaveland,
2001,
TACAS.
Rance Cleaveland,
Marcus Vetter,
Zamira Daw,
2013,
International Journal of Computer Assisted Radiology and Surgery.
Rance Cleaveland,
Charles P. Shelton,
Arnab Ray,
2011,
Adv. Comput..
Rance Cleaveland,
Charles P. Shelton,
Arnab Ray,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
2001,
Inf. Process. Lett..
Rance Cleaveland,
S. Purushothaman Iyer,
2000,
ICALP Satellite Workshops.
Rance Cleaveland,
S. Purushothaman Iyer,
Murali Narasimha,
1998,
Monterey Workshop.
Rance Cleaveland,
R. Cleaveland,
1999
.
Rance Cleaveland,
Zamira Daw,
2016,
ArXiv.
Rance Cleaveland,
Amy E. Zwarico,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Rance Cleaveland,
Prakash Panangaden,
P. Panangaden,
1988,
International Journal of Parallel Programming.
Rance Cleaveland,
Scott A. Smolka,
Xiaoqun Du,
1999,
International Journal on Software Tools for Technology Transfer.
Rance Cleaveland,
Hubert Garavel,
2002,
Electron. Notes Theor. Comput. Sci..
Rance Cleaveland,
Yanhong A. Liu,
Radu Grosu,
2002,
EW 10.
Rance Cleaveland,
Steve Sims,
Marco Bernardo,
1998,
FORTE.
Rance Cleaveland,
V. Natarajan,
R. Cleaveland,
1995,
ICALP.
Rance Cleaveland,
Matthias F. Stallmann,
Prashant Hebbar,
1992,
Computational Support for Discrete Mathematics.
Girish Bhat,
Rance Cleaveland,
R. Cleaveland,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Rance Cleaveland,
1996,
CSUR.
Rance Cleaveland,
Bernhard Steffen,
Joachim Parrow,
1990,
Automatic Verification Methods for Finite State Systems.
Rance Cleaveland,
V. Natarajan,
R. Cleaveland,
1996,
17th IEEE Real-Time Systems Symposium.
Rance Cleaveland,
Ufuk Celikkan,
1992,
CAV.
Rance Cleaveland,
Michael Mendler,
Gerald Lüttgen,
1997,
CONCUR.
Rance Cleaveland,
Scott A. Smolka,
R. Cleaveland,
1996
.
Rance Cleaveland,
Arnab Ray,
Christopher Martin,
2008
.
Rance Cleaveland,
V. Natarajan,
Gerald Lüttgen,
1996,
CONCUR.
Rance Cleaveland,
Bernhard Steffen,
Marion Klein,
1992,
CAV.
Rance Cleaveland,
Steven I. Marcus,
James Ferlez,
2017,
EXPRESS/SOS.
Rance Cleaveland,
Dezhuang Zhang,
2005,
ASE '05.
Rance Cleaveland,
Scott A. Smolka,
David Hansel,
2004,
J. Syst. Softw..
Rance Cleaveland,
Steven I. Marcus,
Bhaskar Ramasubramanian,
2016,
2016 American Control Conference (ACC).
Rance Cleaveland,
Scott A. Smolka,
Oleg Sokolsky,
1994,
Specification of Parallel Algorithms.
Rance Cleaveland,
Charles P. Shelton,
Elizabeth Latronico,
2010,
RV.
Rance Cleaveland,
Michael von der Beeck,
Gerald Lüttgen,
1999,
CONCUR.
Rance Cleaveland,
Yi Zhang,
Raoul Praful Jetley,
2011,
2011 Ninth Working IEEE/IFIP Conference on Software Architecture.
Rance Cleaveland,
Ufuk Celikkan,
R. Cleaveland,
1992,
PSTV.
Rance Cleaveland,
2000,
SOEN.
Rance Cleaveland,
R. Cleaveland,
R. Cleaveland,
1999,
International Journal on Software Tools for Technology Transfer.
Rance Cleaveland,
Gerald Lüttgen,
R. Cleaveland,
2000,
FSTTCS.
Rance Cleaveland,
Bernhard Steffen,
Joachim Parrow,
1993,
TOPL.
Rance Cleaveland,
Steven I. Marcus,
Bhaskar Ramasubramanian,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Rance Cleaveland,
Zamira Daw,
John Mangino,
2015,
P&D@MoDELS.
Rance Cleaveland,
Scott A. Smolka,
Oleg Sokolsky,
1996,
TACAS.
Rance Cleaveland,
R. Cleaveland,
1990,
CAV.
Rance Cleaveland,
Arnab Ray,
R. Cleaveland,
2004,
FESCA@ETAPS.
Rance Cleaveland,
Peter Fontana,
Jeroen Keiren,
2017,
ACM Comput. Surv..
Rance Cleaveland,
Oleg Sokolsky,
2001,
Handbook of Process Algebra.
Rance Cleaveland,
Martin R. Woodward,
Mark Harman,
2009,
CSUR.
Rance Cleaveland,
Bikram Sengupta,
2006,
IEEE Trans. Software Eng..
Rance Cleaveland,
Shoji Yuen,
Scott A. Smolka,
1994,
CONCUR.
Rance Cleaveland,
Scott A. Smolka,
K. Narayan Kumar,
1998,
FSTTCS.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Rance Cleaveland,
R. Cleaveland,
1990,
Acta Informatica.
Rance Cleaveland,
Arnab Ray,
Christopher Martin,
2009
.
Rance Cleaveland,
Bernhard Steffen,
R. Cleaveland,
1990,
CONCUR.
Rance Cleaveland,
Radu Grosu,
Scott A. Smolka,
2018,
Theor. Comput. Sci..
Rance Cleaveland,
Scott A. Smolka,
Eugene W. Stark,
2005
.
Rance Cleaveland,
Shoji Yuen,
Scott A. Smolka,
1992,
Inf. Comput..
Rance Cleaveland,
Tiziana Margaria,
Bernhard Steffen,
1995
.
Rance Cleaveland,
Scott A. Smolka,
R. Cleaveland,
1996,
CSUR.
Rance Cleaveland,
Zamira Daw,
2015,
Sci. Comput. Program..
Rance Cleaveland,
Arnab Ray,
2013,
2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE).
Rance Cleaveland,
2020,
ArXiv.
Rance Cleaveland,
Zamira Daw,
2015,
SEFM.
Rance Cleaveland,
Steve Sims,
V. Natarajan,
1996,
TACAS.
Rance Cleaveland,
Wael M. Elseaidy,
1995,
Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.
Rance Cleaveland,
Scott A. Smolka,
Oleg Sokolsky,
1996,
CAV.
Rance Cleaveland,
Christoph Schulze,
Mikael Lindvall,
2014,
ICSE Companion.
Rance Cleaveland,
Bikram Sengupta,
2005,
ICDCIT.
Rance Cleaveland,
Steven I. Marcus,
Bhaskar Ramasubramanian,
2016,
2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Rance Cleaveland,
Michael von der Beeck,
Gerald Lüttgen,
2000,
SIGSOFT '00/FSE-8.
Rance Cleaveland,
Mikael Lindvall,
Christopher Ackermann,
2009,
2009 16th Working Conference on Reverse Engineering.
Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan,
2001,
Handbook of Process Algebra.
Rance Cleaveland,
Scott A. Smolka,
David Hansel,
2001,
Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.
Rance Cleaveland,
Mikael Lindvall,
Dharmalingam Ganesan,
2016,
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).
Rance Cleaveland,
Madeline Diep,
Rahul Mangharam,
2020,
CSBio '20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics.
Rance Cleaveland,
John W. Baugh,
Wael M. Elseaidy,
1994,
1994 Proceedings Real-Time Systems Symposium.
Girish Bhat,
Rance Cleaveland,
Orna Grumberg,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Rance Cleaveland,
Daniel Yankelevich,
S. P Iyer,
1994
.
Rance Cleaveland,
1999,
CONCUR.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
2001
.
Rance Cleaveland,
Samuel Huang,
2019,
ArXiv.
Rance Cleaveland,
Steven I. Marcus,
Bhaskar Ramasubramanian,
2019,
IEEE Transactions on Automatic Control.
Rance Cleaveland,
Steve Sims,
V. Natarajan,
1996,
Softw. Concepts Tools.
Rance Cleaveland,
John W. Baugh,
Wael M. Elseaidy,
1997,
Sci. Comput. Program..
Rance Cleaveland,
Dezhuang Zhang,
2005
.
Rance Cleaveland,
S. Purushothaman Iyer,
Murali Narasimha,
1999,
Theor. Comput. Sci..
Rance Cleaveland,
Bernhard Steffen,
Joachim Parrow,
1989,
PSTV.
Rance Cleaveland,
Scott A. Smolka,
Eugene W. Stark,
2006,
CONCUR.
Rance Cleaveland,
Steven T. Sims,
R. Cleaveland,
1997
.
Rance Cleaveland,
Peter Fontana,
2020,
ArXiv.
Rance Cleaveland,
Andre N. Fredette,
R. Cleaveland,
1993
.
Rance Cleaveland,
V. Natarajan,
R. Cleaveland,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Rance Cleaveland,
Steve Sims,
Ken Butts,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Rance Cleaveland,
Arnab Ray,
2008,
Electron. Notes Theor. Comput. Sci..
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016,
CMSB.
Rance Cleaveland,
Arnab Ray,
2006,
30th Annual International Computer Software and Applications Conference (COMPSAC'06).
Girish Bhat,
Rance Cleaveland,
R. Cleaveland,
1996,
TACAS.
Rance Cleaveland,
Samuel Huang,
R. Cleaveland,
2020,
International Journal on Software Tools for Technology Transfer.
Rance Cleaveland,
Andre N. Fredette,
R. Cleaveland,
1993,
1993 Proceedings Real-Time Systems Symposium.
Rance Cleaveland,
Scott A. Smolka,
Eugene W. Stark,
2005
.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1989,
Formal Aspects of Computing.
Rance Cleaveland,
Scott A. Smolka,
Amy E. Zwarico,
1992,
ICALP.
Rance Cleaveland,
2018,
ISoLA.
Rance Cleaveland,
Bikram Sengupta,
Arnab Ray,
2004,
ICDCIT.
Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen,
1997,
FORTE.
Rance Cleaveland,
Steven I. Marcus,
James Ferlez,
2014,
FoSSaCS.
Rance Cleaveland,
Arnab Ray,
R. Cleaveland,
2004,
International Journal on Software Tools for Technology Transfer.
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,
Tiziana Margaria,
Bernhard Steffen,
1997,
International Journal on Software Tools for Technology Transfer.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
1996,
SEKE.
Rance Cleaveland,
Marco Bernardo,
2000,
CONCUR.
Rance Cleaveland,
Bikram Sengupta,
2003,
CAV.
Rance Cleaveland,
Li Tan,
R. Cleaveland,
2002,
CAV.
Rance Cleaveland,
2019,
From Reactive Systems to Cyber-Physical Systems.
Rance Cleaveland,
Bikram Sengupta,
R. Cleaveland,
2003,
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..
Rance Cleaveland,
R. Cleaveland,
1990,
CAV.
Rance Cleaveland,
S. Purushothaman Iyer,
Murali Narasimha,
1999,
FoSSaCS.
Rance Cleaveland,
Marcus Vetter,
Zamira Daw,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Rance Cleaveland,
Christopher Ackermann,
2010
.
Rance Cleaveland,
V. Natarajan,
Gerald Lüttgen,
1996,
Theor. Comput. Sci..
Rance Cleaveland,
Samuel Huang,
R. Cleaveland,
2017,
FMICS-AVoCS.
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2014,
ISoLA.
Rance Cleaveland,
Bernhard Steffen,
Bernhard Steffen,
1993,
Formal Methods Syst. Des..
Rance Cleaveland,
Scott A. Smolka,
Eugene W. Stark,
2003,
CONCUR.
Rance Cleaveland,
Bernhard Steffen,
R. Cleaveland,
1993,
Formal Methods Syst. Des..
Rance Cleaveland,
Arnab Ray,
2014,
HotSoS '14.
Rance Cleaveland,
Scott A. Smolka,
Philip M. Lewis,
2000,
SOEN.
Rance Cleaveland,
R. Cleaveland,
1992
.
Rance Cleaveland,
Christoph Schulze,
Mikael Lindvall,
2018,
SEFM.
Rance Cleaveland,
Arnab Ray,
R. Cleaveland,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Rance Cleaveland,
Insup Lee,
George J. Pappas,
2006,
Computer.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
1998,
CONCUR.
Rance Cleaveland,
Steve Sims,
Scott A. Smolka,
2006,
ASWSD.
Rance Cleaveland,
Daniel Jackson,
R. Cleaveland,
2004,
Automated Software Engineering.
Rance Cleaveland,
Gerald Lüttgen,
R. Cleaveland,
2002,
EXPRESS.
Rance Cleaveland,
Shengbing Jiang,
Arnab Ray,
2006
.
Rance Cleaveland,
Marian Gheorghe,
Mark Harman,
2008
.
Rance Cleaveland,
V. Natarajan,
Gerald Lüttgen,
2007,
Inf. Comput..
Rance Cleaveland,
Steve Sims,
R. Cleaveland,
1996,
CAV.
Rance Cleaveland,
Steve Sims,
Eric Madelaine,
1995,
TACAS.
Rance Cleaveland,
Bikram Sengupta,
R. Cleaveland,
2002,
SIGSOFT '02/FSE-10.
Rance Cleaveland,
Bikram Sengupta,
2003
.
Rance Cleaveland,
James Riely,
R. Cleaveland,
1994,
CONCUR.
Rance Cleaveland,
R. Cleaveland,
1993,
Functional Programming, Concurrency, Simulation and Automated Reasoning.
Rance Cleaveland,
Michael W. Mislove,
Philip S. Mulry,
1998,
Electron. Notes Theor. Comput. Sci..
Rance Cleaveland,
S. Purushothaman Iyer,
Daniel Yankelevich,
1995,
SAS.
Rance Cleaveland,
Daniel Yankelevich,
R. Cleaveland,
1994,
POPL '94.
Rance Cleaveland,
Ufuk Celikkan,
R. Cleaveland,
1992,
Distributed Computing.
Rance Cleaveland,
Matthew Hennessy,
R. Cleaveland,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Rance Cleaveland,
Robert L. Constable,
Prakash Panangaden,
1986
.
Rance Cleaveland,
Steve Sims,
David Hansel,
2007
.
Rance Cleaveland,
Scott A. Smolka,
Xiaoqun Du,
2000,
COORDINATION.
Rance Cleaveland,
1996,
CSUR.
Rance Cleaveland,
Bikram Sengupta,
2005,
IFM.
Rance Cleaveland,
Dezhuang Zhang,
2005,
FORTE.
Rance Cleaveland,
Lui Sha,
Insup Lee,
2006,
Computer.
Rance Cleaveland,
2007,
TACAS.
Rance Cleaveland,
Eugene W. Stark,
Dezhuang Zhang,
2003,
TACAS.
Rance Cleaveland,
Christoph Schulze,
2017,
ACM Trans. Embed. Comput. Syst..
Rance Cleaveland,
Matthew Hennessy,
1989,
Automatic Verification Methods for Finite State Systems.
Rance Cleaveland,
John W. Baugh,
Wael M. Elseaidy,
1996,
Engineering with Computers.
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Rance Cleaveland,
Margaret Martonosi,
Pinaki Mazumder,
2021,
IEEE Micro.
Rance Cleaveland,
Steven I. Marcus,
M. Girish Chandra,
2021,
Eur. J. Control.
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016
.