EDENSPACE: Engineering Dependable Cyber-Physical Spaces

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
EDENSPACE
 
Project Title (de) Projekttitel (de)
EDENSPACE: Engineering Dependable Cyber-Physical Spaces
 
Project Title (en) Projekttitel (en)
EDENSPACE: Engineering Dependable Cyber-Physical Spaces
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
M2778-N
 

Publications

Results 1-12 of 12 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Tsigkanos-2022-IEEE Transactions on Services Computing-vor.pdf.jpgTsigkanos, Christos ; Bersani, Marcello M. ; Frangoudis, Pantelis ; Dustdar, Schahram Edge-Based Runtime Verification for the Internet of ThingsArticle Artikel 7-Oct-2022
2Avasalcai, Cosmin Florin ; Tsigkanos, Christos ; Dustdar, Schahram Resource Management for Latency-Sensitive IoT Applications With SatisfiabilityArticle Artikel 2022
3Shabelnyk, Oleksandr ; Frangoudis, Pantelis A. ; Dustdar, Schahram ; Tsigkanos, Christos ; Biffl, Stefan ; Navarro, Elena ; Löwe, Welf ; Sirjani, Marjan ; Mirandola, Raffaela ; Weyns, Danny Updating Service-Based Software Systems in Air-Gapped EnvironmentsKonferenzbeitrag Inproceedings 2021
4Murturi, Ilir ; Jia, Chao ; Kerbl, Bernhard ; Wimmer, Michael ; Dustdar, Schahram ; Tsigkanos, Christos ; Dominguez Mayo, Francisco ; Marchiori, Massimo ; Filipe, Joaquim On Provisioning Procedural Geometry Workloads on Edge ArchitecturesKonferenzbeitrag Inproceedings 2021
5Garriga, Martin ; Aarns, Koen ; Tsigkanos, Christos ; Tamburri, Damian A. ; Heuvel, Wjan Van Den DataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow CaseArtikel Article 2021
6Avasalcai, Cosmin ; Tsigkanos, Christos ; Dustdar, Schahram Adaptive Management of Volatile Edge Systems at Runtime With SatisfiabilityArtikel Article 2021
7Frangoudis, Pantelis A. ; Tsigkanos, Christos ; Dustdar, Schahram Connectivity Technology Selection and Deployment Strategies for IoT Service Provision Over LPWANArtikel Article 2021
8Askarpour, Mehrnoosh ; Tsigkanos, Christos ; Menghi, Claudio ; Calinescu, Radu ; Pelliccione, Patrizio ; Garcia, Sergio ; Caldas, Ricardo ; von Oertzen, Tim J ; Wimmer, Manuel ; Berardinelli, Luca ; Rossi, Matteo ; Bersani, Marcello M. ; Rodrigues, Gabriel S. RoboMAX: Robotic Mission Adaptation eXemplarsKonferenzbeitrag Inproceedings 2021
9Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Early validation of cyber-physical space systems via multi-concerns integrationArtikel Article 2020
10Tsigkanos, Christos ; Li, Nianyu ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Scalable multiple-view analysis of reactive systems via bidirectional model transformationsKonferenzbeitrag Inproceedings 2020
11Tsigkanos, Christos ; Garriga, Martin ; Baresi, Luciano ; Ghezzi, Carlo Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things SystemsArtikel Article 2020
12Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Early Validation of Cyber-Physical Space Systems via Multi-Concerns IntegrationPreprint Preprint2020