Probabilistic timed graph transformation systems

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 101; pp. 110 - 131
Main Authors Maximova, Maria, Giese, Holger, Krause, Christian
Format Journal Article
LanguageEnglish
Published 01.12.2018
Online AccessGet full text

Cover

Author Krause, Christian
Maximova, Maria
Giese, Holger
Author_xml – sequence: 1
  givenname: Maria
  surname: Maximova
  fullname: Maximova, Maria
– sequence: 2
  givenname: Holger
  orcidid: 0000-0002-4723-730X
  surname: Giese
  fullname: Giese, Holger
– sequence: 3
  givenname: Christian
  surname: Krause
  fullname: Krause, Christian
BookMark eNp9j71OwzAUhT0UiVL6BCx5gYRrO4ntEVX8SZVggNnydWxwlJ_K9tK3Jy1MDJWudJb7HZ3vhqymeXKE3FGoKND2vq_6wYyHigGVFagKgK_ImvGGlYyBvCbblHqA5VUKyemawHuc0WAYQsrBFjmMriu-ojl8FzmaKfk5jiaHeSrSMWU3plty5c2Q3PYvN-Tz6fFj91Lu355fdw_70rJa5VIg66RAo9DLTmArXAuOC8kUq3G5roZGGM7Bo2cGbYu2aRR2HBAlOsM3hP_22jinFJ3XhxhGE4-agj656l6fXfXJVYPSi-tCqX-UDfm8f7EJw0X2B8ioYZA
CitedBy_id crossref_primary_10_1016_j_jlamp_2023_100938
crossref_primary_10_1145_3572782
crossref_primary_10_1016_j_ecoinf_2022_101908
crossref_primary_10_1007_s00165_021_00558_z
crossref_primary_10_1007_s10009_020_00585_w
crossref_primary_10_1016_j_jlamp_2019_02_002
crossref_primary_10_4204_EPTCS_309_2
Cites_doi 10.1016/S0304-3975(01)00046-9
10.1016/0304-3975(94)90010-8
10.1007/s10990-007-9001-5
10.1016/j.entcs.2005.10.040
10.1512/iumj.1957.6.56038
10.3233/FI-1996-263404
10.1006/inco.1993.1024
10.1016/j.ic.2007.01.004
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2018.09.003
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 131
ExternalDocumentID 10_1016_j_jlamp_2018_09_003
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AFXIZ
AGCQF
AGHFR
AGRNS
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
BNPGV
CITATION
EBS
EFJIC
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
RIG
ROL
SPC
SPCBC
SSH
SSV
SSZ
T5K
~G-
ID FETCH-LOGICAL-c249t-7b2d87ba9bf8d7b67e60e3782924b24bd4057a330fbf2abc6bc559bd30bb8bea3
ISSN 2352-2208
IngestDate Tue Jul 01 00:37:50 EDT 2025
Thu Apr 24 22:55:36 EDT 2025
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c249t-7b2d87ba9bf8d7b67e60e3782924b24bd4057a330fbf2abc6bc559bd30bb8bea3
ORCID 0000-0002-4723-730X
PageCount 22
ParticipantIDs crossref_primary_10_1016_j_jlamp_2018_09_003
crossref_citationtrail_10_1016_j_jlamp_2018_09_003
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2018-12-00
PublicationDateYYYYMMDD 2018-12-01
PublicationDate_xml – month: 12
  year: 2018
  text: 2018-12-00
PublicationDecade 2010
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2018
References Neumann (10.1016/j.jlamp.2018.09.003_br0050) 2007
Henzinger (10.1016/j.jlamp.2018.09.003_br0240) 1997; vol. 1201
Lan (10.1016/j.jlamp.2018.09.003_br0270) 2012
Alur (10.1016/j.jlamp.2018.09.003_br0210) 1994; 126
(10.1016/j.jlamp.2018.09.003_br0010) 2005
Agha (10.1016/j.jlamp.2018.09.003_br0160) 2006; 153
Schäfer (10.1016/j.jlamp.2018.09.003_br0020) 2007
The Eclipse Foundation (10.1016/j.jlamp.2018.09.003_br0120)
Sen (10.1016/j.jlamp.2018.09.003_br0170) 2005
Segala (10.1016/j.jlamp.2018.09.003_br0230) 1996
Becker (10.1016/j.jlamp.2018.09.003_br0060) 2008
Kwiatkowska (10.1016/j.jlamp.2018.09.003_br0090) 2007; 205
Kastenberg (10.1016/j.jlamp.2018.09.003_br0100) 2006; vol. 3925
Daws (10.1016/j.jlamp.2018.09.003_br0080) 1996; vol. 1066
Bellman (10.1016/j.jlamp.2018.09.003_br0190) 1957; 6
Gyapay (10.1016/j.jlamp.2018.09.003_br0070) 2003; 58
Kwiatkowska (10.1016/j.jlamp.2018.09.003_br0180) 2002; 282
Heckel (10.1016/j.jlamp.2018.09.003_br0140) 2006; 74
Maximova (10.1016/j.jlamp.2018.09.003_br0220) 2017; vol. 10373
Kwiatkowska (10.1016/j.jlamp.2018.09.003_br0130) 2011; vol. 6806
Krause (10.1016/j.jlamp.2018.09.003_br0110) 2012; vol. 7562
Alur (10.1016/j.jlamp.2018.09.003_br0200) 1993; 104
Ehrig (10.1016/j.jlamp.2018.09.003_br0250) 2006
Giese (10.1016/j.jlamp.2018.09.003_br0040) 2007; vol. 4322
Ölveczky (10.1016/j.jlamp.2018.09.003_br0150) 2007; 20
Habel (10.1016/j.jlamp.2018.09.003_br0260) 1996; 26
References_xml – volume: 58
  start-page: 1
  year: 2003
  ident: 10.1016/j.jlamp.2018.09.003_br0070
  article-title: Graph transformation with time
  publication-title: Fundam. Inform.
– volume: vol. 1066
  start-page: 208
  year: 1996
  ident: 10.1016/j.jlamp.2018.09.003_br0080
  article-title: The tool Kronos
– start-page: 251
  year: 2005
  ident: 10.1016/j.jlamp.2018.09.003_br0170
  article-title: VESTA: a statistical model-checker and analyzer for probabilistic systems
– volume: 282
  start-page: 101
  issue: 1
  year: 2002
  ident: 10.1016/j.jlamp.2018.09.003_br0180
  article-title: Automatic verification of real-time systems with discrete probability distributions
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/S0304-3975(01)00046-9
– volume: 126
  start-page: 183
  issue: 2
  year: 1994
  ident: 10.1016/j.jlamp.2018.09.003_br0210
  article-title: A theory of timed automata
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/0304-3975(94)90010-8
– year: 2006
  ident: 10.1016/j.jlamp.2018.09.003_br0250
– start-page: 2483
  year: 2012
  ident: 10.1016/j.jlamp.2018.09.003_br0270
  article-title: The effect of 802.11a on DSRC for ETC communication
– volume: vol. 6806
  start-page: 585
  year: 2011
  ident: 10.1016/j.jlamp.2018.09.003_br0130
  article-title: Prism 4.0: verification of probabilistic real-time systems
– start-page: 203
  year: 2008
  ident: 10.1016/j.jlamp.2018.09.003_br0060
  article-title: On safe service-oriented real-time coordination for autonomous vehicles
– volume: vol. 4322
  start-page: 258
  year: 2007
  ident: 10.1016/j.jlamp.2018.09.003_br0040
  article-title: Modeling and verification of cooperative self-adaptive mechatronic systems
– year: 2005
  ident: 10.1016/j.jlamp.2018.09.003_br0010
– volume: 20
  start-page: 161
  year: 2007
  ident: 10.1016/j.jlamp.2018.09.003_br0150
  article-title: Semantics and pragmatics of Real-Time Maude
  publication-title: High.-Order Symb. Comput.
  doi: 10.1007/s10990-007-9001-5
– year: 1996
  ident: 10.1016/j.jlamp.2018.09.003_br0230
– volume: 153
  start-page: 213
  year: 2006
  ident: 10.1016/j.jlamp.2018.09.003_br0160
  article-title: PMaude: rewrite-based specification language for probabilistic object systems
  publication-title: Electron. Notes Theor. Comput. Sci.
  doi: 10.1016/j.entcs.2005.10.040
– volume: 6
  start-page: 679
  year: 1957
  ident: 10.1016/j.jlamp.2018.09.003_br0190
  article-title: A Markovian decision process
  publication-title: Indiana Univ. Math. J.
  doi: 10.1512/iumj.1957.6.56038
– volume: vol. 3925
  start-page: 299
  year: 2006
  ident: 10.1016/j.jlamp.2018.09.003_br0100
  article-title: Model checking dynamic states in Groove
– volume: vol. 10373
  start-page: 159
  year: 2017
  ident: 10.1016/j.jlamp.2018.09.003_br0220
  article-title: Probabilistic timed graph transformation systems
– year: 2007
  ident: 10.1016/j.jlamp.2018.09.003_br0050
– volume: vol. 7562
  start-page: 311
  year: 2012
  ident: 10.1016/j.jlamp.2018.09.003_br0110
  article-title: Probabilistic graph transformation systems
– volume: 26
  start-page: 287
  issue: 3, 4
  year: 1996
  ident: 10.1016/j.jlamp.2018.09.003_br0260
  article-title: Graph grammars with negative application conditions
  publication-title: Fundam. Inform.
  doi: 10.3233/FI-1996-263404
– volume: 104
  start-page: 2
  issue: 1
  year: 1993
  ident: 10.1016/j.jlamp.2018.09.003_br0200
  article-title: Model-checking in dense real-time
  publication-title: Inf. Comput.
  doi: 10.1006/inco.1993.1024
– volume: 205
  start-page: 1027
  year: 2007
  ident: 10.1016/j.jlamp.2018.09.003_br0090
  article-title: Symbolic model checking for probabilistic timed automata
  publication-title: Inf. Comput.
  doi: 10.1016/j.ic.2007.01.004
– volume: vol. 1201
  start-page: 48
  year: 1997
  ident: 10.1016/j.jlamp.2018.09.003_br0240
  article-title: From quantity to quality
– volume: 74
  start-page: 63
  year: 2006
  ident: 10.1016/j.jlamp.2018.09.003_br0140
  article-title: Stochastic graph transformation systems
  publication-title: Fundam. Inform.
– start-page: 72
  year: 2007
  ident: 10.1016/j.jlamp.2018.09.003_br0020
  article-title: The challenges of building advanced mechatronic systems
– ident: 10.1016/j.jlamp.2018.09.003_br0120
SSID ssj0001687831
Score 2.1829314
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 110
Title Probabilistic timed graph transformation systems
Volume 101
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEF6kXrz4Ft_k4E0j202T3R5F1KpYPLTgLWR2E7FoKzUV8dc7-8ijVooKJZRlMyT5JvPYzH5DyBETSRhkimNu0gp9jMCFnwCTPo80GQl6yMx0nrvrRp1-6-YhfKjapZrdJTmcys8f95X8B1UcQ1z1Ltk_IFsKxQH8j_jiERHG468wvh_j26irWzXZsmkTr44NA7Xu_FDGo4jvW42XfDYSLcyf4W19ftSfklGc7S1ty8xtEddL4ebMCvYHovyeuP0-T6V1v9K0E8ahjVBUWfp7O04mdtzSGRRa6RYcmqJWvGHsEsOYzWeMiikj6mZYM9h0parWozatnZ8x1nbdYHA6QN3X1KFNYShnaVD5puJ7_DeXVRYSFjVqg9gIibWQmLZjQwC7yDB1YA2yeHZ92-lWK2-R4MI0qizvpKCjMoV_M5dTC1lqsUdvlSw7qLwzqwFrZCEdrpOVoiGH5-zzBqFTCuEZhfCMQnjTCuE5hdgk_cuL3nnHdy0xfIl5cu5zYEpwSNqQCcUh4mlE0wCjPEyjAX9Kx99JENAMMpaAjEBiyggqoAAC0iTYIo3haJhuE08q4EGURu2QQYsqKWgoU3xZlQwll7K9Q1hx17F0fPG6bclzPOeh75CT8qRXS5cyb_ru36bvkaVKIfdJIx9P0gOMCXM4dCB_AZNQZF4
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Probabilistic+timed+graph+transformation+systems&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Maximova%2C+Maria&rft.au=Giese%2C+Holger&rft.au=Krause%2C+Christian&rft.date=2018-12-01&rft.issn=2352-2208&rft.volume=101&rft.spage=110&rft.epage=131&rft_id=info:doi/10.1016%2Fj.jlamp.2018.09.003&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2018_09_003
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon