1796 search results - page 215 / 360 » An Approach to Compositional Model Checking |
BMCBI
2008
15 years 22 days ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
102
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
135
Voted
RE
2006
Springer
15 years 16 days ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
131
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
117
click to vote
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...