BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Sweden
Collaborated with:
T.Kehrer C.Ghezzi L.Pasquale B.Nuseibeh C.Menghi
Talks about:
topolog (2) physic (2) secur (2) cyber (2) adapt (2) awar (2) workload (1) identifi (1) prevent (1) pattern (1)

Person: Christos Tsigkanos

DBLP DBLP: Tsigkanos:Christos

Contributed to:

ICSE 20152015
RE 20142014
ESEC/FSE 20172017
WICSA 20162016

Wrote 4 papers:

ICSE-v2-2015-TsigkanosPGN #adaptation #cyber-physical #named #security
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems (CT, LP, CG, BN), pp. 729–732.
RE-2014-TsigkanosPMGN #adaptation #requirements #runtime #security
Engineering topology aware adaptive security: Preventing requirements violations at runtime (CT, LP, CM, CG, BN), pp. 203–212.
ESEC-FSE-2017-TsigkanosKG #cyber-physical #evolution #modelling #verification
Modeling and verification of evolving cyber-physical spaces (CT, TK, CG), pp. 38–48.
WICSA-2016-TsigkanosK #formal method #identification #on the #specification
On Formalizing and Identifying Patterns in Cloud Workload Specifications (CT, TK), pp. 262–267.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.