981 search results - page 95 / 197 » Semantics-aware trace analysis |
121
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
139
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
127
click to vote
APN
2001
Springer
15 years 6 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
120
click to vote
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
— We present SoCExplore, a framework for fast communicationcentric design space exploration of complex SoCs with networkbased interconnects. Speed-up in exploration is achieved t...
140
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...