Lukasz Cyra

11 papers A 2B 2Journal 3Unranked 4

Year	Rank	Type	Title / Venue / Authors
2013	A	`conf`	Combining testing and proof to gain high assurance in software: A case study. ISSRE Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra
2013	J	`jnl`	European Reference Network for Critical Infrastructure Protection. Int. J. Crit. Infrastructure Prot. Adam M. Lewis, David Ward, Lukasz Cyra, Naouma Kourti
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	B	`conf`	Overcoming Non-determinism in Testing Smart Devices: A Case Study. SAFECOMP Peter G. Bishop, Lukasz Cyra
2008	—	`conf`	An Approach to Evaluation of Arguments in Trust Cases. DepCoS-RELCOMEX Lukasz Cyra, Janusz Górski
2008	A	`conf`	An integrated framework for security protocol analysis. AsiaCCS Marcin Olszewski, Lukasz Cyra
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