Janusz Górski

48 papers A 2B 12C 1Journal 11Unranked 18

Year	Rank	Type	Title / Venue / Authors
2019	—	`ch.`	Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components. Resilience of Cyber-Physical Systems Janusz Górski, Andrzej Wardzinski
2018	—	`conf`	A summary of the 4th international workshop on agile development of safety-critical software (ASCS 2018). XP Companion Geir Kjetil Hanssen, Thor Myklebust, Janusz Górski
2018	—	`conf`	Introducing agile practices into development processes of safety critical software. XP Companion Katarzyna Lukasiewicz, Janusz Górski
2018	—	`conf`	Session details: ASCS: 4th international workshop on agile development of safety-critical software. XP Companion Geir Kjetil Hanssen, Thor Myklebust, Janusz Górski
2018	J	`jnl`	Towards automation of IT systems repairs. Softw. Qual. J. Janusz Górski, Marek Kaminski
2017	—	`conf`	Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile. MMM-ACNS Janusz Górski, Katarzyna Lukasiewicz
2016	C	`conf`	AgileSafe - a method of introducing agile practices into safety-critical software development processes. FedCSIS Katarzyna Lukasiewicz, Janusz Górski
2013	B	`conf`	Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements. SAFECOMP Janusz Górski, Aleksander Jarzebowicz, Jakub Miler
2013	—	`conf`	Towards Agile Development of Critical Software. SERENE Janusz Górski, Katarzyna Lukasiewicz
2012	B	`conf`	Agile Development of Critical Software - Can It be Justified?. ENASE Janusz Górski, Katarzyna Lukasiewicz
2012	J	`jnl`	Assessment of Risks introduced to Safety Critical Software by Agile Practices - a Software Engineer's Perspective. Comput. Sci. Janusz Górski, Katarzyna Lukasiewicz
2012	—	`conf`	Supporting Assurance by Evidence-Based Argument Services. SAFECOMP Workshops Janusz Górski, Aleksander Jarzebowicz, Jakub Miler, Michal Witkowicz, Jakub Czyznikiewicz, Patryk Jar
2011	J	`jnl`	Experience with instantiating an automated testing process in the context of incremental and evolutionary software development. e Informatica Softw. Eng. J. Janusz Górski, Michal Witkowicz
2011	J	`jnl`	SCF - A framework supporting achieving and assessing conformity with standards. Comput. Stand. Interfaces Lukasz Cyra, Janusz Górski
2011	J	`jnl`	Support for argument structures review and assessment. Reliab. Eng. Syst. Saf. Lukasz Cyra, Janusz Górski
2010	—	`conf`	Context Sensitive Privacy Management in a Distributed Environment. OTM Conferences (1) Grzegorz Golaszewski, Janusz Górski
2008	—	`conf`	An Approach to Evaluation of Arguments in Trust Cases. DepCoS-RELCOMEX Lukasz Cyra, Janusz Górski
2008	B	`conf`	Expert Assessment of Arguments: A Method and Its Experimental Evaluation. SAFECOMP Lukasz Cyra, Janusz Górski
2008	—	`conf`	Standards Conformity Framework in Comparison with Contemporary Methods Supporting Standards Application. DepCoS-RELCOMEX Lukasz Cyra, Janusz Górski
2007	—	`conf`	Extending GQM by Argument Structures. CEE-SET Lukasz Cyra, Janusz Górski
2007	—	`conf`	Supporting Compliance with Security Standards by Trust Case Templates. DepCoS-RELCOMEX Lukasz Cyra, Janusz Górski
2007	—	`conf`	Trustworthiness: safety, security and privacy issues. ICECS Janusz Górski, Grzegorz Golaszewski, Jakub Miler, Maciej Piechowka, Heribert Baldus
2006	—	`conf`	An Approach for Evaluating Trust in IT Infrastructure. DepCoS-RELCOMEX Marek Zagorski, Janusz Górski
2006	B	`ed.`	Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings SAFECOMP Janusz Górski
2006	J	`jnl`	Empirical Evaluation of Reading Techniques for UML Models Inspection. Int. Trans. Syst. Sci. Appl. Aleksander Jarzebowicz, Janusz Górski
2006	—	`conf`	Hazard Prevention by Forced Time Constraints. DepCoS-RELCOMEX Grzegorz Golaszewski, Janusz Górski
2006	A	`conf`	Performance analysis of untraceability protocols for mobile agents using an adaptable framework. AAMAS Rafal Leszczyna, Janusz Górski
2005	—	`ch.`	A model-based approach to analysis of authentication protocols. Information Processing and Security Systems Janusz Górski, Marcin Olszewski
2005	—	`ch.`	How can we justify trust in software based systems? Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems Janusz Górski
2005	—	`ch.`	Tool support for detecting defects in object-oriented models. Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski
2005	J	`jnl`	Trust case: justifying trust in an IT solution. Reliab. Eng. Syst. Saf. Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski
2005	A	`conf`	Untraceability of mobile agents. AAMAS Rafal Leszczyna, Janusz Górski
2003	B	`conf`	An Approach to Trust Case Development. SAFECOMP Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski
2003	J	`jnl`	Safety of computer control systems: challenges and results in software development. Annu. Rev. Control. Janusz Zalewski, Wolfgang D. Ehrenberger, Francesca Saglietti, Janusz Górski, Andrew J. Kornecki
2001	B	`conf`	Formal Support for Fault Modelling and Analysis. SAFECOMP Tadeusz Cichocki, Janusz Górski
2001	—	`conf`	Software support for collaborative risk management. ACS Jakub Miler, Janusz Górski
2000	B	`conf`	Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. SAFECOMP Tadeusz Cichocki, Janusz Górski
1998	B	`conf`	Object Oriented Safety Analysis of an Extra High Voltage Substation Bay. SAFECOMP Bartosz Nowicki, Janusz Górski
1996	—	`conf`	Deriving Real-Time Requirements for Software from Safety Analysis. RTS Janusz Górski, Andrzej Wardzinski
1996	B	`conf`	Safety Analysis Based on Object-oriented Modelling of Critical Systems. SAFECOMP Janusz Górski, Bartosz Nowicki
1995	B	`conf`	Modeling Fault Trees Using Petri Nets. SAFECOMP Janusz Górski, Jan Magott, Andrzej Wardzinski
1995	—	`conf`	Software Engineering Education: A CSEE Janusz Górski
1994	—	`conf`	Formal specification and verification of a real-time kernel. RTS Janusz Górski, Andrzej Wardzinski
1993	B	`ed.`	The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993 SAFECOMP Janusz Górski
1987	J	`jnl`	Formal specification of basic mechanisms of a message passing kernel. Microprocess. Microprogramming Janusz Górski, Henryk J. Napiatek
1978	J	`jnl`	A Modular Representation of the Access Control System. ACM SIGOPS Oper. Syst. Rev. Janusz Górski
1978	J	`jnl`	Sticky variables and memory optimization. ACM SIGPLAN Notices Janusz Górski
1976	B	`conf`	On Consecutive Storage of Records. MFCS Janusz Górski