Follow
Prasad Talasila
Title
Cited by
Cited by
Year
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
392022
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
202023
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
172019
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
122021
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
92021
Generalized Deduplication: Lossless Compression by Clustering Similar Data
P Talasila, DE Lucani
2019 IEEE 8th International Conference on Cloud Networking (CloudNet), 1-4, 2019
82019
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
52021
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
42016
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
32019
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
22021
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
22017
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
12024
Realising Digital Twins
P Talasila, PH Mikkelsen, S Gil, PG Larsen
The Engineering of Digital Twins, 225-256, 2024
12024
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
12018
Transit timetables as multi-layer networks
P Talasila, S Asifullah, N Goveas, B Deshpande
2018 10th International Conference on Communication Systems & Networks …, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20