On Consecutive Storage of Records. - Janusz Górski (MFCS, 1976)

A Modular Representation of the Access Control System. - Janusz Górski (ACM SIGOPS Oper. Syst. Rev., 1978)

Sticky variables and memory optimization. - Janusz Górski (ACM SIGPLAN Notices, 1978)

Formal specification of basic mechanisms of a message passing kernel. - Janusz Górski; Henryk J. Napiatek (Microprocess. Microprogramming, 1987)

Formal specification and verification of a real-time kernel. - Janusz Górski; Andrzej Wardzinski (RTS, 1994)

Software Engineering Education: A Dragging-Through Approach. - Janusz Górski (CSEE, 1995)

Modeling Fault Trees Using Petri Nets. - Janusz Górski; Jan Magott; Andrzej Wardzinski (SAFECOMP, 1995)

Deriving Real-Time Requirements for Software from Safety Analysis. - Janusz Górski; Andrzej Wardzinski (RTS, 1996)

Safety Analysis Based on Object-oriented Modelling of Critical Systems. - Janusz Górski; Bartosz Nowicki (SAFECOMP, 1996)

Object Oriented Safety Analysis of an Extra High Voltage Substation Bay. - Bartosz Nowicki; Janusz Górski (SAFECOMP, 1998)

Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. - Tadeusz Cichocki; Janusz Górski (SAFECOMP, 2000)

Software support for collaborative risk management. - Jakub Miler; Janusz Górski (ACS, 2001)

Formal Support for Fault Modelling and Analysis. - Tadeusz Cichocki; Janusz Górski (SAFECOMP, 2001)

An Approach to Trust Case Development. - Janusz Górski; Aleksander Jarzebowicz; Rafal Leszczyna; Jakub Miler; Marcin Olszewski (SAFECOMP, 2003)

Safety of computer control systems: challenges and results in software development. - Janusz Zalewski; Wolfgang D. Ehrenberger; Francesca Saglietti; Janusz Górski; Andrew J. Kornecki (Annu. Rev. Control., 2003)

How can we justify trust in software based systems? - Janusz Górski (Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems, 2005)

Tool support for detecting defects in object-oriented models. - Janusz Górski; Aleksander Jarzebowicz; Rafal Leszczyna; Jakub Miler; Marcin Olszewski (Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems, 2005)

A model-based approach to analysis of authentication protocols. - Janusz Górski; Marcin Olszewski (Information Processing and Security Systems, 2005)

Untraceability of mobile agents. - Rafal Leszczyna; Janusz Górski (AAMAS, 2005)

Trust case: justifying trust in an IT solution. - Janusz Górski; Aleksander Jarzebowicz; Rafal Leszczyna; Jakub Miler; Marcin Olszewski (Reliab. Eng. Syst. Saf., 2005)

Performance analysis of untraceability protocols for mobile agents using an adaptable framework. - Rafal Leszczyna; Janusz Górski (AAMAS, 2006)

Hazard Prevention by Forced Time Constraints. - Grzegorz Golaszewski; Janusz Górski (DepCoS-RELCOMEX, 2006)

An Approach for Evaluating Trust in IT Infrastructure. - Marek Zagorski; Janusz Górski (DepCoS-RELCOMEX, 2006)

Empirical Evaluation of Reading Techniques for UML Models Inspection. - Aleksander Jarzebowicz; Janusz Górski (Int. Trans. Syst. Sci. Appl., 2006)

Supporting Compliance with Security Standards by Trust Case Templates. - Lukasz Cyra; Janusz Górski (DepCoS-RELCOMEX, 2007)

Trustworthiness: safety, security and privacy issues. - Janusz Górski; Grzegorz Golaszewski; Jakub Miler; Maciej Piechowka; Heribert Baldus (ICECS, 2007)

Extending GQM by Argument Structures. - Lukasz Cyra; Janusz Górski (CEE-SET, 2007)

Standards Conformity Framework in Comparison with Contemporary Methods Supporting Standards Application. - Lukasz Cyra; Janusz Górski (DepCoS-RELCOMEX, 2008)

An Approach to Evaluation of Arguments in Trust Cases. - Lukasz Cyra; Janusz Górski (DepCoS-RELCOMEX, 2008)

Expert Assessment of Arguments: A Method and Its Experimental Evaluation. - Lukasz Cyra; Janusz Górski (SAFECOMP, 2008)

Context Sensitive Privacy Management in a Distributed Environment. - Grzegorz Golaszewski; Janusz Górski (OTM Conferences (1), 2010)

SCF - A framework supporting achieving and assessing conformity with standards. - Lukasz Cyra; Janusz Górski (Comput. Stand. Interfaces, 2011)

Experience with instantiating an automated testing process in the context of incremental and evolutionary software development. - Janusz Górski; Michal Witkowicz (e Informatica Softw. Eng. J., 2011)

Support for argument structures review and assessment. - Lukasz Cyra; Janusz Górski (Reliab. Eng. Syst. Saf., 2011)

Agile Development of Critical Software - Can It be Justified?. - Janusz Górski; Katarzyna Lukasiewicz (ENASE, 2012)

Supporting Assurance by Evidence-Based Argument Services. - Janusz Górski; Aleksander Jarzebowicz; Jakub Miler; Michal Witkowicz; Jakub Czyznikiewicz; Patryk Jar (SAFECOMP Workshops, 2012)

Assessment of Risks introduced to Safety Critical Software by Agile Practices - a Software Engineer's Perspective. - Janusz Górski; Katarzyna Lukasiewicz (Comput. Sci., 2012)

Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements. - Janusz Górski; Aleksander Jarzebowicz; Jakub Miler (SAFECOMP, 2013)

Towards Agile Development of Critical Software. - Janusz Górski; Katarzyna Lukasiewicz (SERENE, 2013)

AgileSafe - a method of introducing agile practices into safety-critical software development processes. - Katarzyna Lukasiewicz; Janusz Górski (FedCSIS, 2016)

Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile. - Janusz Górski; Katarzyna Lukasiewicz (MMM-ACNS, 2017)

Session details: ASCS: 4th international workshop on agile development of safety-critical software. - Geir Kjetil Hanssen; Thor Myklebust; Janusz Górski (XP Companion, 2018)

A summary of the 4th international workshop on agile development of safety-critical software (ASCS 2018). - Geir Kjetil Hanssen; Thor Myklebust; Janusz Górski (XP Companion, 2018)

Introducing agile practices into development processes of safety critical software. - Katarzyna Lukasiewicz; Janusz Górski (XP Companion, 2018)

Towards automation of IT systems repairs. - Janusz Górski; Marek Kaminski (Softw. Qual. J., 2018)

Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components. - Janusz Górski; Andrzej Wardzinski (Resilience of Cyber-Physical Systems, 2019)