Author of the publication

Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems.

, , , , , , and . ISSRE Workshops, page 200-203. IEEE, (2019)

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

Dependability Evaluation of Web Service-Based Processes., , , , , and . EPEW, volume 4054 of Lecture Notes in Computer Science, page 166-180. Springer, (2006)Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation., and . PKDD/ECML Workshops, volume 1323 of Communications in Computer and Information Science, page 460-474. Springer, (2020)Verification and Analysis of Autonomic Systems for Networked Enterprises., , , , , and . ArtDeco, volume 7200 of Lecture Notes in Computer Science, Springer, (2012)Dependability and Performance Assessment of Dynamic CONNECTed Systems., , , and . SFM, volume 6659 of Lecture Notes in Computer Science, page 350-392. Springer, (2011)Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems., , , , , , and . ISSRE Workshops, page 200-203. IEEE, (2019)Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures., , and . ICPADS, page 354-359. IEEE Computer Society, (1994)A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing., and . ISORC, page 306-. IEEE Computer Society, (2000)Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain., , and . MODELSWARD, page 679-686. SciTePress, (2017)Analyzing quality of service of GPRS network systems from a user's perspective., , and . ISCC, page 142-149. IEEE Computer Society, (2002)NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms., , and . QEST, page 241-242. IEEE Computer Society, (2005)