Gary T. Leavens 个人学术档案

引用次数

	总计	2019 年至今
引用	12518	1566
h 指数	52	18
i10 指数	126	35

820

410

205

615

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202435 46 90 84 113 133 157 175 212 224 327 385 447 647 713 807 706 719 698 672 550 552 538 485 448 334 367 251 237 350 322 248 156

开放获取的出版物数量

查看全部

10 篇文章

6 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Yoonsik CheonThe University of Texas at El Paso在 utep.edu 的电子邮件经过验证
Erik PollRadboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
Peter MüllerETH Zurich在 inf.ethz.ch 的电子邮件经过验证
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & Fair在 acm.org 的电子邮件经过验证
Hridesh RajanProfessor and Chair, Iowa State University在 acm.org 的电子邮件经过验证
Arnd Poetzsch-HeffterProfessor für Informatik, University of Kaiserslautern-Landau在 cs.uni-kl.de 的电子邮件经过验证
Murali SitaramanProfessor of Computer Science, Clemson University在 clemson.edu 的电子邮件经过验证
Todd MillsteinProfessor of Computer Science, UCLA在 cs.ucla.edu 的电子邮件经过验证
Henrique RebêloProfessor of Computer Science, Universidade Federal de Pernambuco在 cin.ufpe.br 的电子邮件经过验证
Amirfarhad NilizadehPh.D., Advanced Micro Devices (AMD)在 amd.com 的电子邮件经过验证
Ricardo Massa Ferreira LimaAssociate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)在 cin.ufpe.br 的电子邮件经过验证
Tim WahlsDickinson College在 dickinson.edu 的电子邮件经过验证
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris Cité在 irif.fr 的电子邮件经过验证
Daniel M. ZimmermanSenior Staff Research Scientist, CertiK在 acm.org 的电子邮件经过验证
Kim BruceEmeritus Professor of Computer Science, Pomona College在 pomona.edu 的电子邮件经过验证
Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Mehdi BagherzadehAssociate Professor of Computer Science, Oakland University在 oakland.edu 的电子邮件经过验证
Michael D. ErnstProfessor of Computer Science & Engineering, University of Washington在 cs.washington.edu 的电子邮件经过验证
David A. NaumannProfessor of Computer Science, Stevens Institute of Technology在 cs.stevens.edu 的电子邮件经过验证
Natarajan ShankarSRI International Computer Science Laboratory在 csl.sri.com 的电子邮件经过验证

关注

Gary T. Leavens

Professor, University of Central Florida

在 cs.ucf.edu 的电子邮件经过验证 - 首页

Programming Languages Formal Methods


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Preliminary design of JML: A behavioral interface specification language for Java GT Leavens, AL Baker, C Ruby ACM SIGSOFT Software Engineering Notes 31 (3), 1-38, 2006	1151	2006
An overview of JML tools and applications L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ... International Journal on Software Tools for Technology Transfer (STTT) 7 (3 …, 2005	884	2005
JML: A notation for detailed design G Leavens, A Baker, C Ruby KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE, 175-188, 1999	599	1999
A simple and practical approach to unit testing: The JML and JUnit way Y Cheon, GT Leavens ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002	457	2002
MultiJava: Modular open classes and symmetric multiple dispatch for Java C Clifton, GT Leavens, C Chambers, T Millstein Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000	440	2000
Beyond assertions: Advanced specification and verification with JML and ESC/Java2 P Chalin, J Kiniry, G Leavens, E Poll Formal Methods for Components and Objects, 342-363, 2006	351	2006
An overview of JML tools and applications L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ... Electronic Notes in Theoretical Computer Science 80, 75-91, 2003	350	2003
On binary methods K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ... Theory and Practice of Object Systems 1 (3), 221-242, 1995	339	1995
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...	320	2008
Forcing behavioral subtyping through specification inheritance KK Dhara, GT Leavens Proceedings of IEEE 18th International Conference on Software Engineering …, 1996	292	1996
How the design of JML accommodates both runtime assertion checking and formal verification G Leavens, Y Cheon, C Clifton, C Ruby, D Cok Formal Methods for Components and Objects, 262-284, 2003	276	2003
Design by Contract with JML GT Leavens, Y Cheon	259	2006
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006	252*	2006
JML (poster session) notations and tools supporting detailed design in JAVA GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000	251	2000
Foundations of component-based systems GT Leavens, M Sitaraman Cambridge University Press, 2000	243	2000
A runtime assertion checker for the Java Modeling Language (JML) Y Cheon, G Leavens	238	2002
@ tcomment: Testing javadoc comments to detect comment-code inconsistencies SH Tan, D Marinov, L Tan, GT Leavens 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012	237	2012
Behavioral interface specification languages J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson A survey paper CS-TR-09-01, University of Central Florida, School of EECS, Draft, 2009	230	2009
Modular invariants for layered object structures P Müller, A Poetzsch-Heffter, GT Leavens Science of Computer Programming 62 (3), 253-286, 2006	195	2006
Specification and verification challenges for sequential object-oriented programs GT Leavens, KRM Leino, P Müller Formal Aspects of Computing 19 (2), 159-189, 2007	186	2007

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用