Matches in SemOpenAlex for { <https://semopenalex.org/work/W3144821052> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3144821052 endingPage "100678" @default.
- W3144821052 startingPage "100678" @default.
- W3144821052 abstract "The timed synchronous dataflow graph model is a graphical model of computation that allows concurrency between processes. This model is widely used due to its expressive power, semantic simplicity and predefined properties. However, the lack of support for formal verification makes it difficult to manually verify user-defined properties, even for small-sized graphs. This paper presents a formal verification solution of timed synchronous dataflow graphs based on the Lustre language and model checking. The solution consists in an automatic translation of synchronous dataflow graphs into Lustre code and in coding the user-defined properties as Lustre expressions. Use cases are presented showing the applicability of the method." @default.
- W3144821052 created "2021-04-13" @default.
- W3144821052 creator A5066984505 @default.
- W3144821052 date "2021-06-01" @default.
- W3144821052 modified "2023-09-26" @default.
- W3144821052 title "Formal verification of timed synchronous dataflow graphs using Lustre" @default.
- W3144821052 cites W1979803196 @default.
- W3144821052 cites W2000947342 @default.
- W3144821052 cites W2020987956 @default.
- W3144821052 cites W2070385897 @default.
- W3144821052 cites W2101508170 @default.
- W3144821052 cites W2115309705 @default.
- W3144821052 cites W2115803389 @default.
- W3144821052 cites W2120431055 @default.
- W3144821052 cites W2125415493 @default.
- W3144821052 cites W2146423178 @default.
- W3144821052 cites W2167077287 @default.
- W3144821052 cites W2464718695 @default.
- W3144821052 doi "https://doi.org/10.1016/j.jlamp.2021.100678" @default.
- W3144821052 hasPublicationYear "2021" @default.
- W3144821052 type Work @default.
- W3144821052 sameAs 3144821052 @default.
- W3144821052 citedByCount "0" @default.
- W3144821052 crossrefType "journal-article" @default.
- W3144821052 hasAuthorship W3144821052A5066984505 @default.
- W3144821052 hasConcept C111498074 @default.
- W3144821052 hasConcept C173608175 @default.
- W3144821052 hasConcept C180699724 @default.
- W3144821052 hasConcept C193702766 @default.
- W3144821052 hasConcept C199360897 @default.
- W3144821052 hasConcept C41008148 @default.
- W3144821052 hasConcept C489000 @default.
- W3144821052 hasConcept C77088390 @default.
- W3144821052 hasConcept C80444323 @default.
- W3144821052 hasConcept C83283714 @default.
- W3144821052 hasConcept C88468194 @default.
- W3144821052 hasConcept C96324660 @default.
- W3144821052 hasConceptScore W3144821052C111498074 @default.
- W3144821052 hasConceptScore W3144821052C173608175 @default.
- W3144821052 hasConceptScore W3144821052C180699724 @default.
- W3144821052 hasConceptScore W3144821052C193702766 @default.
- W3144821052 hasConceptScore W3144821052C199360897 @default.
- W3144821052 hasConceptScore W3144821052C41008148 @default.
- W3144821052 hasConceptScore W3144821052C489000 @default.
- W3144821052 hasConceptScore W3144821052C77088390 @default.
- W3144821052 hasConceptScore W3144821052C80444323 @default.
- W3144821052 hasConceptScore W3144821052C83283714 @default.
- W3144821052 hasConceptScore W3144821052C88468194 @default.
- W3144821052 hasConceptScore W3144821052C96324660 @default.
- W3144821052 hasLocation W31448210521 @default.
- W3144821052 hasOpenAccess W3144821052 @default.
- W3144821052 hasPrimaryLocation W31448210521 @default.
- W3144821052 hasRelatedWork W1499795143 @default.
- W3144821052 hasRelatedWork W1517543977 @default.
- W3144821052 hasRelatedWork W2055262824 @default.
- W3144821052 hasRelatedWork W2068264970 @default.
- W3144821052 hasRelatedWork W2080682474 @default.
- W3144821052 hasRelatedWork W2151898527 @default.
- W3144821052 hasRelatedWork W26691077 @default.
- W3144821052 hasRelatedWork W3144821052 @default.
- W3144821052 hasRelatedWork W316163056 @default.
- W3144821052 hasRelatedWork W1894736207 @default.
- W3144821052 hasVolume "121" @default.
- W3144821052 isParatext "false" @default.
- W3144821052 isRetracted "false" @default.
- W3144821052 magId "3144821052" @default.
- W3144821052 workType "article" @default.