Lukasz Cyra

According to our database, Lukasz Cyra authored at least 11 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

European Reference Network for Critical Infrastructure Protection.

Adam M. Lewis, David Ward, Lukasz Cyra, Naouma Kourti

Int. J. Crit. Infrastructure Prot., 2013

Combining testing and proof to gain high assurance in software: A case study.

Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2011

Support for argument structures review and assessment.

Lukasz Cyra, Janusz Górski

Reliab. Eng. Syst. Saf., 2011

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

Lukasz Cyra, Janusz Górski

Comput. Stand. Interfaces, 2011

2010

Overcoming Non-determinism in Testing Smart Devices: A Case Study.

Peter G. Bishop, Lukasz Cyra

Proceedings of the Computer Safety, 2010

2008

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

Lukasz Cyra, Janusz Górski

Proceedings of the Computer Safety, 2008

An Approach to Evaluation of Arguments in Trust Cases.

Lukasz Cyra, Janusz Górski

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

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

Lukasz Cyra, Janusz Górski

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

An integrated framework for security protocol analysis.

Marcin Olszewski, Lukasz Cyra

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

2007

Extending GQM by Argument Structures.

Lukasz Cyra, Janusz Górski

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

Supporting Compliance with Security Standards by Trust Case Templates.

Lukasz Cyra, Janusz Górski

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