Reading Time: < 1 minute

Show all

Rodríguez, Ricardo J; Júlvez, Jorge; Merseguer, José

Quantification and Compensation of the Impact of Faults in System Throughput Journal Article

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 227 (6), pp. 614–628, 2013.

Abstract | Links | BibTeX | Tags: fault-tolerant techniques, integer-linear programming, Performability, Petri nets

Rodríguez, Ricardo J; Merseguer, José; Bernardi, Simona

Modelling and Analysing Resilience as a Security Issue within UML Inproceedings

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems (SERENE), pp. 42–51, ACM, London, United Kingdom, 2010.

Abstract | Links | BibTeX | Tags: Petri nets, Petri nets, Security, software system engineering, UML