FRINK Linked Data Fragments server

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

• W2927040248 endingPage "115" @default.
• W2927040248 startingPage "101" @default.
• W2927040248 abstract "This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from real-world models. These new tracks comprise LTL, CTL, and Reachability properties. In addition, we have further improved our benchmark generation infrastructure for parallel programs towards a full automation. RERS 2019 is part of TOOLympics, an event that hosts several popular challenges and competitions. In this paper, we highlight the newly added industrial tracks and our changes in response to the discussions at and results of the last RERS Challenge in Cyprus." @default.
• W2927040248 created "2019-04-11" @default.
• W2927040248 creator A5001955028 @default.
• W2927040248 creator A5024644413 @default.
• W2927040248 creator A5027343585 @default.
• W2927040248 creator A5034054915 @default.
• W2927040248 creator A5037058130 @default.
• W2927040248 creator A5058921540 @default.
• W2927040248 creator A5060649310 @default.
• W2927040248 creator A5063665777 @default.
• W2927040248 creator A5068788783 @default.
• W2927040248 creator A5078808456 @default.
• W2927040248 creator A5082322839 @default.
• W2927040248 date "2019-01-01" @default.
• W2927040248 modified "2023-09-25" @default.
• W2927040248 title "RERS 2019: Combining Synthesis with Real-World Models" @default.
• W2927040248 cites W144278825 @default.
• W2927040248 cites W1590315663 @default.
• W2927040248 cites W1850929791 @default.
• W2927040248 cites W1985859852 @default.
• W2927040248 cites W1996832037 @default.
• W2927040248 cites W2023808162 @default.
• W2927040248 cites W2124207853 @default.
• W2927040248 cites W2528081193 @default.
• W2927040248 cites W2529542719 @default.
• W2927040248 cites W2735934205 @default.
• W2927040248 cites W2736652413 @default.
• W2927040248 cites W2769144151 @default.
• W2927040248 cites W2789551577 @default.
• W2927040248 cites W2898671538 @default.
• W2927040248 cites W2899225006 @default.
• W2927040248 cites W2911619070 @default.
• W2927040248 cites W2914011863 @default.
• W2927040248 cites W2922410563 @default.
• W2927040248 cites W2932603064 @default.
• W2927040248 cites W2974337465 @default.
• W2927040248 cites W42768900 @default.
• W2927040248 cites W577336618 @default.
• W2927040248 cites W95161029 @default.
• W2927040248 doi "https://doi.org/10.1007/978-3-030-17502-3_7" @default.
• W2927040248 hasPublicationYear "2019" @default.
• W2927040248 type Work @default.
• W2927040248 sameAs 2927040248 @default.
• W2927040248 citedByCount "14" @default.
• W2927040248 countsByYear W29270402482019 @default.
• W2927040248 countsByYear W29270402482020 @default.
• W2927040248 countsByYear W29270402482021 @default.
• W2927040248 countsByYear W29270402482022 @default.
• W2927040248 countsByYear W29270402482023 @default.
• W2927040248 crossrefType "book-chapter" @default.
• W2927040248 hasAuthorship W2927040248A5001955028 @default.
• W2927040248 hasAuthorship W2927040248A5024644413 @default.
• W2927040248 hasAuthorship W2927040248A5027343585 @default.
• W2927040248 hasAuthorship W2927040248A5034054915 @default.
• W2927040248 hasAuthorship W2927040248A5037058130 @default.
• W2927040248 hasAuthorship W2927040248A5058921540 @default.
• W2927040248 hasAuthorship W2927040248A5060649310 @default.
• W2927040248 hasAuthorship W2927040248A5063665777 @default.
• W2927040248 hasAuthorship W2927040248A5068788783 @default.
• W2927040248 hasAuthorship W2927040248A5078808456 @default.
• W2927040248 hasAuthorship W2927040248A5082322839 @default.
• W2927040248 hasBestOaLocation W29270402481 @default.
• W2927040248 hasConcept C115901376 @default.
• W2927040248 hasConcept C121332964 @default.
• W2927040248 hasConcept C127413603 @default.
• W2927040248 hasConcept C136643341 @default.
• W2927040248 hasConcept C185798385 @default.
• W2927040248 hasConcept C205649164 @default.
• W2927040248 hasConcept C2779662365 @default.
• W2927040248 hasConcept C41008148 @default.
• W2927040248 hasConcept C58640448 @default.
• W2927040248 hasConcept C62520636 @default.
• W2927040248 hasConcept C78519656 @default.
• W2927040248 hasConcept C80444323 @default.
• W2927040248 hasConceptScore W2927040248C115901376 @default.
• W2927040248 hasConceptScore W2927040248C121332964 @default.
• W2927040248 hasConceptScore W2927040248C127413603 @default.
• W2927040248 hasConceptScore W2927040248C136643341 @default.
• W2927040248 hasConceptScore W2927040248C185798385 @default.
• W2927040248 hasConceptScore W2927040248C205649164 @default.
• W2927040248 hasConceptScore W2927040248C2779662365 @default.
• W2927040248 hasConceptScore W2927040248C41008148 @default.
• W2927040248 hasConceptScore W2927040248C58640448 @default.
• W2927040248 hasConceptScore W2927040248C62520636 @default.
• W2927040248 hasConceptScore W2927040248C78519656 @default.
• W2927040248 hasConceptScore W2927040248C80444323 @default.
• W2927040248 hasLocation W29270402481 @default.
• W2927040248 hasLocation W29270402482 @default.
• W2927040248 hasLocation W29270402483 @default.
• W2927040248 hasLocation W29270402484 @default.
• W2927040248 hasLocation W29270402485 @default.
• W2927040248 hasLocation W29270402486 @default.
• W2927040248 hasOpenAccess W2927040248 @default.
• W2927040248 hasPrimaryLocation W29270402481 @default.
• W2927040248 hasRelatedWork W1485630101 @default.
• W2927040248 hasRelatedWork W1486100501 @default.
• W2927040248 hasRelatedWork W2070338563 @default.
• W2927040248 hasRelatedWork W2096848550 @default.

• next