Author of the publication

Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.

, , and . MoDeVVa@MoDELS, volume 1235 of CEUR Workshop Proceedings, page 79-88. CEUR-WS.org, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Data-driven Prognostic Architecture for Online Monitoring of Hard Disks Using Deep LSTM Networks., , and . CoRR, (2018)Towards an Adaptive Multi-Modal Traffic Analytics Framework at the Edge., , and . PerCom Workshops, page 511-516. IEEE, (2019)Providing privacy, safety, and security in IoT-based transactive energy systems using distributed ledgers., , , and . IOT, page 13:1-13:8. ACM, (2017)Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems., , , , , and . ICPS, page 129-136. IEEE, (2020)Practitioner-Centric Approach for Early Incident Detection Using Crowdsourced Data for Emergency Services., , , , , and . ICDM, page 1318-1323. IEEE, (2021)Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems., , and . SMARTCOMP, page 55-60. IEEE, (2021)TRANSIT-GYM: A Simulation and Evaluation Engine for Analysis of Bus Transit Systems., , , , , , , , and . SMARTCOMP, page 69-76. IEEE, (2021)Learning Incident Prediction Models Over Large Geographical Areas for Emergency Response., , , , , and . SMARTCOMP, page 424-429. IEEE, (2021)CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems., , , , , , , and . ACM Trans. Cyber Phys. Syst., 2 (3): 16:1-16:37 (2018)Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems., , , and . SAFECOMP, volume 13414 of Lecture Notes in Computer Science, page 82-96. Springer, (2022)