99
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
126
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
100
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
123
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
115
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...