1.Coverability Synthesis in Parametric Petri Nets

作　　者：Nicolas David ;Claude Jard ;Didier Lime 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:14:1-14:16.doi:10.4230/LIPIcs.CONCUR.2017.14

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

文章 ID：200735180

文章详细全文下载
2.Discrete Parameters in Petri Nets (Informal Presentation)

作　　者：Nicolas David ;Claude Jard ;Didier Lime 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2015 ;44:103-103.doi:10.4230/OASIcs.SynCoP.2015.103

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

文章 ID：186848899

文章详细全文下载
3.Parametric Model-Checking of Stopwatch Petri Nets

作　　者：Louis-Marie Traonouez ;Didier Lime ;Olivier H. Roux

出　　处：Journal of Universal Computer Science. 2009 ;15(17):3273-3304.

出版社：Graz University of Technology and Know-Center

文章 ID：186874463

文章详细
4.On-line optimal compositional controller synthesis for AGV by unfolding

作　　者：Johan Girault ;Jean-Jacques Loiseau ;Olivier H. Roux

出　　处：IFAC PapersOnLine. 2015 ;48(7):167-173.doi:10.1016/j.ifacol.2015.06.489

出版社：Elsevier

文章 ID：1019238784

文章详细
5.REACHABILITY AND LIVENESS IN PARAMETRIC TIMED AUTOMATA

作　　者：Étienne André ;Didier Lime ;Olivier H. Roux

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-41.doi:10.46298/lmcs-18(1:31)2022

出版社：Technical University of Braunschweig

文章 ID：1038046968

文章详细

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

	德国	3篇
	奥地利	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Olivier H. Roux")))) )) ) )"

	Olivier H. Roux	5篇
	Didier Lime	4篇
	Claude Jard	2篇
	Nicolas David	2篇
	Jean-Jacques Loiseau	1篇

	Johan Girault	1篇
	Louis-Marie Traonouez	1篇
	Étienne André	1篇

	IFAC PapersOnLine	1篇
	Journal of Universal Computer Science	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Logical Methods in Computer Science	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2022	1篇
	2017	1篇
	2015	2篇
	2009	1篇