Aryldo G. Russo

Starting B Specifications from Use Cases

Thiago C. de Sousa, Aryldo G. Russo, T. Sousa, 2010, ASM.

An Approach of Requirements Tracing in Formal Refinement

Michael Leuschel, Stefan Hallerstede, Michael Jastram, 2010, VSTTE.

Modeling in event-b - system and software engineering by Jean-Raymond Abrial

Aryldo G. Russo, 2011, SOEN.

A formal approach to safety verification of railway signaling systems

Aryldo G. Russo, L. Ladenberger, 2012, 2012 Proceedings Annual Reliability and Maintainability Symposium.

Formal Methods as an Improvement Tool

Aryldo G. Russo, Aryldo G. Russo, 2013, Industrial Deployment of System Engineering Methods.