1.Towards an Updatable Strategy Logic

作　　者：Christophe Chareton ;Julien Brunel ;David Chemouil

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;112:91-98.doi:10.4204/EPTCS.112.14

出版社：Open Publishing Association

文章 ID：85356988

文章详细全文下载
2.A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic

作　　者：Quentin Peyras ;Julien Brunel ;David Chemouil

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;147:1-16.doi:10.4230/LIPIcs.TIME.2019.15

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

文章 ID：240116390

文章详细全文下载
3.Modeling Cache Coherence to Expose Interference

作　　者：Nathana{"e}l Sensfelder ;Julien Brunel ;Claire Pagetti

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;133:1-22.doi:10.4230/LIPIcs.ECRTS.2019.18

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

文章 ID：238892125

文章详细全文下载
4.On How to Identify Cache Coherence: Case of the NXP QorIQ T4240

作　　者：Nathana{"e}l Sensfelder ;Julien Brunel ;Claire Pagetti

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;165:13:1-13:22.doi:10.4230/LIPIcs.ECRTS.2020.13

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

文章 ID：255823228

文章详细全文下载
5.Simulation under Arbitrary Temporal Logic Constraints

作　　者：Julien Brunel ;David Chemouil ;Alcino Cunha 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;310:63-69.doi:10.4204/EPTCS.310.7

出版社：Open Publishing Association

文章 ID：1034734001

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Christophe Chareton	1篇
	Nuno Macedo	1篇
	Quentin Peyras	1篇

	德国	3篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Julien Brunel")))) )) ) )"

	Julien Brunel	5篇
	David Chemouil	3篇
	Claire Pagetti	2篇
	Nathana{"e}l Sensfelder	2篇
	Alcino Cunha	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Electronic Proceedings in Theoretical Computer Science	2篇

	2020	1篇
	2019	3篇
	2013	1篇