Matches in SemOpenAlex for { <https://semopenalex.org/work/W1590429520> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1590429520 endingPage "36" @default.
- W1590429520 startingPage "21" @default.
- W1590429520 abstract "The parallel composition with observers is a well-known approach to check or test properties over formal models of concurrent and real-time systems. We present a newtec hnique to reduce the size of the resulting model. Our approach has been developed for a formalism based on Timed Automata. Firstly, it discovers relevant components and clocks at each location of the observer using in.uence information. Secondly, it outcomes an abstraction which is equivalent to the original model up to branching-time structure and can be treated by veri.cation tools such as Kronos [12] or OpenKronos [23]. Our experiments suggest that the approach may lead to significant time and space savings during verification phase due to state space reduction and the existence of shorter counterexamples in the optimized model." @default.
- W1590429520 created "2016-06-24" @default.
- W1590429520 creator A5005812046 @default.
- W1590429520 creator A5047743678 @default.
- W1590429520 creator A5077284423 @default.
- W1590429520 date "2002-01-01" @default.
- W1590429520 modified "2023-09-26" @default.
- W1590429520 title "Improving the Verification of Timed Systems Using Influence Information" @default.
- W1590429520 cites W1543050278 @default.
- W1590429520 cites W1554260731 @default.
- W1590429520 cites W1555686915 @default.
- W1590429520 cites W1874725288 @default.
- W1590429520 cites W1981808971 @default.
- W1590429520 cites W1986033227 @default.
- W1590429520 cites W2093635848 @default.
- W1590429520 cites W2093709900 @default.
- W1590429520 cites W2101508170 @default.
- W1590429520 cites W2102380292 @default.
- W1590429520 cites W2160883697 @default.
- W1590429520 cites W2170571869 @default.
- W1590429520 cites W4254584195 @default.
- W1590429520 cites W7832550 @default.
- W1590429520 doi "https://doi.org/10.1007/3-540-46002-0_3" @default.
- W1590429520 hasPublicationYear "2002" @default.
- W1590429520 type Work @default.
- W1590429520 sameAs 1590429520 @default.
- W1590429520 citedByCount "22" @default.
- W1590429520 countsByYear W15904295202012 @default.
- W1590429520 countsByYear W15904295202014 @default.
- W1590429520 countsByYear W15904295202015 @default.
- W1590429520 countsByYear W15904295202016 @default.
- W1590429520 crossrefType "book-chapter" @default.
- W1590429520 hasAuthorship W1590429520A5005812046 @default.
- W1590429520 hasAuthorship W1590429520A5047743678 @default.
- W1590429520 hasAuthorship W1590429520A5077284423 @default.
- W1590429520 hasBestOaLocation W15904295201 @default.
- W1590429520 hasConcept C110251889 @default.
- W1590429520 hasConcept C111472728 @default.
- W1590429520 hasConcept C111498074 @default.
- W1590429520 hasConcept C112505250 @default.
- W1590429520 hasConcept C11413529 @default.
- W1590429520 hasConcept C118615104 @default.
- W1590429520 hasConcept C124304363 @default.
- W1590429520 hasConcept C138885662 @default.
- W1590429520 hasConcept C142362112 @default.
- W1590429520 hasConcept C153349607 @default.
- W1590429520 hasConcept C162838799 @default.
- W1590429520 hasConcept C30788636 @default.
- W1590429520 hasConcept C33923547 @default.
- W1590429520 hasConcept C41008148 @default.
- W1590429520 hasConcept C558565934 @default.
- W1590429520 hasConcept C73301696 @default.
- W1590429520 hasConcept C80444323 @default.
- W1590429520 hasConceptScore W1590429520C110251889 @default.
- W1590429520 hasConceptScore W1590429520C111472728 @default.
- W1590429520 hasConceptScore W1590429520C111498074 @default.
- W1590429520 hasConceptScore W1590429520C112505250 @default.
- W1590429520 hasConceptScore W1590429520C11413529 @default.
- W1590429520 hasConceptScore W1590429520C118615104 @default.
- W1590429520 hasConceptScore W1590429520C124304363 @default.
- W1590429520 hasConceptScore W1590429520C138885662 @default.
- W1590429520 hasConceptScore W1590429520C142362112 @default.
- W1590429520 hasConceptScore W1590429520C153349607 @default.
- W1590429520 hasConceptScore W1590429520C162838799 @default.
- W1590429520 hasConceptScore W1590429520C30788636 @default.
- W1590429520 hasConceptScore W1590429520C33923547 @default.
- W1590429520 hasConceptScore W1590429520C41008148 @default.
- W1590429520 hasConceptScore W1590429520C558565934 @default.
- W1590429520 hasConceptScore W1590429520C73301696 @default.
- W1590429520 hasConceptScore W1590429520C80444323 @default.
- W1590429520 hasLocation W15904295201 @default.
- W1590429520 hasOpenAccess W1590429520 @default.
- W1590429520 hasPrimaryLocation W15904295201 @default.
- W1590429520 hasRelatedWork W1514172519 @default.
- W1590429520 hasRelatedWork W1598914363 @default.
- W1590429520 hasRelatedWork W1600235415 @default.
- W1590429520 hasRelatedWork W1749129787 @default.
- W1590429520 hasRelatedWork W1860772589 @default.
- W1590429520 hasRelatedWork W1994348879 @default.
- W1590429520 hasRelatedWork W2010830882 @default.
- W1590429520 hasRelatedWork W2127574686 @default.
- W1590429520 hasRelatedWork W2165214723 @default.
- W1590429520 hasRelatedWork W2884753865 @default.
- W1590429520 isParatext "false" @default.
- W1590429520 isRetracted "false" @default.
- W1590429520 magId "1590429520" @default.
- W1590429520 workType "book-chapter" @default.