Lukasz Cyra

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Search Based Software Testing

Operating System

Test Data Generation

Top Venues

Int. J. Crit. Infrastructure Prot.

Publications

Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra
Combining testing and proof to gain high assurance in software: A case study. ISSRE (2013)
Adam M. Lewis, David Ward, Lukasz Cyra, Naouma Kourti
European Reference Network for Critical Infrastructure Protection. Int. J. Crit. Infrastructure Prot. 6 (1) (2013)
Lukasz Cyra, Janusz Górski
Support for argument structures review and assessment. Reliab. Eng. Syst. Saf. 96 (1) (2011)
Lukasz Cyra, Janusz Górski
SCF - A framework supporting achieving and assessing conformity with standards. Comput. Stand. Interfaces 33 (1) (2011)
Peter G. Bishop, Lukasz Cyra
Overcoming Non-determinism in Testing Smart Devices: A Case Study. SAFECOMP (2010)
Lukasz Cyra, Janusz Górski
Standards Conformity Framework in Comparison with Contemporary Methods Supporting Standards Application. DepCoS-RELCOMEX (2008)
Marcin Olszewski, Lukasz Cyra
An integrated framework for security protocol analysis. AsiaCCS (2008)
Lukasz Cyra, Janusz Górski
Expert Assessment of Arguments: A Method and Its Experimental Evaluation. SAFECOMP (2008)
Lukasz Cyra, Janusz Górski
An Approach to Evaluation of Arguments in Trust Cases. DepCoS-RELCOMEX (2008)
Lukasz Cyra, Janusz Górski
Extending GQM by Argument Structures. CEE-SET (2007)
Lukasz Cyra, Janusz Górski
Supporting Compliance with Security Standards by Trust Case Templates. DepCoS-RELCOMEX (2007)