302 search results - page 37 / 61 » An approach to synthesise safe systems |
119
click to vote
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
89
Voted
FPL
2009
Springer
15 years 5 months ago
2009
Springer
Commercial SRAM-based FPGAs have the potential to provide aerospace applications with the necessary performance to meet next-generation mission requirements. However, the suscepti...
96
Voted
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
IWPC
1998
IEEE
15 years 4 months ago
1998
IEEE
An approach to recover object oriented design patterns from design and code is presented. The pattern recovery process is based on a multi-stage filtering strategy to avoid combin...