Author of the publication

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

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)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)Dependability and Performance Assessment of Dynamic CONNECTed Systems., , , and . SFM, volume 6659 of Lecture Notes in Computer Science, page 350-392. Springer, (2011)Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain., , and . MODELSWARD, page 679-686. SciTePress, (2017)Dependability Evaluation of Web Service-Based Processes., , , , , and . EPEW, volume 4054 of Lecture Notes in Computer Science, page 166-180. Springer, (2006)On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations., and . EDCC, volume 2485 of Lecture Notes in Computer Science, page 2-18. Springer, (2002)Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations., , , and . MODELSWARD, page 680-688. SciTePress, (2018)NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms., , and . QEST, page 241-242. IEEE Computer Society, (2005)A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing., and . ISORC, page 306-. IEEE Computer Society, (2000)