1.Reachability and Reward Checking for Stochastic Timed Automata

作　　者：Ernst Moritz Hahn ;Arnd Hartmanns ;Holger Hermanns

出　　处：Electronic Communications of the EASST. 2014 ;70.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465473

文章详细全文下载

2.Model Checking Algorithms for Markov Automata

作　　者：Hassan Hatefi ;Holger Hermanns

出　　处：Electronic Communications of the EASST. 2012 ;53.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465686

文章详细全文下载

3.Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors

作　　者：Ali Jafari ;Ehsan Khamespanah ;Marjan Sirjani 等

出　　处：Electronic Communications of the EASST. 2014 ;70.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100466116

文章详细全文下载

4.Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations

作　　者：Lijun Zhang ;Holger Hermanns ;Friedrich Eisenbrand 等

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:6)2008

出版社：Technical University of Braunschweig

文章 ID：47109817

文章详细全文下载

5.CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)

作　　者：Luca Aceto ;Jos Baeten ;Patricia Bouyer-Decitre 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:5:1-5:3.doi:10.4230/LIPIcs.CONCUR.2020.5

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822864

文章详细全文下载

6.Efficient CSL Model Checking Using Stratification

作　　者：Lijun Zhang ;David Jansen ;Flemming Nielson 等

出　　处：Logical Methods in Computer Science. 2012 ;8(2):1.doi:10.2168/LMCS-8(2:17)2012

出版社：Technical University of Braunschweig

文章 ID：264691996

文章详细全文下载

7.Analysis of Timed and Long-Run Objectives for Markov Automata

作　　者：Dennis Guck ;Hassan Hatefi ;Holger Hermanns 等

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:17)2014

出版社：Technical University of Braunschweig

文章 ID：264692132

文章详细全文下载

8.Cost Preserving Bisimulations for Probabilistic Automata

作　　者：Andrea Turrini ;Holger Hermanns

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:11)2014

出版社：Technical University of Braunschweig

文章 ID：264692162

文章详细全文下载

9.Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time

作　　者：Holger Hermanns ;Andrea Turrini

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:435-447.doi:10.4230/LIPIcs.FSTTCS.2012.435

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846222

文章详细全文下载

10.Verification of Open Interactive Markov Chains

作　　者：Tomas Brazdil ;Holger Hermanns ;Jan Krcal 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:474-485.doi:10.4230/LIPIcs.FSTTCS.2012.474

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846225

文章详细全文下载

	有本地全文	11篇
	有全文链接	2篇

	2022	1篇
	2020	1篇
	2019	1篇
	2016	1篇
	2014	4篇

	Holger Hermanns	13篇
	Andrea Turrini	2篇
	Hassan Hatefi	2篇
	Lijun Zhang	2篇
	Alexandra Silva	1篇

	Ali Jafari	1篇
	Arnd Hartmanns	1篇
	David Jansen	1篇
	David N. Jansen	1篇
	Dennis Guck	1篇
	Ehsan Khamespanah	1篇
	Ernst Moritz Hahn	1篇
	Flemming Nielson	1篇
	Friedrich Eisenbrand	1篇
	Jan Krcal	1篇
	Jan Kretinsky	1篇
	Joost-Pieter Katoen	1篇
	Jos Baeten	1篇
	Kevin Baum	1篇
	Luca Aceto	1篇
	Maciej Gazda	1篇
	Marjan Sirjani	1篇
	Mark Timmer	1篇
	Michael Fries	1篇
	Mohammad Reza Mousavi	1篇
	Patricia Bouyer-Decitre	1篇
	Rayna Dimitrova	1篇
	Sebastian Biewer	1篇
	Thomas Heinze	1篇
	Timo Speith	1篇
	Tomas Brazdil	1篇
	Vojtech Rehak	1篇

	Logical Methods in Computer Science	5篇
	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Electronic Communications of the EASST	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Holger Hermanns")))) )) ) )"

	德国	12篇
	澳大利亚	1篇