雅努斯·哥尔斯基
人员信息
优化列表
2010 – 2019
2019 [第4页] 雅努斯·哥尔斯基 , 安德烈·沃津斯基(Andrzej Wardzinski) :
支持工业自动化和控制系统组件的网络安全合规性评估。 网络物理系统的弹性 2019 : 71-87 2018 [公元11年] 雅努斯·哥尔斯基 , 马雷克·卡明斯基 :
实现IT系统维修的自动化。 柔和。 资格。 J。 26 ( 1 ) : 67-96 ( 2018 ) [公元31年] 盖尔·凯蒂尔·汉森 , 托尔·梅克勒伯斯特 , 雅努斯·哥尔斯基 :
会议详情:ASCS:第四届安全关键软件敏捷开发国际研讨会。 XP伴侣 2018 [公元30年] 卡塔兹娜·卢卡西维茨 , 雅努斯·哥尔斯基 :
将敏捷实践引入安全关键软件的开发过程。 XP伴侣 2018 : 13:1-13:8 [公元29年] 盖尔·凯蒂尔·汉森 , 托尔·梅克勒伯斯特 , 雅努斯·哥尔斯基 :
第四届安全关键型软件敏捷开发国际研讨会(ASCS 2018)摘要。 XP伴侣 2018 : 15:1-15:2 2017 [公元28年] 雅努斯·哥尔斯基 , 卡塔兹娜·卢卡西维茨 :
满足安全软件开发标准的要求,并保持敏捷。 MMM-ACNS系统 2017 : 3-15 2016 [公元27年] 卡塔兹娜·卢卡西维茨 , 雅努斯·哥尔斯基 :
AgileSafe——将敏捷实践引入安全关键软件开发过程的方法。 联邦犯罪现场调查系统 2016 : 1549-1552 2013 [公元26年] 雅努斯·哥尔斯基 , 亚历山大·贾泽博维奇 , 雅库布·米勒 :
监控关键需求的多个实现的比较一致性案例。 SAFECOMP公司 2013 : 8-20 [公元25年] 雅努斯·哥尔斯基 , 卡塔兹娜·卢卡西维茨 :
关键软件的敏捷开发。 宁静的 2013 : 48-55 2012 [公元10年] 雅努斯·哥尔斯基 , 卡塔兹娜·卢卡西维茨 :
敏捷实践引入安全关键软件的风险评估——软件工程师的观点。 计算。 科学。 13 ( 4 ) : 165-182 ( 2012 ) [公元24年] 雅努斯·哥尔斯基 , 卡塔兹娜·卢卡西维茨 :
关键软件的敏捷开发——是否合理?。 启用 2012 : 134-139 【c23】 雅努斯·哥尔斯基 , 亚历山大·贾泽博维奇 , 雅库布·米勒 , 米查尔·维特科维奇 , 雅库布·Czyznikiewicz , Patryk罐 :
基于证据的论证服务的支持性保证。 SAFECOMP研讨会 2012 : 417-426 2011 [公元9年] 卢卡斯·塞拉 , 雅努斯·哥尔斯基 :
SCF——支持实现和评估标准符合性的框架。 计算。 站立。 接口 33 ( 1 ) : 80-95 ( 2011 ) [j8] 雅努斯·哥尔斯基 , 米查尔·维特科维奇 :
具有在增量和渐进式软件开发环境中实例化自动化测试过程的经验。 e Informatica软件。 工程师J。 5 ( 1 ) : 51-63 ( 2011 ) [j7] 卢卡斯·塞拉 , 雅努斯·哥尔斯基 :
支持论点结构审查和评估。 Reliab公司。 工程系统。 安全。 96 ( 1 ) : 26-37 ( 2011 ) 2010 [公元22年] 格拉泽戈兹·戈拉斯泽夫斯基 , 雅努斯·哥尔斯基 :
分布式环境中的上下文相关隐私管理。 OTM会议(1) 2010 : 639-655
2000 – 2009
2008 【c21】 卢卡斯·塞拉 , 雅努斯·哥尔斯基 :
标准整合框架与支持标准应用的当代方法的比较。 DepCoS-RELCOMEX公司 2008 : 95-102 [公元20年] 卢卡斯·塞拉 , 雅努斯·哥尔斯基 :
信托案件中论据的评估方法。 DepCoS-RELCOMEX公司 2008 : 103-110 [第19条] 卢卡斯·塞拉 , 雅努斯·哥尔斯基 :
论证的专家评估:一种方法及其实验评估。 SAFECOMP公司 2008 : 291-304 2007 [第18条] 卢卡斯·塞拉 , 雅努斯·哥尔斯基 :
通过信任案例模板支持遵守安全标准。 DepCoS-RELCOMEX公司 2007 : 91-98 [c17] 雅努斯·哥尔斯基 , 格拉泽戈兹·戈拉斯泽夫斯基 , 雅库布·米勒 , 马西耶·皮埃霍克(Maciej Piechowka) , 赫里贝特·巴杜斯 :
诚信:安全、安保和隐私问题。 ICECS公司 2007 : 641-644 [第16条] 卢卡斯·塞拉 , 雅努斯·哥尔斯基 :
通过参数结构扩展GQM。 CEE-SET系列 2007 : 26-39 2006 [j6] 亚历山大·贾泽博维奇 , 雅努斯·哥尔斯基 :
UML模型检查阅读技术的实证评估。 国际事务处理。 系统。 科学。 申请。 1 ( 2 ) : 103-110 ( 2006 ) [第15条] 拉斐尔·莱斯奇纳 , 雅努斯·哥尔斯基 :
使用适应性框架对移动代理的不可追踪协议进行性能分析。 美国原子能机构 2006 : 1063-1070 [第14条] 格拉泽戈兹·戈拉斯泽夫斯基 , 雅努斯·哥尔斯基 :
通过强制时间限制进行危险预防。 DepCoS-RELCOMEX公司 2006 : 84-91 [第13条] 马雷克·扎戈斯基 , 雅努斯·哥尔斯基 :
评估IT基础架构信任的方法。 DepCoS-RELCOMEX公司 2006 : 92-99 [电子2] 雅努斯·哥尔斯基 :
计算机安全、可靠性和安全,第25届国际会议,2006年SAFECOMP,波兰格但斯克,2006年9月27日至29日,会议记录。 计算机科学课堂讲稿 4166, 施普林格 2006 ,国际标准图书编号 3-540-45762-3 [目录] 2005 [j5] 雅努斯·哥尔斯基 , 亚历山大·贾泽博维奇 , 拉斐尔·莱斯奇纳 , 雅库布·米勒 , 马尔金·奥尔谢夫斯基(Marcin Olszewski) :
信任案例:证明对IT解决方案的信任。 Reliab公司。 工程系统。 安全。 89 ( 1 ) : 33-47 ( 2005 ) [第12条] 拉斐尔·莱斯奇纳 , 雅努斯·哥尔斯基 :
移动代理的不可追踪性。 美国原子能机构 2005 : 1233-1234 [第3页] 雅努斯·哥尔斯基 :
我们如何证明对基于软件的系统的信任? 计算机安全、生物识别和人工智能系统中的增强方法 2005 : 3-12 [第2页] 雅努斯·哥尔斯基 , 亚历山大·贾泽博维奇 , 拉斐尔·莱斯奇纳 , 雅库布·米勒 , 马尔金·奥尔谢夫斯基(Marcin Olszewski) :
用于检测面向对象模型中缺陷的工具支持。 计算机安全、生物识别和人工智能系统中的增强方法 2005 : 103-112 [第1页] 雅努斯·哥尔斯基 , 马尔金·奥尔谢夫斯基(Marcin Olszewski) :
基于模型的身份验证协议分析方法。 信息处理和安全系统 2005 : 187-196 2003 【j4】 贾努斯·扎勒夫斯基 , 沃尔夫冈·艾伦伯格 , 弗朗西丝卡·萨利埃蒂 , 雅努斯·哥尔斯基 , 安德鲁·科尔内基 :
计算机控制系统的安全:软件开发的挑战和结果。 每年。 版本控制。 27 ( 1 ) : 23-37 ( 2003 ) [第11条] 雅努斯·哥尔斯基 , 亚历山大·贾泽博维奇 , 拉斐尔·莱斯奇纳 , 雅库布·米勒 , 马尔金·奥尔谢夫斯基(Marcin Olszewski) :
信托案例开发方法。 SAFECOMP公司 2003 : 193-206 2001 [第10条] 雅库布·米勒 , 雅努斯·哥尔斯基 :
协作风险管理的软件支持。 ACS公司 2001 : 325-334 【c9】 塔德乌兹·奇切基 , 雅努斯·哥尔斯基 :
故障建模和分析的形式化支持。 SAFECOMP公司 2001 : 190-199 2000 【c8】 塔德乌兹·奇切基 , 雅努斯·哥尔斯基 :
具有软件组件的安全关键系统的故障模式和影响分析。 SAFECOMP公司 2000 : 382-394
1990 – 1999
1998 【c7】 巴托斯·诺维基 , 雅努斯·哥尔斯基 :
超高压变电站间隔的面向对象安全分析。 SAFECOMP公司 1998 : 306-315 1996 【c6】 雅努斯·哥尔斯基 , 安德烈·沃津斯基(Andrzej Wardzinski) :
从安全分析中导出软件的实时需求。 实时战略 1996 : 9-14 【c5】 雅努斯·哥尔斯基 , 巴托斯·诺维基 :
基于关键系统面向对象建模的安全分析。 SAFECOMP公司 1996 : 46-60 1995 【c4】 雅努斯·哥尔斯基 :
软件工程教育:A 拖曳通过 方法。 CSEE公司 1995 : 31-44 【c3】 雅努斯·哥尔斯基 , 简·马戈特 , 安德烈·沃津斯基(Andrzej Wardzinski) :
使用Petri网建模故障树。 SAFECOMP公司 1995 : 90-100 1994 【c2】 雅努斯·哥尔斯基 , 安德烈·沃津斯基(Andrzej Wardzinski) :
实时内核的形式化规范和验证。 实时战略 1994 : 205-211 1993 [电子1] 雅努斯·哥尔斯基 :
第十二届计算机安全、可靠性和安全国际会议,1993年SAFECOMP,波兰波兹南-基克尔茨,1993年10月27日至29日。 施普林格 1993 ,国际标准图书编号 978-3-540-19838-3 [目录]
1980 – 1989
1987 [j3] 雅努斯·哥尔斯基 , 亨利克·纳皮亚泰克 :
消息传递内核基本机制的形式化规范。 微加工。 微程序设计 21 ( 1-5 ) : 213-221 ( 1987 )
1970 – 1979
1978 [注2] 雅努斯·哥尔斯基 :
门禁系统的模块化表示。 ACM SIGOPS操作。 系统。 版次。 12 ( 三 ) : 61-77 ( 1978 ) [j1] 雅努斯·哥尔斯基 :
粘滞变量和内存优化。 ACM SIGPLAN通知 13 ( 6 ) : 38-48 ( 1978 ) 1976 【c1】 雅努斯·哥尔斯基 :
关于连续存储记录。 MFCS公司 1976 : 304-310