3742 search results - page 7 / 749 » On the Use of Formal Techniques for Validation |
110
click to vote
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
114
click to vote
RAID
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
107
Voted
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
105
Voted
JOT
2006
15 years 1 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
120
click to vote
DT
2000
15 years 1 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...