| 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 | 39 | 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, ... 2023 IEEE Smart World Congress (SWC), 1-8, 2023 | 21 | 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 | 9 | 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 |
| An architecture for coupled digital twins with semantic lifting S Gil, E Kamburjan, P Talasila, PG Larsen Software and Systems Modeling, 1-26, 2024 | 1 | 2024 |
| 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 |
| Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service MH Kristensen, A Bonizzi, C Gomes, ST Hansen, C Isasa, H Iven, ... 2024 IEEE International Conference on Autonomic Computing and Self …, 2024 | | 2024 |
| Composable digital twins on Digital Twin as a Service platform P Talasila, C Gomes, LB Vosteen, H Iven, M Leucker, S Gil, PH Mikkelsen, ... SIMULATION, 00375497241298653, 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 |
Peter Gorm LarsenAarhus UniversityVerificeret mail på ece.au.dk
