407 search results - page 39 / 82 » An Automated Verification Method for Distributed Systems Sof... |
124
Voted
CAV
2006
Springer
15 years 6 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...
134
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
123
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
116
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...
141
Voted
CAISE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...