Lukasz Cyra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2007–2013
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ISSRE | Combining testing and proof to gain high assurance in software: A case study. | Peter G. Bishop, Robin E. Bloomfield, Lukasz Cyra |
| 2010 | SAFECOMP | Overcoming Non-determinism in Testing Smart Devices: A Case Study. | Peter G. Bishop, Lukasz Cyra |
| 2008 | CCS | An integrated framework for security protocol analysis. | Marcin Olszewski, Lukasz Cyra |
| 2008 | DEPCoS | Standards Conformity Framework in Comparison with Contemporary Methods Supporting Standards Application. | Lukasz Cyra, Janusz Grski |
| 2008 | DEPCoS | An Approach to Evaluation of Arguments in Trust Cases. | Lukasz Cyra, Janusz Grski |
| 2008 | SAFECOMP | Expert Assessment of Arguments: A Method and Its Experimental Evaluation. | Lukasz Cyra, Janusz Grski |
| 2007 | DEPCoS | Supporting Compliance with Security Standards by Trust Case Templates. | Lukasz Cyra, Janusz Grski |