|
21
|
Recursive Object Types in a Logic of Object-Oriented Programs
– K. Rustan M. Leino
- 1998
|
|
28
|
Verifying object-oriented programs that use subtypes
– G T Leavens
- 1989
|
|
10
|
Modular verification of object-oriented programs with subtypes
– G T Leavens
- 1990
|
|
14
|
Concepts of Behavioral Subtyping and a Sketch of their Extension to Component-Based Systems
– Gary T. Leavens, K.K. Dhara, Krishna Kishore Dhara
- 2000
|
|
18
|
A Sequential Real-time Refinement Calculus
– Ian J. Hayes, Ian J. Hayes, Mark Utting, Mark Utting
- 1997
|
|
12
|
Real-Time Systems and Software
– A Shaw
- 2001
|
|
29
|
WCET analysis for a java processor
– M Schoeberl, R Pedersen
- 2006
|
|
9
|
Behavioral subtyping, specification inheritance, and modular reasoning
– G T Leavens, D A Naumann
- 2006
|
|
3
|
Profiles: A Compositional Mechanism for Performance Specification
– Joan Krone, William F. Ogden, Murali Sitaraman, J. Krone, W. F. Ogden, M. Sitaraman
|
|
3
|
Formalization of time and space. Formal Aspects of Computing, 10:290–306
– E C R Hehner
- 1998
|
|
3
|
Worst case execution time analysis of object-oriented programs
– J Gustafsson
|
|
4
|
Extensible dynamic analysis for jml: A case study with loop annotations
– G Haddad, G T Leavens
- 2008
|
|
2
|
JSR 302: Safety critical java technology. From http://jcp.org/en/jsr/detail?id=302 (Date retrieved
– Sun Microsystems, Inc
- 2008
|
|
1
|
The Design of SafeJML, a Specification Language for SCJ with Support for WCET Specification
– Ghaith Haddad, Faraz Hussain, Gary T. Leavens
- 2010
|
|
3
|
Developing safety critical Java applications with oSCJ/L0
– A Plsek, L Zhao, V H Sahin, D Tang, T Kalibera, J Vitek
- 2010
|
|
23
|
JMLs rich, inherited specifications for behavioral subtypes
– G T LEAVENS
|
|
10
|
pWCET: A tool for probabilistic worst-case execution time analysis of real-time systems
– Guillem Bernat, Antoine Colin, Stefan Petters
- 2003
|
|
35
|
Beyond assertions: Advanced specification and verification with JML and ESC/Java2
– Erik Poll, Patrice Chalin, David Cok, Joe Kiniry, Gary T. Leavens
- 2006
|
|
68
|
Writing Larch Interface Language Specifications
– Jeannette M. Wing
- 1987
|
