253 search results - page 9 / 51 » Formal analysis of timed continuous Petri nets |
FORMATS
2005
Springer
15 years 7 months ago
2005
Springer
138
Voted
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
118
click to vote
JUCS
2007
15 years 1 months ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
118
Voted
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
139
Voted
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
15 years 7 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...