Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms V Zambrano, J Mueller-Roemer, M Sandberg, P Talasila, D Zanin, ... Array 14, 100176, 2022 | 38 | 2022 |
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users P Talasila, C Gomes, PH Mikkelsen, SG Arboleda, E Kamburjan, ... arXiv preprint arXiv:2305.07244, 2023 | 20 | 2023 |
Alexandria: A Proof-of-concept Implementation and Evaluation of Generalised Data Deduplication L Nielsen, R Vestergaard, N Yazdani, P Talasila, DE Lucani, M Sipos Globecom. IEEE Conference and Exhibition, 2019 | 17 | 2019 |
Modelling the HUBCAP sandbox architecture in VDM: A study in security T Kulik, HD Macedo, P Talasila, PG Larsen John Fitzgerald, Tomohiro Oda, and Hugo Daniel Macedo (Editors) 20, 2021 | 12 | 2021 |
Comparison between the hubcap and digitbrain platforms for model-based design and evaluation of digital twins P Talasila, DC Crăciunean, P Bogdan-Constantin, PG Larsen, ... International Conference on Software Engineering and Formal Methods, 238-244, 2021 | 8 | 2021 |
Generalized Deduplication: Lossless Compression by Clustering Similar Data P Talasila, DE Lucani 2019 IEEE 8th International Conference on Cloud Networking (CloudNet), 1-4, 2019 | 8 | 2019 |
Extending the formal security analysis of the HUBCAP sandbox T Kulik, P Talasila, P Greco, G Veneziano, A Marguglio, LF Sutton, ... Proceedings of the 19th International Overture Workshop, 36, 2021 | 5 | 2021 |
t-CSA: A fast and flexible CSA Implementation T Prasad, K Sathyanarayanan, S Tiwari, N Goveas, B Deshpande 2016 8th International Conference on Communication Systems and Networks …, 2016 | 4 | 2016 |
Demonstration of Reliable IoT Distributed Storage using Network Codes J Techel, X Zhao, P Talasila, Q Zhang, DE Lucani 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2019 | 3 | 2019 |
Introducing Regression Tests and Upgrades to the INTO-CPS Application P Talasila, A Sanjari, K Villadsen, C Thule, PG Larsen, HD Macedo Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021 | 2 | 2021 |
Multimodal transit scheduler: An actor-based concurrent approach P Talasila, A Haldar, SS Pai, N Goveas, BM Deshpande 2017 IEEE 20th International Conference on Intelligent Transportation …, 2017 | 2 | 2017 |
Towards the Composition of Digital Twins PG Larsen, P Talasila, J Fitzgerald The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the …, 2024 | 1 | 2024 |
Realising Digital Twins P Talasila, PH Mikkelsen, S Gil, PG Larsen The Engineering of Digital Twins, 225-256, 2024 | 1 | 2024 |
BITS Darshini: A Modular, Concurrent Protocol Analyzer Workbench P Talasila, M Kakrambe, A Rai, S Santy, N Goveas, BM Deshpande Proceedings of the 19th International Conference on Distributed Computing …, 2018 | 1 | 2018 |
Transit timetables as multi-layer networks P Talasila, S Asifullah, N Goveas, B Deshpande 2018 10th International Conference on Communication Systems & Networks …, 2018 | 1 | 2018 |
An architecture for coupled digital twins with semantic lifting S Gil, E Kamburjan, P Talasila, PG Larsen Software and Systems Modeling, 1-26, 2024 | | 2024 |
INTERPRETABLE AND REUSABLE REDUCED ORDER MODELS FOR DIGITAL TWINS IN MANUFACTORY AS A SERVICE V Zambrano, I Viejo, JM Rodrıguez, G López, J Alfonso, D Cáceres, ... | | 2023 |
Performance of Generalized Deduplication Under Different Input Conditions P Talasila, D Lucani European Wireless 2021; 26th European Wireless Conference, 1-7, 2021 | | 2021 |
Enabling Combining Models and Tools in an Online MBSE Collaboration Platform PG Larsen, G Soulioti, HD Macedo, V Alifragkis, J Fitzgerald, N Livanos, ... Model Based Space Systems and Software Engineering 2020, 2020 | | 2020 |
Cell Model of Multidimensional Networks TSRK PRASAD Pilani, 2018 | | 2018 |