Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385237218> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4385237218 endingPage "379" @default.
- W4385237218 startingPage "368" @default.
- W4385237218 abstract "Multiple occurrences of the events make the behaviors of an event-driven system usually less logical and explicit. Thus, an event-driven system is hard to be analyzed and found errors. In this paper, we introduce an approach to analyze event-driven systems following the properties related to the occurrence of the events. Our method is based on the exploration of the states of the system using model checking techniques. To that end, we introduced a domain-specific language (DSL) to easily describe the behaviors of the system. The specification of the system in the DSL is then translated into the model of the system to explore the states of the system. The property to be checked is used to realize the model checking algorithm that is used to label the graph realized from the state space. The experiment results show that we can facilitate the specification of the system and analyze the behaviors of the system correctly." @default.
- W4385237218 created "2023-07-26" @default.
- W4385237218 creator A5033868573 @default.
- W4385237218 date "2023-01-01" @default.
- W4385237218 modified "2023-10-17" @default.
- W4385237218 title "ESpin: Analyzing Event-Driven Systems in Model Checking" @default.
- W4385237218 cites W1996596937 @default.
- W4385237218 cites W2051068608 @default.
- W4385237218 cites W2117189826 @default.
- W4385237218 cites W2168702667 @default.
- W4385237218 cites W2996306923 @default.
- W4385237218 cites W4244819751 @default.
- W4385237218 doi "https://doi.org/10.1007/978-3-031-36886-8_31" @default.
- W4385237218 hasPublicationYear "2023" @default.
- W4385237218 type Work @default.
- W4385237218 citedByCount "0" @default.
- W4385237218 crossrefType "book-chapter" @default.
- W4385237218 hasAuthorship W4385237218A5033868573 @default.
- W4385237218 hasConcept C105795698 @default.
- W4385237218 hasConcept C107645828 @default.
- W4385237218 hasConcept C110251889 @default.
- W4385237218 hasConcept C111472728 @default.
- W4385237218 hasConcept C115903868 @default.
- W4385237218 hasConcept C120314980 @default.
- W4385237218 hasConcept C121332964 @default.
- W4385237218 hasConcept C132525143 @default.
- W4385237218 hasConcept C134306372 @default.
- W4385237218 hasConcept C138885662 @default.
- W4385237218 hasConcept C189950617 @default.
- W4385237218 hasConcept C199360897 @default.
- W4385237218 hasConcept C201374245 @default.
- W4385237218 hasConcept C2779662365 @default.
- W4385237218 hasConcept C33923547 @default.
- W4385237218 hasConcept C36503486 @default.
- W4385237218 hasConcept C41008148 @default.
- W4385237218 hasConcept C62520636 @default.
- W4385237218 hasConcept C72434380 @default.
- W4385237218 hasConcept C76155785 @default.
- W4385237218 hasConcept C79403827 @default.
- W4385237218 hasConcept C80444323 @default.
- W4385237218 hasConceptScore W4385237218C105795698 @default.
- W4385237218 hasConceptScore W4385237218C107645828 @default.
- W4385237218 hasConceptScore W4385237218C110251889 @default.
- W4385237218 hasConceptScore W4385237218C111472728 @default.
- W4385237218 hasConceptScore W4385237218C115903868 @default.
- W4385237218 hasConceptScore W4385237218C120314980 @default.
- W4385237218 hasConceptScore W4385237218C121332964 @default.
- W4385237218 hasConceptScore W4385237218C132525143 @default.
- W4385237218 hasConceptScore W4385237218C134306372 @default.
- W4385237218 hasConceptScore W4385237218C138885662 @default.
- W4385237218 hasConceptScore W4385237218C189950617 @default.
- W4385237218 hasConceptScore W4385237218C199360897 @default.
- W4385237218 hasConceptScore W4385237218C201374245 @default.
- W4385237218 hasConceptScore W4385237218C2779662365 @default.
- W4385237218 hasConceptScore W4385237218C33923547 @default.
- W4385237218 hasConceptScore W4385237218C36503486 @default.
- W4385237218 hasConceptScore W4385237218C41008148 @default.
- W4385237218 hasConceptScore W4385237218C62520636 @default.
- W4385237218 hasConceptScore W4385237218C72434380 @default.
- W4385237218 hasConceptScore W4385237218C76155785 @default.
- W4385237218 hasConceptScore W4385237218C79403827 @default.
- W4385237218 hasConceptScore W4385237218C80444323 @default.
- W4385237218 hasLocation W43852372181 @default.
- W4385237218 hasOpenAccess W4385237218 @default.
- W4385237218 hasPrimaryLocation W43852372181 @default.
- W4385237218 hasRelatedWork W1572578464 @default.
- W4385237218 hasRelatedWork W1647863393 @default.
- W4385237218 hasRelatedWork W1972616446 @default.
- W4385237218 hasRelatedWork W2106934209 @default.
- W4385237218 hasRelatedWork W2149299285 @default.
- W4385237218 hasRelatedWork W2493800215 @default.
- W4385237218 hasRelatedWork W3006199460 @default.
- W4385237218 hasRelatedWork W3158759410 @default.
- W4385237218 hasRelatedWork W4205778860 @default.
- W4385237218 hasRelatedWork W73040595 @default.
- W4385237218 isParatext "false" @default.
- W4385237218 isRetracted "false" @default.
- W4385237218 workType "book-chapter" @default.