FRINK Linked Data Fragments server

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

• W2183622971 abstract "In this paper we describe the PROPeRTy project (Propagation Rules for Real-Time Systems) ongoing at the University of Erlangen-Nuremberg, a framework for testing real-time systems using logic programming approach combined with consistency techniques. A realtime system specification relies on the timed automata model [R. Alur et al. (1994)] and is automatically executed allowing the user to study the behaviour of the system by specifying constraints under which the execution should be performed. Such constraints, taken into account during a symbolic execution, are resolved by constraint propagator under consistency preserving. The symbolic execution generates a path (or multiple paths) consistent with the user formula and helps to decide if the formula is satisfied by the specification. In this paper we report about our project on using constraint propagation in the testing such realtime systems." @default.
• W2183622971 created "2016-06-24" @default.
• W2183622971 creator A5075252211 @default.
• W2183622971 date "2005-07-06" @default.
• W2183622971 modified "2023-09-27" @default.
• W2183622971 title "A consistency-based approach to efficient test case generation from timed automata specifications" @default.
• W2183622971 cites W1488560674 @default.
• W2183622971 cites W1521753002 @default.
• W2183622971 cites W1535896115 @default.
• W2183622971 cites W1560050980 @default.
• W2183622971 cites W1568889492 @default.
• W2183622971 cites W1589232796 @default.
• W2183622971 cites W1814221162 @default.
• W2183622971 cites W1854012871 @default.
• W2183622971 cites W1885037678 @default.
• W2183622971 cites W1988095917 @default.
• W2183622971 cites W2012694101 @default.
• W2183622971 cites W2033130678 @default.
• W2183622971 cites W2068852367 @default.
• W2183622971 cites W2101508170 @default.
• W2183622971 cites W2123396057 @default.
• W2183622971 cites W2158744037 @default.
• W2183622971 cites W2570710533 @default.
• W2183622971 cites W2508602472 @default.
• W2183622971 doi "https://doi.org/10.1109/iccis.2004.1460392" @default.
• W2183622971 hasPublicationYear "2005" @default.
• W2183622971 type Work @default.
• W2183622971 sameAs 2183622971 @default.
• W2183622971 citedByCount "1" @default.
• W2183622971 crossrefType "proceedings-article" @default.
• W2183622971 hasAuthorship W2183622971A5075252211 @default.
• W2183622971 hasConcept C111472728 @default.
• W2183622971 hasConcept C112505250 @default.
• W2183622971 hasConcept C126255220 @default.
• W2183622971 hasConcept C137105694 @default.
• W2183622971 hasConcept C137631369 @default.
• W2183622971 hasConcept C138885662 @default.
• W2183622971 hasConcept C154945302 @default.
• W2183622971 hasConcept C173404611 @default.
• W2183622971 hasConcept C176783269 @default.
• W2183622971 hasConcept C189950617 @default.
• W2183622971 hasConcept C199360897 @default.
• W2183622971 hasConcept C199622910 @default.
• W2183622971 hasConcept C2524010 @default.
• W2183622971 hasConcept C2776036281 @default.
• W2183622971 hasConcept C2776436953 @default.
• W2183622971 hasConcept C2777904410 @default.
• W2183622971 hasConcept C2779639559 @default.
• W2183622971 hasConcept C33923547 @default.
• W2183622971 hasConcept C41008148 @default.
• W2183622971 hasConcept C44616089 @default.
• W2183622971 hasConcept C49937458 @default.
• W2183622971 hasConcept C80444323 @default.
• W2183622971 hasConceptScore W2183622971C111472728 @default.
• W2183622971 hasConceptScore W2183622971C112505250 @default.
• W2183622971 hasConceptScore W2183622971C126255220 @default.
• W2183622971 hasConceptScore W2183622971C137105694 @default.
• W2183622971 hasConceptScore W2183622971C137631369 @default.
• W2183622971 hasConceptScore W2183622971C138885662 @default.
• W2183622971 hasConceptScore W2183622971C154945302 @default.
• W2183622971 hasConceptScore W2183622971C173404611 @default.
• W2183622971 hasConceptScore W2183622971C176783269 @default.
• W2183622971 hasConceptScore W2183622971C189950617 @default.
• W2183622971 hasConceptScore W2183622971C199360897 @default.
• W2183622971 hasConceptScore W2183622971C199622910 @default.
• W2183622971 hasConceptScore W2183622971C2524010 @default.
• W2183622971 hasConceptScore W2183622971C2776036281 @default.
• W2183622971 hasConceptScore W2183622971C2776436953 @default.
• W2183622971 hasConceptScore W2183622971C2777904410 @default.
• W2183622971 hasConceptScore W2183622971C2779639559 @default.
• W2183622971 hasConceptScore W2183622971C33923547 @default.
• W2183622971 hasConceptScore W2183622971C41008148 @default.
• W2183622971 hasConceptScore W2183622971C44616089 @default.
• W2183622971 hasConceptScore W2183622971C49937458 @default.
• W2183622971 hasConceptScore W2183622971C80444323 @default.
• W2183622971 hasLocation W21836229711 @default.
• W2183622971 hasOpenAccess W2183622971 @default.
• W2183622971 hasPrimaryLocation W21836229711 @default.
• W2183622971 hasRelatedWork W1516288898 @default.
• W2183622971 hasRelatedWork W1517959189 @default.
• W2183622971 hasRelatedWork W1541426137 @default.
• W2183622971 hasRelatedWork W1558598345 @default.
• W2183622971 hasRelatedWork W1565193401 @default.
• W2183622971 hasRelatedWork W1575138043 @default.
• W2183622971 hasRelatedWork W1578246106 @default.
• W2183622971 hasRelatedWork W1582868218 @default.
• W2183622971 hasRelatedWork W1588072165 @default.
• W2183622971 hasRelatedWork W1633598750 @default.
• W2183622971 hasRelatedWork W1656829835 @default.
• W2183622971 hasRelatedWork W1863652788 @default.
• W2183622971 hasRelatedWork W2001162920 @default.
• W2183622971 hasRelatedWork W2074500093 @default.
• W2183622971 hasRelatedWork W2112612768 @default.
• W2183622971 hasRelatedWork W2114768982 @default.
• W2183622971 hasRelatedWork W2156077234 @default.
• W2183622971 hasRelatedWork W2167668895 @default.
• W2183622971 hasRelatedWork W2963063504 @default.
• W2183622971 hasRelatedWork W622304541 @default.
• W2183622971 isParatext "false" @default.
• W2183622971 isRetracted "false" @default.

• next