1173 search results - page 105 / 235 » On the Compositionality of Round Abstraction |
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
102
Voted
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
103
Voted
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 7 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
107
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
126
click to vote
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...