FRINK Linked Data Fragments server

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

• W2800859676 abstract "This paper introduces mcc4mcc, the Model Checker Collection for the Model Checking Contest, a tool that wraps multiple model checking solutions, and applies the most appropriate one based on the characteristics of the model it is given. It leverages machine learning algorithms to carry out this selection, based on the results gathered from the 2017 edition of the Model Checking Contest, an annual event in which multiple tools compete to verify different properties on a large variety of models. Our approach brings two important contributions. First, our tool offers the opportunity to further investigate on the relation between model characteristics and verification techniques. Second, it lays out the groundwork for a unified way to distribute model checking software using virtual containers." @default.
• W2800859676 created "2018-05-17" @default.
• W2800859676 creator A5006679979 @default.
• W2800859676 creator A5013795728 @default.
• W2800859676 creator A5026195787 @default.
• W2800859676 creator A5027849434 @default.
• W2800859676 creator A5029606873 @default.
• W2800859676 date "2018-01-01" @default.
• W2800859676 modified "2023-09-26" @default.
• W2800859676 title "A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning" @default.
• W2800859676 cites W1509607930 @default.
• W2800859676 cites W1788026644 @default.
• W2800859676 cites W1864649459 @default.
• W2800859676 cites W1985859852 @default.
• W2800859676 cites W2008526771 @default.
• W2800859676 cites W2023953679 @default.
• W2800859676 cites W2078423317 @default.
• W2800859676 cites W2125548279 @default.
• W2800859676 cites W2218450089 @default.
• W2800859676 cites W2227958109 @default.
• W2800859676 cites W2512806456 @default.
• W2800859676 cites W2514183514 @default.
• W2800859676 cites W2522043470 @default.
• W2800859676 cites W2534121892 @default.
• W2800859676 cites W2610706984 @default.
• W2800859676 cites W2770547411 @default.
• W2800859676 cites W4249235879 @default.
• W2800859676 cites W54061235 @default.
• W2800859676 doi "https://doi.org/10.1007/978-3-319-91268-4_21" @default.
• W2800859676 hasPublicationYear "2018" @default.
• W2800859676 type Work @default.
• W2800859676 sameAs 2800859676 @default.
• W2800859676 citedByCount "5" @default.
• W2800859676 countsByYear W28008596762019 @default.
• W2800859676 countsByYear W28008596762021 @default.
• W2800859676 countsByYear W28008596762022 @default.
• W2800859676 crossrefType "book-chapter" @default.
• W2800859676 hasAuthorship W2800859676A5006679979 @default.
• W2800859676 hasAuthorship W2800859676A5013795728 @default.
• W2800859676 hasAuthorship W2800859676A5026195787 @default.
• W2800859676 hasAuthorship W2800859676A5027849434 @default.
• W2800859676 hasAuthorship W2800859676A5029606873 @default.
• W2800859676 hasBestOaLocation W28008596762 @default.
• W2800859676 hasConcept C110251889 @default.
• W2800859676 hasConcept C115903868 @default.
• W2800859676 hasConcept C121332964 @default.
• W2800859676 hasConcept C124101348 @default.
• W2800859676 hasConcept C136197465 @default.
• W2800859676 hasConcept C154945302 @default.
• W2800859676 hasConcept C17744445 @default.
• W2800859676 hasConcept C199360897 @default.
• W2800859676 hasConcept C199539241 @default.
• W2800859676 hasConcept C25343380 @default.
• W2800859676 hasConcept C2777582232 @default.
• W2800859676 hasConcept C2777904410 @default.
• W2800859676 hasConcept C2779662365 @default.
• W2800859676 hasConcept C41008148 @default.
• W2800859676 hasConcept C62520636 @default.
• W2800859676 hasConceptScore W2800859676C110251889 @default.
• W2800859676 hasConceptScore W2800859676C115903868 @default.
• W2800859676 hasConceptScore W2800859676C121332964 @default.
• W2800859676 hasConceptScore W2800859676C124101348 @default.
• W2800859676 hasConceptScore W2800859676C136197465 @default.
• W2800859676 hasConceptScore W2800859676C154945302 @default.
• W2800859676 hasConceptScore W2800859676C17744445 @default.
• W2800859676 hasConceptScore W2800859676C199360897 @default.
• W2800859676 hasConceptScore W2800859676C199539241 @default.
• W2800859676 hasConceptScore W2800859676C25343380 @default.
• W2800859676 hasConceptScore W2800859676C2777582232 @default.
• W2800859676 hasConceptScore W2800859676C2777904410 @default.
• W2800859676 hasConceptScore W2800859676C2779662365 @default.
• W2800859676 hasConceptScore W2800859676C41008148 @default.
• W2800859676 hasConceptScore W2800859676C62520636 @default.
• W2800859676 hasLocation W28008596761 @default.
• W2800859676 hasLocation W28008596762 @default.
• W2800859676 hasOpenAccess W2800859676 @default.
• W2800859676 hasPrimaryLocation W28008596761 @default.
• W2800859676 hasRelatedWork W1966703696 @default.
• W2800859676 hasRelatedWork W1969536875 @default.
• W2800859676 hasRelatedWork W2000679388 @default.
• W2800859676 hasRelatedWork W2015544224 @default.
• W2800859676 hasRelatedWork W2023256370 @default.
• W2800859676 hasRelatedWork W2044513801 @default.
• W2800859676 hasRelatedWork W2058228613 @default.
• W2800859676 hasRelatedWork W2065037173 @default.
• W2800859676 hasRelatedWork W2153790756 @default.
• W2800859676 hasRelatedWork W2404420422 @default.
• W2800859676 hasRelatedWork W266623819 @default.
• W2800859676 hasRelatedWork W2782566216 @default.
• W2800859676 hasRelatedWork W2884253562 @default.
• W2800859676 hasRelatedWork W2903238268 @default.
• W2800859676 hasRelatedWork W2954583943 @default.
• W2800859676 hasRelatedWork W3021006199 @default.
• W2800859676 hasRelatedWork W3097755136 @default.
• W2800859676 hasRelatedWork W3130059429 @default.
• W2800859676 hasRelatedWork W3157443257 @default.
• W2800859676 hasRelatedWork W3208695041 @default.
• W2800859676 isParatext "false" @default.
• W2800859676 isRetracted "false" @default.
• W2800859676 magId "2800859676" @default.

• next