Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(196)
Curtis Clifton
26
Yoonsik Cheon
21
Clyde Ruby
13
Arnd Poetzsch-heffter
12
Albert Baker
12
Conferences
(24)
OOPSLA
9
ECOOP(Workshop)
8
ECOOP
5
AOSD
3
SAC
3
Journals
(21)
SIGPLAN
15
ENTCS
4
SCP
3
SPE
3
ACM Sigsoft Software Engineering Notes
3
Keywords
(182)
Embed
Subscribe
Academic
Authors
Gary T. Leavens
Edit
Gary T. Leavens
University of Central Florida
Publications: 185
|
Citations: 4093
|
G-Index: 61
|
H-Index: 33
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
196 co-authors
from 1984 to 2011
; Cited by
2354 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(185)
BibTeX
|
RIS
|
RefWorks
Download
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces
(
Citations: 1
)
Mehdi Bagherzadeh
,
Hridesh Rajan
,
Gary T. Leavens
,
Sean Mooney
Conference:
Aspect-Oriented Software Development - AOSD
, pp. 141-152, 2011
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov
,
Peter Müller
,
Natarajan Shankar
,
Gary Leavens
,
Valentin Wüstholz
,
Eyad Alkassar
,
Rob Arthan
,
Derek Bronish
,
Rod Chapman
,
Ernie Cohen
,
Mark Hillebrand
,
Bart Jacobs
http://academic.research.microsoft.com/io.ashx?type=5&id=48864321&selfId1=60393&selfId2=0&maxNumber=12&query=
Published in 2011.
Modularizing crosscutting concerns with Ptolemy
Hridesh Rajan
,
Gary T. Leavens
,
Robert Dyer
,
Mehdi Bagherzadeh
Conference:
Aspect-Oriented Software Development - AOSD
, pp. 61-62, 2011
Applying translucid contracts for modular reasoning about aspect and object oriented events
Mehdi Bagherzadeh
,
Gary T. Leavens
,
Robert Dyer
Published in 2011.
The design of SafeJML, a specification language for SCJ with support for WCET specification
(
Citations: 1
)
Ghaith Haddad
,
Faraz Hussain
,
Gary T. Leavens
Conference:
Java Technologies for Real-time and Embedded Systems - JTRES
, pp. 155-163, 2010
Order by:
Citations
(4093 times by 2172 publications)
The essence of monotonic state
(
Citations: 6
)
Alexandre Pilkiewicz
,
François Pottier
Published in 2011.
Implicit invocation meets safe, implicit concurrency
(
Citations: 3
)
Yuheng Long
,
Sean L. Mooney
,
Tyler Sondag
,
Hridesh Rajan
Published in 2011.
The dynamic frames theory
(
Citations: 3
)
Ioannis T. Kassios
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 3, pp. 267-288, 2011
Evolutionary repair of faulty software
(
Citations: 2
)
Andrea Arcuri
Journal:
Applied Soft Computing - ASC
, vol. 11, no. 4, pp. 3494-3514, 2011
A parametric segmentation functor for fully automatic and scalable array content analysis
(
Citations: 3
)
Patrick Cousot
,
Radhia Cousot
,
Francesco Logozzo
Published in 2011.
Comments