( en | de | ru )

 

Disambiguation of "Tsigkanos, Christos"

Author of the publication

copydeleteadd this publication to your clipboard
PsALM: specification of dependable robotic missions.

, , , and . ICSE (Companion Volume), page 99-102. IEEE / ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christos Vrettos

Christos Tagarakis

Christos Koutras

Christos Jordanides

Christos Kapnukajas

 

Other publications of authors with the same name

RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , and 3 other author(s). SEAMS@ICSE, page 245-251. IEEE, (2021)Modeling and Verification of Evolving Cyber-Physical Spaces., , and . Software Engineering, volume P-279 of LNI, page 113-114. Gesellschaft für Informatik, (2018)Inferring analyzable models from trajectories of spatially-distributed internet of things., , , , , and . SEAMS@ICSE, page 100-106. ACM, (2019)Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap., , and . ICDCS, page 1754-1764. IEEE, (2019)Decentralized Resource Auctioning for Latency-Sensitive Edge Computing., , and . EDGE, page 72-76. IEEE, (2019)An EMOF-Compliant Abstract Syntax for Bigraphs., , and . GaM@ETAPS, volume 231 of EPTCS, page 16-30. (2016)Dependable Resource Coordination on the Edge at Runtime., , and . Proc. IEEE, 107 (8): 1520-1536 (2019)How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability., , , and . IRI, page 15-22. IEEE, (2019)Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems., , , and . ICSE (2), page 729-732. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Edge-Based Runtime Verification for the Internet of Things., , , and . SERVICES, page 16. IEEE, (2021)