4693 search results - page 61 / 939 » Verifying Hybrid Systems |
117
Voted
ACSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
91
Voted
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
85
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
āOne-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related veriļ¬cation problems ov...
117
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
109
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...