EDENSPACE: Engineering Dependable Cyber-Physical Spaces


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
 
Funder/Funding Agency Fördergeber
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
M2778-N
 

Publications

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Shabelnyk, 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
2Tsigkanos, Christos ; Li, Nianyu ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Scalable multiple-view analysis of reactive systems via bidirectional model transformationsKonferenzbeitrag Inproceedings 2020
3Askarpour, 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
4Avasalcai, Cosmin Florin ; Tsigkanos, Christos ; Dustdar, Schahram Resource Management for Latency-Sensitive IoT Applications With SatisfiabilityArticle Artikel 2022
5Murturi, 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
6Tsigkanos-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