FRINK Linked Data Fragments server

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

• W1534715403 abstract "We present a rule-based framework, called EAGLE, that has been shown to be capable of defining and implementing a range of finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time and metric temporal logics, interval logics, forms of quantified temporal logics, and so on. A monitor for an EAGLE formula checks if a finite trace of states satisfies the given formula. We present, in details, an algorithm for the synthesis of monitors for EAGLE. The algorithm is implemented as a Java application and involves novel techniques for rule definition, manipulation and execution. Monitoring is achieved on a state-by-state basis avoiding any need to store the input trace of states. Our initial experiments have been successful as EAGLE detected a previously unknown bug while testing a planetary rover controller." @default.
• W1534715403 created "2016-06-24" @default.
• W1534715403 creator A5011281985 @default.
• W1534715403 creator A5025169716 @default.
• W1534715403 creator A5031651335 @default.
• W1534715403 creator A5040778442 @default.
• W1534715403 date "2003-01-01" @default.
• W1534715403 modified "2023-09-24" @default.
• W1534715403 title "EAGLE Monitors by Collecting Facts and Generating Obligations" @default.
• W1534715403 cites W1493834706 @default.
• W1534715403 cites W1566440953 @default.
• W1534715403 cites W1576866974 @default.
• W1534715403 cites W1720848645 @default.
• W1534715403 cites W1740522204 @default.
• W1534715403 cites W1825341937 @default.
• W1534715403 cites W1979344622 @default.
• W1534715403 cites W198859491 @default.
• W1534715403 cites W2001516787 @default.
• W1534715403 cites W2019751493 @default.
• W1534715403 cites W2023808162 @default.
• W1534715403 cites W2026629052 @default.
• W1534715403 cites W2078282392 @default.
• W1534715403 cites W2080560821 @default.
• W1534715403 cites W2088417279 @default.
• W1534715403 cites W2104717300 @default.
• W1534715403 cites W2114768982 @default.
• W1534715403 cites W2119965246 @default.
• W1534715403 cites W2322462744 @default.
• W1534715403 cites W2556173242 @default.
• W1534715403 hasPublicationYear "2003" @default.
• W1534715403 type Work @default.
• W1534715403 sameAs 1534715403 @default.
• W1534715403 citedByCount "8" @default.
• W1534715403 countsByYear W15347154032015 @default.
• W1534715403 countsByYear W15347154032017 @default.
• W1534715403 crossrefType "proceedings-article" @default.
• W1534715403 hasAuthorship W1534715403A5011281985 @default.
• W1534715403 hasAuthorship W1534715403A5025169716 @default.
• W1534715403 hasAuthorship W1534715403A5031651335 @default.
• W1534715403 hasAuthorship W1534715403A5040778442 @default.
• W1534715403 hasConcept C109701466 @default.
• W1534715403 hasConcept C111498074 @default.
• W1534715403 hasConcept C11413529 @default.
• W1534715403 hasConcept C127413603 @default.
• W1534715403 hasConcept C138885662 @default.
• W1534715403 hasConcept C146978453 @default.
• W1534715403 hasConcept C151730666 @default.
• W1534715403 hasConcept C176217482 @default.
• W1534715403 hasConcept C199360897 @default.
• W1534715403 hasConcept C202973057 @default.
• W1534715403 hasConcept C204323151 @default.
• W1534715403 hasConcept C21547014 @default.
• W1534715403 hasConcept C25016198 @default.
• W1534715403 hasConcept C2780985876 @default.
• W1534715403 hasConcept C41008148 @default.
• W1534715403 hasConcept C41895202 @default.
• W1534715403 hasConcept C4777664 @default.
• W1534715403 hasConcept C48103436 @default.
• W1534715403 hasConcept C548217200 @default.
• W1534715403 hasConcept C75291252 @default.
• W1534715403 hasConcept C80444323 @default.
• W1534715403 hasConcept C86803240 @default.
• W1534715403 hasConceptScore W1534715403C109701466 @default.
• W1534715403 hasConceptScore W1534715403C111498074 @default.
• W1534715403 hasConceptScore W1534715403C11413529 @default.
• W1534715403 hasConceptScore W1534715403C127413603 @default.
• W1534715403 hasConceptScore W1534715403C138885662 @default.
• W1534715403 hasConceptScore W1534715403C146978453 @default.
• W1534715403 hasConceptScore W1534715403C151730666 @default.
• W1534715403 hasConceptScore W1534715403C176217482 @default.
• W1534715403 hasConceptScore W1534715403C199360897 @default.
• W1534715403 hasConceptScore W1534715403C202973057 @default.
• W1534715403 hasConceptScore W1534715403C204323151 @default.
• W1534715403 hasConceptScore W1534715403C21547014 @default.
• W1534715403 hasConceptScore W1534715403C25016198 @default.
• W1534715403 hasConceptScore W1534715403C2780985876 @default.
• W1534715403 hasConceptScore W1534715403C41008148 @default.
• W1534715403 hasConceptScore W1534715403C41895202 @default.
• W1534715403 hasConceptScore W1534715403C4777664 @default.
• W1534715403 hasConceptScore W1534715403C48103436 @default.
• W1534715403 hasConceptScore W1534715403C548217200 @default.
• W1534715403 hasConceptScore W1534715403C75291252 @default.
• W1534715403 hasConceptScore W1534715403C80444323 @default.
• W1534715403 hasConceptScore W1534715403C86803240 @default.
• W1534715403 hasOpenAccess W1534715403 @default.
• W1534715403 hasRelatedWork W1825341937 @default.
• W1534715403 hasRelatedWork W1995597180 @default.
• W1534715403 hasRelatedWork W2023594847 @default.
• W1534715403 hasRelatedWork W2048327004 @default.
• W1534715403 hasRelatedWork W2079071212 @default.
• W1534715403 hasRelatedWork W2119965246 @default.
• W1534715403 hasRelatedWork W2124516932 @default.
• W1534715403 hasRelatedWork W2153680858 @default.
• W1534715403 hasRelatedWork W2170181173 @default.
• W1534715403 hasRelatedWork W2405916544 @default.
• W1534715403 hasRelatedWork W2493593937 @default.
• W1534715403 hasRelatedWork W2523246461 @default.
• W1534715403 hasRelatedWork W2523320959 @default.
• W1534715403 hasRelatedWork W2586742848 @default.
• W1534715403 hasRelatedWork W2748623701 @default.

• next