Prasad Talasila

According to our database, Prasad Talasila authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty.

Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri, Prasad Talasila

CoRR, 2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.

Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users.

Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen

CoRR, 2023

2022

Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms.

Valentina Zambrano, Johannes Mueller-Roemer, Michael Sandberg, Prasad Talasila, Davide Zanin, Peter Gorm Larsen, Elke Loeschner, Wolfgang Thronicke, Dario Pietraroia, Giuseppe Landolfi, Alessandro Fontana, Manuel Laspalas, Jibinraj Antony, Valerie Poser, Tamás Kiss, Simon Bergweiler, Sebastián Peña Serna, Salvador Izquierdo, Ismael Viejo, Asier Juan, Francisco Serrano, André Stork

Array, 2022

2021

Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins.

Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

2020

Introducing Regression Tests and Upgrades to the INTO-CPS Application.

Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019

Alexandria: A Proof-of-Concept Implementation and Evaluation of Generalised Data Deduplication.

Lars Nielsen, Rasmus Vestergaard, Niloofar Yazdani, Prasad Talasila, Daniel E. Lucani, Márton Sipos

Proceedings of the 2019 IEEE Globecom Workshops, Waikoloa, HI, USA, December 9-13, 2019, 2019

Generalized Deduplication: Lossless Compression by Clustering Similar Data.

Prasad Talasila, Daniel E. Lucani

Proceedings of the 2019 IEEE 8th International Conference on Cloud Networking, 2019

Demonstration of Reliable IoT Distributed Storage using Network Codes.

Johannes Techel, Xiaobo Zhao, Prasad Talasila, Qi Zhang, Daniel E. Lucani

Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference, 2019

2018

BITS Darshini: A Modular, Concurrent Protocol Analyzer Workbench.

Prasad Talasila, Mihir Kakrambe, Anurag Rai, Sebastin Santy, Neena Goveas, Bharat M. Deshpande

Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

Transit timetables as multi-layer networks.

Prasad Talasila, Shaik Asifullah, Neena Goveas, Bharat M. Deshpande

Proceedings of the 10th International Conference on Communication Systems & Networks, 2018

2017

Multimodal transit scheduler: An actor-based concurrent approach.

Prasad Talasila, Aparajita Haldar, Suhas S. Pai, Neena Goveas, Bharat M. Deshpande

Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017