何塞·普伦萨
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j13] 吕克·埃迪克索芬 , 宋世宗 , 何塞·普伦萨 , 伊利亚·卡斯特拉尼 :
分支花束:设计、表现力和舞蹈编导应用。 J.日志。 代数方法课程。 136 : 100919 ( 2024 ) 2023 [c42] 何塞·普伦萨 , Luc Edixhoven公司 :
Caos:可重用的Scala操作语义网络动画。 协调 2023 : 163-171 [公元41年] 何塞·普伦萨 :
团队自动机中约束多方同步概述。 FACS公司 2023 : 194-205 [公元40年] 莫里斯·特尔·比克 , 吉勒米娜·克莱杜 , 罗尔夫·亨尼克 , 何塞·普伦萨 :
我们可以沟通吗? 使用动态逻辑验证Team Automata。 FM公司 2023 : 122-141 [公元39年] 莫里斯·特尔·比克 , 罗尔夫·亨尼克 , 何塞·普伦萨 :
全球互动模型的可实现性。 ICTAC公司 2023 : 236-255 [公元38年] 何塞·普伦萨 , 大卫·佩雷拉 , 吉安·斯皮勒·南迪 , 新浪博拉米 , 乔纳斯·梅尔切特 :
实时规范系列的基于电子表格的配置。 TiCSA@ETAPS 2023 : 27-39 [i3] 何塞·普伦萨 , 吕克·埃迪克索芬 :
Caos:一个可重用的Scala操作语义网络动画(通过动手教程扩展)。 CoRR公司 abs/2304.14901 ( 2023 ) 2022 [公元12年] 吉勒米娜·克莱杜 , 吕克·埃迪克索芬 , 宋世宗 , 何塞·普伦萨 :
多方会话类型的API生成,使用Scala 3(工件)重新修订。 Dagstuhl Artifacts爵士。 8 ( 2 ) : 19:1-19:4 ( 2022 ) [公元11年] 何塞·普伦萨 , 马库斯·隆佩 :
第十四届组件软件形式方面国际会议(FACS 2017)精选论文专刊。 科学。 计算。 程序。 218 : 102803 ( 2022 ) [公元37年] 吉勒米娜·克莱杜 , 吕克·埃迪克索芬 , 宋世宗 , 何塞·普伦萨 :
多方会话类型的API生成,使用Scala 3重新修订。 ECOOP公司 2022 : 27:1-27:28 [公元36年] 宋世宗 , 何塞·普伦萨 :
ST4MP:用于多语言编程的多方会话键入蓝图。 ISoLA(1) 2022 : 460-478 [公元35年] 何塞·普伦萨 , 新浪博拉米 , 豪尔赫·桑切斯·德·诺瓦 , 大卫·佩雷拉 , 吉安·斯皮勒尔·南迪 :
铁路系统中安全临界电机控制器的多模型验证。 RSS邮件 2022 : 83-94 [公元34年] 吕克·埃迪克索芬 , 宋世宗 , 何塞·普伦萨 , 吉勒米娜·克莱杜 :
编舞用分叉舞步。 内燃机 2022 : 37-52 [电子7] 西尔维娅·利泽斯·塔皮亚·塔里法 , 何塞·普伦萨 :
组件软件的形式方面——第18届国际会议,FACS 2022,虚拟事件,2022年11月10日至11日,会议记录。 计算机科学课堂讲稿 13712, 施普林格 2022 ,十亿 978-3-031-20871-3 [目录] 2021 [公元10年] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , 劳尔·巴博萨 , Basagiannis样式 , 乔治·吉安塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·蒂贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 : 104349 ( 2021 ) [公元9年] 吉勒米娜·克莱杜 , 何塞·普伦萨 , 伯恩哈德·H·C·斯普特 , 埃里克·维赫斯特 :
VirtuosoNext中心:实时协调员的在线验证。 科学。 计算。 程序。 203 : 102566 ( 2021 ) [公元33年] 莫里斯·特尔·比克 , 吉勒米娜·克莱杜 , 罗尔夫·亨尼克 , 何塞·普伦萨 :
特色团队自动化。 FM公司 2021 : 483-502 [公元32年] 何塞·路易斯·德拉瓦拉 , 托马斯·鲍尔 , 伯恩哈德·菲舍尔 , 穆斯塔法·卡拉卡 , 亨利克·马德拉 , 马丁·马施尼格 , 西尔维娅·马齐尼 , 吉安·斯皮勒尔·南迪 , 法比奥·帕特龙 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 斯特凡诺·托内塔 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
自动化系统安全、网络安全和隐私的验证和确认方法分类提案。 QUATIC公司 2021 : 325-340 [公元31年] 托马斯·鲍尔 , Joseba Andoni阿吉雷 , 大卫·Fürcho , 沃尔夫冈·赫兹纳 , 鲍勃·赫鲁斯卡 , 穆斯塔法·卡拉卡 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 罗伯特·西彻 , 亚历斯·斯姆卡 , 乌古尔·亚扬 , 贝鲁兹·桑乔利 :
欧洲大规模研究项目VALU3S中验证和确认工作流的跨域建模-邀请论文。 SAMOS公司 2021 : 368-382 [电子6] 何塞·普伦萨 , 安德烈·帕斯科维奇 :
正式集成开发环境第六次研讨会会议记录, F-IDE@NFM 2021年,在线举行,2021年5月24日至25日。 EPTCS系统 338, 2021 [目录] [i2] 莫里斯·特尔·比克 , 吉勒米娜·克莱杜 , 罗尔夫·亨尼克 , 何塞·普伦萨 :
特色团队自动化。 CoRR公司 abs/2108.01784 ( 2021 ) 2020 [公元30年] 何塞·普伦萨 , 吉勒米娜·克莱杜 :
ARx:同步连接器的反应式编程。 协调 2020 : 39-56 [公元29年] 谢尔盖·冈查洛夫 , 雷纳托·内维斯 , 何塞·普伦萨 :
实现混合语义:从功能到命令。 ICTAC公司 2020 : 262-282 [公元28年] 吉安·斯皮勒·南迪 , 大卫·佩雷拉 , 何塞·普伦萨 , 爱德华多·托瓦尔 :
正在进行的工作:用于在网络物理系统中安全部署运行时监控器的DSL。 RTSS系统 2020 : 395-398 [i1] 谢尔盖·冈查洛夫 , 雷纳托·内维斯 , 何塞·普伦萨 :
实现混合语义:从功能到命令。 CoRR公司 腹肌/2009.14322 ( 2020 )
2010 – 2019
2019 [公元27年] 吉勒米娜·克莱杜 , 何塞·普伦萨 , 伯恩哈德·H·C·斯普特 , 埃里克·维赫斯特 :
实时操作系统上任务的协调。 协调 2019 : 250-266 [公元26年] 何塞·普伦萨 , 亚历山大·马德拉 :
驯服层次连接器。 FSEN公司 2019 : 186-193 [电子5] 罗斯玛丽·莫纳汉 , 维吉尔·普雷沃斯托 , 何塞·普伦萨 :
正式集成开发环境第五次研讨会论文集, F-IDE@FM 2019年,葡萄牙波尔图,2019年10月7日。 EPTCS系统 310, 2019 [目录] 2018 [j8] 何塞·巴塞拉·阿尔梅达 , 阿尔西诺库尼亚 , 努诺·马塞多 , 雨果·帕切科 , 何塞·普伦萨 :
教授如何使用自动评估和功能亮丽的游戏进行编程(经验报告)。 程序。 ACM计划。 语言。 2 ( ICFP公司 ) : 82:1-82:17 ( 2018 ) [公元25年] 鲁本·克鲁兹 , 何塞·普伦萨 :
重新启用:分析浏览器中的连接器。 STAF研讨会 2018 : 336-350 2017 [j7] 何塞·普伦萨 , 戴夫·克拉克 :
类型化连接器族及其语义。 科学。 计算。 程序。 146 : 28-49 ( 2017 ) [公元24年] 吉勒米娜·克莱杜 , 何塞·普伦萨 , 路易斯·索尔斯·巴博萨 :
组成时间自动机系列。 FSEN公司 2017 : 51-66 【c23】 何塞·普伦萨 , 卡洛斯·巴奎罗 :
物联网的质量感知反应式编程。 FSEN公司 2017 : 180-195 [公元22年] 拉朱·哈尔德 , 何塞·普伦萨 , 努诺·马塞多 , 安德烈·桑托斯 :
使用时间自动机对基于ROS的机器人应用程序进行形式化验证。 FormaliSE@ICSE 2017 : 44-50 【c21】 吉勒米娜·克莱杜 , 何塞·普伦萨 , 路易斯·索尔斯·巴博萨 :
时间自动机族的精化关系。 SBMF公司 2017 : 161-178 [电子4] 何塞·普伦萨 , 马库斯·隆佩 :
组件软件的正式方面——第14届国际会议,FACS 2017,葡萄牙布拉加,2017年10月10日至13日,会议记录。 计算机科学课堂讲稿 10487, 施普林格 2017 ,十亿 978-3-319-68033-0 [目录] 2016 [j6] 戈瑞·桑卡·拉马钱德兰(Gowri Sankar Ramachandran) , 何塞·普伦萨 , 威尔弗里德·丹尼尔斯 , 马里奥·皮克瓦特 , 迪米特里·斯塔森 , 克里斯托夫·惠更斯 , 沃特·乔森 , 丹尼·休斯 :
Hitch Hiker 2.0:一个绑定模型,为物联网提供灵活的数据聚合。 J.互联网服务。 申请。 7 ( 1 ) : 4:1-4:15 ( 2016 ) [j5] Sung-Shik T.Q.Jongmans公司 , 戴夫·克拉克 , 何塞·普伦萨 :
一种用于拆分数据感知过程的过程及其在协调中的应用。 科学。 计算。 程序。 115-116 : 47-78 ( 2016 ) 【j4】 拉杜·穆切维奇 , 何塞·普伦萨 , 戴夫·克拉克 :
功能网:软件产品线的行为建模。 柔和。 系统。 模型。 15 ( 4 ) : 1181-1206 ( 2016 ) [电子3] 阿尔贝托·卢奇·拉富恩特 , 何塞·普伦萨 :
协调模型和语言——第18届IFIP WG 6.1国际会议,2016年协调,作为第11届国际分布式计算技术联合会会议的一部分,2016年DisCoTec,希腊克里特岛赫拉克利翁,2016年6月6-9日,会议记录。 计算机科学课堂讲稿 9686, 施普林格 2016 ,十亿 978-3-319-39518-0 [目录] 2015 [公元20年] 威尔弗里德·丹尼尔斯 , 何塞·普伦萨 , 戴夫·克拉克 , 沃特·乔森 , 丹尼·休斯 :
折射:基于普遍组件的应用中反射元数据的低成本管理。 芝加哥证券交易所 2015 : 27-36 [第19条] 戈瑞·桑卡·拉马钱德兰(Gowri Sankar Ramachandran) , 威尔弗里德·丹尼尔斯 , 何塞·普伦萨 , 萨姆·米歇尔斯 , 沃特·乔森 , 丹尼·休斯 , 巴里·波特 :
Hitch Hiker:一种无线传感器网络基于优先级数据聚合的远程绑定模型。 芝加哥证券交易所 2015 : 43-48 [第18条] 何塞·普伦萨 , 戴夫·克拉克 :
类型连接器系列。 FACS公司 2015 : 294-311 [第17条] 威尔弗里德·丹尼尔斯 , 何塞·普伦萨 , 纳尔逊·马提斯 , 沃特·乔森 , 丹尼·休斯 :
层析成像:降低分布式组件应用程序的管理开销。 M4IoT@中间件 2015 : 13-18 [电子2] 哈维尔·卡马拉 , 何塞·普伦萨 :
《第十三届协调语言和自适应系统基础国际研讨会论文集》,《FOCLASA 2014》,意大利罗马,2014年9月6日。 EPTCS系统 175, 2015 [目录] [e1] 何塞·普伦萨 , 马西莫·蒂沃利 :
《第14届协调语言和自适应系统基础国际研讨会论文集》,《FOCLASA 2015》,西班牙马德里,2015年9月5日。 EPTCS系统 201, 2015 [目录] 2013 [第16条] 何塞·普伦萨 , 戴夫·克拉克 :
交互式交互约束。 协调 2013 : 211-225 [第15条] 何塞·普伦萨 , 戴夫·克拉克 :
协调约束中的数据抽象。 ESOCC研讨会 2013 : 159-173 [第14条] 拉杜·穆舍维奇 , 戴夫·克拉克 , 何塞·普伦萨 :
ABS语言中动态软件产品线的可执行建模。 福斯特 2013 : 17-24 2012 [j3] Peter Y.H.Wong(彼得·黄) , 埃尔维拉·阿尔伯特 , 拉杜·穆切维奇 , 何塞·普伦萨 , 简·施费尔 , 鲁道夫·施拉特 :
ABS工具套件:建模、执行和分析分布式可适应的面向对象系统。 国际期刊软件。 技术工具。 Transf公司。 14 ( 5 ) : 567-588 ( 2012 ) [第13条] 戴夫·克拉克 , 何塞·普伦萨 :
部分连接器着色。 协调 2012 : 59-73 [第12条] 何塞·普伦萨 , 戴夫·克拉克 , 埃里克·德文克 , 法哈德·阿巴布 :
Dreams:分布式同步协调框架。 囊 2012 : 1510-1515 [第11条] 马可·帕特里格纳尼 , 纳尔逊·马提斯 , 何塞·普伦萨 , 丹尼·休斯 , 戴夫·克拉克 :
无线传感器网络应用中策略的形式化分析。 SESENA公司 2012 : 15-21 [第10条] Sung-Shik T.Q.Jongmans公司 , 戴夫·克拉克 , 何塞·普伦萨 :
分解过程的程序及其在协调中的应用。 FOCLASA公司 2012 : 79-96 2011 [注2] 戴夫·克拉克 , 何塞·普伦萨 , 亚历山大·拉佐维克 , 法哈德·阿巴布 :
通过约束满足实现基于渠道的协调。 科学。 计算。 程序。 76 ( 8 ) : 681-710 ( 2011 ) 【c9】 拉杜·穆切维奇 , 何塞·普伦萨 , 戴夫·克拉克 :
用特征网对软件产品线进行模块化建模。 SEFM公司 2011 : 318-333 【c8】 何塞·普伦萨 , 戴夫·克拉克 , 埃里克·德文克 , 法哈德·阿巴布 :
通过行为自动机解耦同步协调模型的执行。 FOCLASA公司 2011 : 65-79 2010 【c7】 戴夫·克拉克 , 拉杜·穆切维奇 , 何塞·普伦萨 , 伊娜·谢弗 , 鲁道夫·施拉特 :
ABS语言中的变量建模。 FMCO公司 2010 : 204-224 【c6】 戴夫·克拉克 , 何塞·普伦萨 :
面向特征模型的视图理论。 SPLC研讨会 2010 : 91-98 【c5】 拉杜·穆切维奇 , 戴夫·克拉克 , 何塞·普伦萨 :
特征Petri网。 SPLC研讨会 2010 : 99-106
2000 – 2009
2009 【c4】 戴夫·克拉克 , 何塞·普伦萨 :
通过交互约束进行协调I:局部逻辑。 内燃机 2009 : 17-39 2008 [j1] 克里斯蒂安·科勒 , 大卫·科斯塔 , 何塞·普伦萨 , 法哈德·阿巴布 :
数据流触发的Reo连接器的重新配置。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 10 ( 2008 ) 【c3】 戴夫·克拉克 , 何塞·普伦萨 , 亚历山大·拉佐维克 , 法哈德·阿巴布 :
解构Reo。 FOCLASA@ICALP公司 2008 : 43-58 2007 【c2】 何塞·普伦萨 , 戴夫·克拉克 :
协调模型Orc和Reo的比较。 FOCLASA公司 2007 : 57-76 2005 【c1】 阿尔西诺库尼亚 , 豪尔赫·索萨·平托 , 何塞·普伦萨 :
无点程序转换框架。 国际单项体育联合会 2005 : 1-18
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)