{"title":"The Mean Value of the Maximum","authors":"H. Bohnenkamp, B. Haverkort","doi":"10.1007/3-540-45605-8_4","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_4","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129314769","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Possibilistic and Probabilistic Abstraction-Based Model Checking","authors":"M. Huth","doi":"10.1007/3-540-45605-8_8","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_8","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134026138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling","authors":"M. Kwiatkowska, Rashid Mehmood","doi":"10.1007/3-540-45605-8_9","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_9","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"63 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131261476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Security Analysis of a Probabilistic Non-repudiation Protocol","authors":"A. Aldini, R. Gorrieri","doi":"10.1007/3-540-45605-8_3","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_3","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125678473","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2002-07-25DOI: 10.1007/3-540-45605-8_10
M. Kwiatkowska, G. Norman, A. Pacheco
{"title":"Model Checking CSL until Formulae with Random Time Bounds","authors":"M. Kwiatkowska, G. Norman, A. Pacheco","doi":"10.1007/3-540-45605-8_10","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_10","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134154476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Randomization Helps in LTL Model Checking","authors":"L. Brim, I. Cerná, M. Necesal","doi":"10.1007/3-540-44804-7_7","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_7","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132735837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
P. D’Argenio, Bertrand Jeannet, H. Jensen, K. Larsen
{"title":"Reachability Analysis of Probabilistic Systems by Successive Refinements","authors":"P. D’Argenio, Bertrand Jeannet, H. Jensen, K. Larsen","doi":"10.1007/3-540-44804-7_3","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_3","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123672742","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2001-09-12DOI: 10.1007/3-540-44804-7_10
L. Cloth, H. Bohnenkamp, B. Haverkort
{"title":"Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes","authors":"L. Cloth, H. Bohnenkamp, B. Haverkort","doi":"10.1007/3-540-44804-7_10","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_10","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131027193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2001-09-12DOI: 10.1007/3-540-44804-7_13
G. Clark, W. Sanders
{"title":"Implementing a Stochastic Process Algebra within the Möbius Modeling Framework","authors":"G. Clark, W. Sanders","doi":"10.1007/3-540-44804-7_13","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_13","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124180982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Faster and Symbolic CTMC Model Checking","authors":"J. Katoen, M. Kwiatkowska, G. Norman, D. Parker","doi":"10.1007/3-540-44804-7_2","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_2","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131791167","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：