FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1761034813> ?p ?o ?g. }

• W1761034813 endingPage "682" @default.
• W1761034813 startingPage "679" @default.
• W1761034813 abstract "UPPAAL/DMC is an extension of UPPAAL which provides generic heuristics for directed model checking. In this approach, the traversal of the state space is guided by a heuristic function which estimates the distance of a search state to the nearest error state. Our tool combines two recent approaches to design such estimation functions. Both are based on computing an abstraction of the system and using the error distance in this abstraction as the heuristic value. The abstractions, and thus the heuristic functions, are generated fully automatically and do not need any additional user input. UPPAAL/DMC needs less time and memory to find shorter error paths than UPPAAL's standard search methods." @default.
• W1761034813 created "2016-06-24" @default.
• W1761034813 creator A5012164862 @default.
• W1761034813 creator A5032208207 @default.
• W1761034813 creator A5048189898 @default.
• W1761034813 creator A5062411838 @default.
• W1761034813 creator A5064871060 @default.
• W1761034813 creator A5076532681 @default.
• W1761034813 creator A5088003643 @default.
• W1761034813 date "2007-07-04" @default.
• W1761034813 modified "2023-09-27" @default.
• W1761034813 title "Uppaal/DMC – Abstraction-Based Heuristics for Directed Model Checking" @default.
• W1761034813 cites W2006406722 @default.
• W1761034813 cites W2056791366 @default.
• W1761034813 cites W2122054842 @default.
• W1761034813 cites W4234244433 @default.
• W1761034813 cites W78882874 @default.
• W1761034813 doi "https://doi.org/10.1007/978-3-540-71209-1_52" @default.
• W1761034813 hasPublicationYear "2007" @default.
• W1761034813 type Work @default.
• W1761034813 sameAs 1761034813 @default.
• W1761034813 citedByCount "19" @default.
• W1761034813 countsByYear W17610348132012 @default.
• W1761034813 countsByYear W17610348132014 @default.
• W1761034813 countsByYear W17610348132016 @default.
• W1761034813 countsByYear W17610348132018 @default.
• W1761034813 crossrefType "book-chapter" @default.
• W1761034813 hasAuthorship W1761034813A5012164862 @default.
• W1761034813 hasAuthorship W1761034813A5032208207 @default.
• W1761034813 hasAuthorship W1761034813A5048189898 @default.
• W1761034813 hasAuthorship W1761034813A5062411838 @default.
• W1761034813 hasAuthorship W1761034813A5064871060 @default.
• W1761034813 hasAuthorship W1761034813A5076532681 @default.
• W1761034813 hasAuthorship W1761034813A5088003643 @default.
• W1761034813 hasBestOaLocation W17610348131 @default.
• W1761034813 hasConcept C105795698 @default.
• W1761034813 hasConcept C110251889 @default.
• W1761034813 hasConcept C111472728 @default.
• W1761034813 hasConcept C111498074 @default.
• W1761034813 hasConcept C111919701 @default.
• W1761034813 hasConcept C124304363 @default.
• W1761034813 hasConcept C127705205 @default.
• W1761034813 hasConcept C138885662 @default.
• W1761034813 hasConcept C14036430 @default.
• W1761034813 hasConcept C140745168 @default.
• W1761034813 hasConcept C154945302 @default.
• W1761034813 hasConcept C173801870 @default.
• W1761034813 hasConcept C199360897 @default.
• W1761034813 hasConcept C30888246 @default.
• W1761034813 hasConcept C33923547 @default.
• W1761034813 hasConcept C41008148 @default.
• W1761034813 hasConcept C72434380 @default.
• W1761034813 hasConcept C78458016 @default.
• W1761034813 hasConcept C80444323 @default.
• W1761034813 hasConcept C86803240 @default.
• W1761034813 hasConceptScore W1761034813C105795698 @default.
• W1761034813 hasConceptScore W1761034813C110251889 @default.
• W1761034813 hasConceptScore W1761034813C111472728 @default.
• W1761034813 hasConceptScore W1761034813C111498074 @default.
• W1761034813 hasConceptScore W1761034813C111919701 @default.
• W1761034813 hasConceptScore W1761034813C124304363 @default.
• W1761034813 hasConceptScore W1761034813C127705205 @default.
• W1761034813 hasConceptScore W1761034813C138885662 @default.
• W1761034813 hasConceptScore W1761034813C14036430 @default.
• W1761034813 hasConceptScore W1761034813C140745168 @default.
• W1761034813 hasConceptScore W1761034813C154945302 @default.
• W1761034813 hasConceptScore W1761034813C173801870 @default.
• W1761034813 hasConceptScore W1761034813C199360897 @default.
• W1761034813 hasConceptScore W1761034813C30888246 @default.
• W1761034813 hasConceptScore W1761034813C33923547 @default.
• W1761034813 hasConceptScore W1761034813C41008148 @default.
• W1761034813 hasConceptScore W1761034813C72434380 @default.
• W1761034813 hasConceptScore W1761034813C78458016 @default.
• W1761034813 hasConceptScore W1761034813C80444323 @default.
• W1761034813 hasConceptScore W1761034813C86803240 @default.
• W1761034813 hasLocation W17610348131 @default.
• W1761034813 hasOpenAccess W1761034813 @default.
• W1761034813 hasPrimaryLocation W17610348131 @default.
• W1761034813 hasRelatedWork W1481934897 @default.
• W1761034813 hasRelatedWork W1491103651 @default.
• W1761034813 hasRelatedWork W1528447803 @default.
• W1761034813 hasRelatedWork W1546129131 @default.
• W1761034813 hasRelatedWork W1556566737 @default.
• W1761034813 hasRelatedWork W1575990843 @default.
• W1761034813 hasRelatedWork W1643791166 @default.
• W1761034813 hasRelatedWork W1792138840 @default.
• W1761034813 hasRelatedWork W1943502734 @default.
• W1761034813 hasRelatedWork W1962072139 @default.
• W1761034813 hasRelatedWork W2006406722 @default.
• W1761034813 hasRelatedWork W2036802481 @default.
• W1761034813 hasRelatedWork W2056791366 @default.
• W1761034813 hasRelatedWork W2082627779 @default.
• W1761034813 hasRelatedWork W2101508170 @default.
• W1761034813 hasRelatedWork W2136199343 @default.
• W1761034813 hasRelatedWork W2136877520 @default.
• W1761034813 hasRelatedWork W2913459036 @default.
• W1761034813 hasRelatedWork W78882874 @default.
• W1761034813 hasRelatedWork W89579886 @default.

• next