Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489220439> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1489220439 endingPage "102" @default.
- W1489220439 startingPage "88" @default.
- W1489220439 abstract "To model real-life critical systems, one needs“high-level” languages to express three important concepts: complex data structures, concurrency, and real-time. So far, the verification of timed systems has been successfully applied to “low-level” models, such as timed extensions of automata or of Petri nets. To bridge the gap between high-level languages, which allow a concise modeling of systems, and low-level models, for which efficient algorithms and tools have been designed, intermediate models are needed. In this paper, we propose the Atlantif intermediate model, an extension with real-time and concurrency of the Ntif (New Technology Intermediate Format) intermediate model. We define the formal semantics of Atlantif and present a translator from Atlantif to timed automata (for verification using Uppaal), and to time Petri nets (for verification using Tina)." @default.
- W1489220439 created "2016-06-24" @default.
- W1489220439 creator A5022400989 @default.
- W1489220439 creator A5075433817 @default.
- W1489220439 creator A5079354289 @default.
- W1489220439 date "2009-01-01" @default.
- W1489220439 modified "2023-10-17" @default.
- W1489220439 title "Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format" @default.
- W1489220439 cites W1493490750 @default.
- W1489220439 cites W1501354277 @default.
- W1489220439 cites W1507281497 @default.
- W1489220439 cites W1511538751 @default.
- W1489220439 cites W1537672735 @default.
- W1489220439 cites W1555450222 @default.
- W1489220439 cites W1582964729 @default.
- W1489220439 cites W1596935793 @default.
- W1489220439 cites W1752114248 @default.
- W1489220439 cites W1859526867 @default.
- W1489220439 cites W2000947342 @default.
- W1489220439 cites W2010698657 @default.
- W1489220439 cites W2023499821 @default.
- W1489220439 cites W2074016802 @default.
- W1489220439 cites W2089546907 @default.
- W1489220439 cites W2101508170 @default.
- W1489220439 cites W2116127628 @default.
- W1489220439 cites W2126860147 @default.
- W1489220439 cites W2151612633 @default.
- W1489220439 cites W2170486827 @default.
- W1489220439 cites W2180677596 @default.
- W1489220439 cites W4242692807 @default.
- W1489220439 doi "https://doi.org/10.1007/978-3-642-00255-7_7" @default.
- W1489220439 hasPublicationYear "2009" @default.
- W1489220439 type Work @default.
- W1489220439 sameAs 1489220439 @default.
- W1489220439 citedByCount "5" @default.
- W1489220439 countsByYear W14892204392012 @default.
- W1489220439 countsByYear W14892204392013 @default.
- W1489220439 countsByYear W14892204392017 @default.
- W1489220439 crossrefType "book-chapter" @default.
- W1489220439 hasAuthorship W1489220439A5022400989 @default.
- W1489220439 hasAuthorship W1489220439A5075433817 @default.
- W1489220439 hasAuthorship W1489220439A5079354289 @default.
- W1489220439 hasBestOaLocation W14892204392 @default.
- W1489220439 hasConcept C110251889 @default.
- W1489220439 hasConcept C111498074 @default.
- W1489220439 hasConcept C112505250 @default.
- W1489220439 hasConcept C162319229 @default.
- W1489220439 hasConcept C184337299 @default.
- W1489220439 hasConcept C193702766 @default.
- W1489220439 hasConcept C199360897 @default.
- W1489220439 hasConcept C2778029271 @default.
- W1489220439 hasConcept C30788636 @default.
- W1489220439 hasConcept C38677869 @default.
- W1489220439 hasConcept C41008148 @default.
- W1489220439 hasConcept C80444323 @default.
- W1489220439 hasConceptScore W1489220439C110251889 @default.
- W1489220439 hasConceptScore W1489220439C111498074 @default.
- W1489220439 hasConceptScore W1489220439C112505250 @default.
- W1489220439 hasConceptScore W1489220439C162319229 @default.
- W1489220439 hasConceptScore W1489220439C184337299 @default.
- W1489220439 hasConceptScore W1489220439C193702766 @default.
- W1489220439 hasConceptScore W1489220439C199360897 @default.
- W1489220439 hasConceptScore W1489220439C2778029271 @default.
- W1489220439 hasConceptScore W1489220439C30788636 @default.
- W1489220439 hasConceptScore W1489220439C38677869 @default.
- W1489220439 hasConceptScore W1489220439C41008148 @default.
- W1489220439 hasConceptScore W1489220439C80444323 @default.
- W1489220439 hasLocation W14892204391 @default.
- W1489220439 hasLocation W14892204392 @default.
- W1489220439 hasLocation W14892204393 @default.
- W1489220439 hasOpenAccess W1489220439 @default.
- W1489220439 hasPrimaryLocation W14892204391 @default.
- W1489220439 hasRelatedWork W1495170383 @default.
- W1489220439 hasRelatedWork W1526491740 @default.
- W1489220439 hasRelatedWork W1557385283 @default.
- W1489220439 hasRelatedWork W1579143078 @default.
- W1489220439 hasRelatedWork W1582195294 @default.
- W1489220439 hasRelatedWork W1596400039 @default.
- W1489220439 hasRelatedWork W1601209671 @default.
- W1489220439 hasRelatedWork W1603082437 @default.
- W1489220439 hasRelatedWork W1605803016 @default.
- W1489220439 hasRelatedWork W1638774901 @default.
- W1489220439 hasRelatedWork W2031460860 @default.
- W1489220439 hasRelatedWork W2096234982 @default.
- W1489220439 hasRelatedWork W2097309823 @default.
- W1489220439 hasRelatedWork W2103882301 @default.
- W1489220439 hasRelatedWork W2118628218 @default.
- W1489220439 hasRelatedWork W2127133644 @default.
- W1489220439 hasRelatedWork W2161067880 @default.
- W1489220439 hasRelatedWork W2170115973 @default.
- W1489220439 hasRelatedWork W2391673600 @default.
- W1489220439 hasRelatedWork W2746615638 @default.
- W1489220439 isParatext "false" @default.
- W1489220439 isRetracted "false" @default.
- W1489220439 magId "1489220439" @default.
- W1489220439 workType "book-chapter" @default.