29 search results - page 5 / 6 » Checking Asynchronously Communicating Components Using Symbo... |
102
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
110
click to vote
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
101
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
113
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...