×
作者ID: 西尔贾尼·马尔扬“Sirjani,Marjan”最近发表的zbMATH文章
发布日期: 马尔詹·西尔贾尼
外部链接: MGP公司
编入索引的文档: 18出版物自2004年起
15名编辑的贡献
合著者: 33位合著者具有32联合出版物
660名合作作者

按年份列出的出版物

zbMATH Open中包含的引文

14出版物有被引用87中的次63文件 引用人 年份
通过约束自动机在Reo中建模组件连接器。 Zbl 1105.68058号
克里斯特尔·拜尔;马尔詹·西尔贾尼;法哈德·阿尔巴;简·拉特
43
2006
使用Rebeca对反应系统进行建模和验证。 Zbl 1082.68007号
马尔詹·西尔贾尼;阿里·莫瓦加尔;阿明·沙利;德波尔(Frank S。
12
2004
异步实时并发对象的可调度性。 兹比尔1188.68085
穆罕默德·马赫迪·贾古奥里;德波尔(Frank S。;汤姆·乔西亚;马尔詹·西尔贾尼
8
2009
比较三种协调模型:Reo、ARC和RRD。 兹比尔1277.68208
卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平
4
2008
使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 Zbl 1347.68240号
萨米拉·塔沙罗菲;马尔詹·西尔贾尼
4
2009
进化自适应系统的形式化建模。 Zbl 1264.68131号
Khakpour、Narges;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维
3
2012
Rebeca模型检验中的对称性和部分降阶技术。 Zbl 1185.68142号
穆罕默德·马赫迪·贾古奥里;马尔詹·西尔贾尼;穆罕默德·雷扎·穆萨维;埃桑·卡梅斯帕纳;阿里·莫瓦加尔
3
2010
基于角色的切片技术,用于有效简化Rebeca模型。 Zbl 1214.68223号
哈米德·萨布里;马尔詹·西尔贾尼
3
2010
使用符号执行对Reo电路进行自动分析。 Zbl 1364.68142号
巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴
2
2009
使用基于演员的语言Rebeca对网络进行漏洞分析,以检测多阶段攻击。 Zbl 1208.68060号
哈米德·雷扎·沙赫里亚里;穆罕默德·萨德格·马卡雷姆;马尔詹·西尔贾尼;拉苏尔·贾利利;阿里·莫瓦加尔
1
2010
比较三种协调模式:Reo、ARC和PBRD。 Zbl 1211.68056号
卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平
1
2011
用SystemC编写的系统级设计的合成语义。 Zbl 1141.68485号
尼罗法尔·拉扎维;马尔詹·西尔贾尼
1
2007
准时演员。 Zbl 1475.68213号
马尔詹·西尔贾尼;埃桑·卡梅斯帕纳
1
2016
软件工程和形式化方法。2017年9月4日至8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。 Zbl 1369.68017号
1
2017
软件工程和形式化方法。2017年9月4日至8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。 Zbl 1369.68017号
1
2017
准时演员。 Zbl 1475.68213号
马尔詹·西尔贾尼;埃桑·卡梅斯帕纳
1
2016
进化自适应系统的形式化建模。 Zbl 1264.68131号
Khakpour、Narges;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维
3
2012
比较三种协调模式:Reo、ARC和PBRD。 Zbl 1211.68056号
卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平
1
2011
Rebeca模型检验中的对称性和部分降阶技术。 兹比尔1185.68142
穆罕默德·马赫迪·贾古奥里;马尔詹·西尔贾尼;穆罕默德·雷扎·穆萨维;埃桑·卡梅斯帕纳;阿里·莫瓦加尔
3
2010
基于行动者的切片技术,可有效减少Rebeca模型。 Zbl 1214.68223号
哈米德·萨布里;马尔詹·西尔贾尼
3
2010
使用基于行动者的语言Rebeca对网络进行漏洞分析,以检测多阶段攻击。 Zbl 1208.68060号
哈米德·雷扎·沙赫里亚里;穆罕默德·萨德格·马卡雷姆;马尔詹·西尔贾尼;拉苏尔·贾利利;阿里·莫瓦加尔
1
2010
异步实时并发对象的可调度性。 Zbl 1188.68085号
穆罕默德·马赫迪·贾古奥里;德波尔(Frank S。;汤姆·乔西亚;马尔詹·西尔贾尼
8
2009
使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 Zbl 1347.68240号
萨米拉·塔沙罗菲;马尔詹·西尔贾尼
4
2009
使用符号执行对Reo电路进行自动分析。 Zbl 1364.68142号
巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴
2
2009
比较三种协调模型:Reo、ARC和RRD。 Zbl 1277.68208号
卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平
4
2008
用SystemC编写的系统级设计的合成语义。 Zbl 1141.68485号
尼罗法尔·拉扎维;马尔詹·西尔贾尼
1
2007
通过约束自动机在Reo中建模组件连接器。 Zbl 1105.68058号
克里斯特尔·拜尔;马尔詹·西尔贾尼;法哈德·阿尔巴;简·拉特
43
2006
使用Rebeca对反应系统进行建模和验证。 Zbl 1082.68007号
马尔詹·西尔贾尼;阿里·莫瓦加尔;阿明·沙利;德波尔(Frank S。
12
2004
全部的 前5名

114位作者引用

13 法哈德·阿尔巴
10 马尔詹·西尔贾尼
6 克里斯特尔·拜尔
6 克拉克、戴夫
5 卡罗琳·塔尔科特。
4 法特梅·加塞米
4 Klüppelholz,萨沙
4 克里斯蒂安·克劳斯
4 亚历山大·拉佐维克
3 马塞洛·玛丽亚·邦桑格
3 德波尔(Frank S。
3 埃里克·P·德文克。
3 穆罕默德·伊扎迪。
3 穆罕默德·马赫迪·贾古奥里
3 Lanese,伊万
3 孙孟
3 何塞·普伦萨
3 任尚平
2 大卫·布雷索林
2 罗伯托·布鲁尼
2 汤姆·乔西亚
2 Dokter,Kasper公司
2 法比奥·加杜奇
2 埃纳尔·布罗赫·约翰森
2 钟曼,宋世堂。
2 埃桑·卡梅斯帕纳
2 拉丁·科斯拉维
2 约阿希姆·克莱因
2 纳塔莉亚·科卡什
2 金·古德斯特兰·拉森
2 本杰明·利昂
2 穆罕默德·穆萨维
2 阿里·莫瓦加尔
2 Owe、Olaf
2 鲁道夫·施拉特
2 亚历山德拉·席尔瓦
2 塔皮娅·塔里法(Tapia Tarifa)、西尔维娅·利泽斯(Silvia Lizeth)
1 罗莎·阿巴斯
1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。
1 贾法尔Almasizadeh
1 苏珊娜·安多瓦
1 阿塞特夫·诺艾,勒克雷米奥拉
1 穆罕默德·阿卜杜拉希·阿兹戈米
1 桑迪·巴拉格尔
1 巴博萨、路易斯·索亚雷斯
1 马可·安东尼奥·巴博萨
1 托拜厄斯·布莱希曼
1 西蒙·布利兹
1 帕特里夏·鲍耶
1 玛丽亚·艾米利亚·坎布罗内罗
1 卡米利,马特奥
1 洛伦佐·卡普拉
1 陈志远
1 安德烈亚·科拉迪尼
1 亚历山大·戴维
1 洛科·德尼古拉
1 格雷戈里奥·迪亚兹
1 奥斯马·马奇·多斯桑托斯
1 费尔南多·路易斯·多蒂
1 乌里·法伦贝格
1 冯慧
1 吉安·路易吉,法拉利
1 威廉·扬·福克金
1 卢西亚娜·福斯
1 吉迪,哈博姆·卡赛
1 埃里克·格里洛
1 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。
1 一郎·哈索
1 约翰·哈特克利夫
1 侯赛因·霍贾特
1 黄洪涛
1 黄绍斌
1 巴特·雅各布斯
1 赛义德·贾利利
1 卡拉米,法尔扎内
1 斯蒂芬妮·坎佩尔
1 Khakpour、Narges
1 克里斯蒂安·科勒
1 李书豪
1 阿尔贝托·卢什·拉富恩特
1 德尔芬·朗盖
1 布鲁诺·多梅尼西亚诺·洛佩斯
1 吕天阳
1 赫梅内吉尔达·马西阿
1 Ziyan Maraikar
1 尼古拉斯·马基
1 迭戈·马姆斯勒
1 乌戈·蒙塔纳里。
1 月亮,Young-Joo
1 萨拉·纳维德普尔
1 布莱恩·尼尔森
1 乔尔·欧·瓦克宁。
1 胡安·何塞·帕尔多
1 巴赫曼·普瓦坦
1 罗萨里奥Pugliese
1 普辛斯卡斯·索利乌斯·普辛斯卡斯
1 托克塔姆,拉梅扎尼法尔卡尼
1 里贝罗,莱拉
1 简·J·M·M·鲁顿。
1 哈米德·萨布里
…还有14位作者

按年份列出的引文