Janusz Górski

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2018

Towards automation of IT systems repairs.

[BibT_eX]

[DOI]

Marek Kaminski

Softw. Qual. J., 2018

Introducing agile practices into development processes of safety critical software.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Agile Software Development, 2018

A summary of the 4th international workshop on agile development of safety-critical software (ASCS 2018).

[BibT_eX]

[DOI]

Geir Kjetil Hanssen

Thor Myklebust

Proceedings of the 19th International Conference on Agile Software Development, 2018

Session details: ASCS: 4th international workshop on agile development of safety-critical software.

[BibT_eX]

[DOI]

Geir Kjetil Hanssen

Thor Myklebust

Proceedings of the 19th International Conference on Agile Software Development, 2018

2017

Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2017

2016

AgileSafe - a method of introducing agile practices into safety-critical software development processes.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2013

Towards Agile Development of Critical Software.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2013

2012

Assessment of Risks introduced to Safety Critical Software by Agile Practices - a Software Engineer's Perspective.

[BibT_eX]

[DOI]

Comput. Sci., 2012

Supporting Assurance by Evidence-Based Argument Services.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

Agile Development of Critical Software - Can It be Justified?.

[BibT_eX]

Proceedings of the ENASE 2012, 2012

2011

Support for argument structures review and assessment.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2011

Experience with instantiating an automated testing process in the context of incremental and evolutionary software development.

[BibT_eX]

[DOI]

Michal Witkowicz

e Informatica Softw. Eng. J., 2011

SCF - A framework supporting achieving and assessing conformity with standards.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2011

2010

Context Sensitive Privacy Management in a Distributed Environment.

[BibT_eX]

[DOI]

Grzegorz Golaszewski

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

2008

Expert Assessment of Arguments: A Method and Its Experimental Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2008

An Approach to Evaluation of Arguments in Trust Cases.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

Standards Conformity Framework in Comparison with Contemporary Methods Supporting Standards Application.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

2007

Extending GQM by Argument Structures.

[BibT_eX]

[DOI]

Proceedings of the Balancing Agility and Formalism in Software Engineering, 2007

Trustworthiness: safety, security and privacy issues.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Electronics, 2007

Supporting Compliance with Security Standards by Trust Case Templates.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006

Empirical Evaluation of Reading Techniques for UML Models Inspection.

[BibT_eX]

Int. Trans. Syst. Sci. Appl., 2006

An Approach for Evaluating Trust in IT Infrastructure.

[BibT_eX]

[DOI]

Marek Zagorski

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

Hazard Prevention by Forced Time Constraints.

[BibT_eX]

[DOI]

Grzegorz Golaszewski

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

Performance analysis of untraceability protocols for mobile agents using an adaptable framework.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Trust case: justifying trust in an IT solution.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2005

Untraceability of mobile agents.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A model-based approach to analysis of authentication protocols.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Security Systems., 2005

Tool support for detecting defects in object-oriented models.

[BibT_eX]

[DOI]

Proceedings of the Enhanced Methods in Computer Security, 2005

How can we justify trust in software based systems?

[BibT_eX]

[DOI]

Proceedings of the Enhanced Methods in Computer Security, 2005

2003

Safety of computer control systems: challenges and results in software development.

[BibT_eX]

[DOI]

Janusz Zalewski

Wolfgang D. Ehrenberger

Francesca Saglietti

Andrew J. Kornecki

Annu. Rev. Control., 2003

An Approach to Trust Case Development.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2003

2001

Formal Support for Fault Modelling and Analysis.

[BibT_eX]

[DOI]

Tadeusz Cichocki

Proceedings of the Computer Safety, 2001

Software support for collaborative risk management.

[BibT_eX]

[DOI]

Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001

2000

Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components.

[BibT_eX]

[DOI]

Tadeusz Cichocki

Proceedings of the Computer Safety, 2000

1998

Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.

[BibT_eX]

[DOI]

Bartosz Nowicki

Proceedings of the Computer Safety, 1998

1996

Safety Analysis Based on Object-oriented Modelling of Critical Systems.

[BibT_eX]

[DOI]

Bartosz Nowicki

Proceedings of the 15th International Conference on Computer Safety, 1996

Deriving Real-Time Requirements for Software from Safety Analysis.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Modeling Fault Trees Using Petri Nets.

[BibT_eX]

[DOI]

Jan Magott

Proceedings of the 14th International Conference on Computer Safety, 1995

Software Engineering Education: A <i>Dragging-Through</i> Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

1994

Formal specification and verification of a real-time kernel.

[BibT_eX]

[DOI]

Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1987

Formal specification of basic mechanisms of a message passing kernel.

[BibT_eX]

[DOI]

Henryk J. Napiatek

Microprocess. Microprogramming, 1987

1978

Sticky variables and memory optimization.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1978

A Modular Representation of the Access Control System.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1978

1976

On Consecutive Storage of Records.

[BibT_eX]

[DOI]