Experience with Formal Verification of SDL Protocols. - Marius Minea; Cornel Izbasa; Calin Jebelean (Int. J. Comput., 2003)

Towards a load balancer architecture for multi-core mobile communication systems. - Dacian Tudor; Georgiana Macariu; Calin Jebelean; Vladimir Cretu (SACI, 2009)