Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024356058> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2024356058 endingPage "363" @default.
- W2024356058 startingPage "347" @default.
- W2024356058 abstract "In this article we present a synthesis technique for generating schedulers for real-time systems. The aim of the scheduler is to ensure (via restricting the general behaviour) that the real-time system satisfies the specification. The real-time system and the specification are described as Alur–Dill timed automata while the synthesised scheduler is a type of timed trajectory automaton. This allows us to perform the synthesis without incurring the cost of constructing timed regions. We also note a simple constraint that the specification has to satisfy for this technique to be useful." @default.
- W2024356058 created "2016-06-24" @default.
- W2024356058 creator A5091442651 @default.
- W2024356058 date "2003-04-01" @default.
- W2024356058 modified "2023-10-16" @default.
- W2024356058 title "Automatic synthesis of a subclass of schedulers in timed systems" @default.
- W2024356058 cites W1524254874 @default.
- W2024356058 cites W1526718211 @default.
- W2024356058 cites W1534958051 @default.
- W2024356058 cites W1552159734 @default.
- W2024356058 cites W1562548608 @default.
- W2024356058 cites W1563066232 @default.
- W2024356058 cites W1576380096 @default.
- W2024356058 cites W1588045515 @default.
- W2024356058 cites W1598525853 @default.
- W2024356058 cites W1846599876 @default.
- W2024356058 cites W1981568149 @default.
- W2024356058 cites W2059057465 @default.
- W2024356058 cites W2066403336 @default.
- W2024356058 cites W2071592303 @default.
- W2024356058 cites W2089182307 @default.
- W2024356058 cites W2101508170 @default.
- W2024356058 cites W2106974838 @default.
- W2024356058 cites W2121845202 @default.
- W2024356058 cites W2126720785 @default.
- W2024356058 cites W2144965436 @default.
- W2024356058 cites W2154148696 @default.
- W2024356058 cites W99246831 @default.
- W2024356058 doi "https://doi.org/10.1016/s0304-3975(02)00813-7" @default.
- W2024356058 hasPublicationYear "2003" @default.
- W2024356058 type Work @default.
- W2024356058 sameAs 2024356058 @default.
- W2024356058 citedByCount "0" @default.
- W2024356058 crossrefType "journal-article" @default.
- W2024356058 hasAuthorship W2024356058A5091442651 @default.
- W2024356058 hasBestOaLocation W20243560581 @default.
- W2024356058 hasConcept C11413529 @default.
- W2024356058 hasConcept C114614502 @default.
- W2024356058 hasConcept C159654299 @default.
- W2024356058 hasConcept C203014093 @default.
- W2024356058 hasConcept C2776194381 @default.
- W2024356058 hasConcept C33923547 @default.
- W2024356058 hasConcept C41008148 @default.
- W2024356058 hasConcept C71924100 @default.
- W2024356058 hasConceptScore W2024356058C11413529 @default.
- W2024356058 hasConceptScore W2024356058C114614502 @default.
- W2024356058 hasConceptScore W2024356058C159654299 @default.
- W2024356058 hasConceptScore W2024356058C203014093 @default.
- W2024356058 hasConceptScore W2024356058C2776194381 @default.
- W2024356058 hasConceptScore W2024356058C33923547 @default.
- W2024356058 hasConceptScore W2024356058C41008148 @default.
- W2024356058 hasConceptScore W2024356058C71924100 @default.
- W2024356058 hasIssue "2" @default.
- W2024356058 hasLocation W20243560581 @default.
- W2024356058 hasOpenAccess W2024356058 @default.
- W2024356058 hasPrimaryLocation W20243560581 @default.
- W2024356058 hasRelatedWork W1810510190 @default.
- W2024356058 hasRelatedWork W1978042415 @default.
- W2024356058 hasRelatedWork W2588661979 @default.
- W2024356058 hasRelatedWork W2588990642 @default.
- W2024356058 hasRelatedWork W2998280548 @default.
- W2024356058 hasRelatedWork W3037234640 @default.
- W2024356058 hasRelatedWork W4220938940 @default.
- W2024356058 hasRelatedWork W4234629478 @default.
- W2024356058 hasRelatedWork W4238903123 @default.
- W2024356058 hasRelatedWork W995411220 @default.
- W2024356058 hasVolume "298" @default.
- W2024356058 isParatext "false" @default.
- W2024356058 isRetracted "false" @default.
- W2024356058 magId "2024356058" @default.
- W2024356058 workType "article" @default.