963 search results - page 57 / 193 » Formal Analysis of BPMN Models Using Event-B |
143
Voted
ICCAD
2002
IEEE
16 years 18 days ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
197
Voted
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
101
Voted
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
150
Voted
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
115
Voted
ARC
2009
Springer
15 years 10 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...