Back
  1. Home
  2. Profile of Barbara GALLINA (Unilu)
Profil

GALLINA Barbara

Main Referenced Co-authors
GUELFI, Nicolas  (4)
CAPOZUCCA, Alfredo  (2)
Pelliccione, Patrizio (2)
KELSEN, Pierre  (1)
Romanovsky, Alexander (1)
Main Referenced Keywords
acid (1); ACID Properties (1); Caa (1); Dependability (1); Formal Methods (1);
Main Referenced Disciplines
Computer science (5)

Publications (total 5)

The most downloaded
148 downloads
GALLINA, B., GUELFI, N., & KELSEN, P. (2009). Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33). https://hdl.handle.net/10993/23633

GALLINA, B., & GUELFI, N. (2011). Reusing Transaction Models for Dependable Cloud Computing. In Y. H. Xiaodong (Ed.), Software Reuse in the Emerging Cloud Computing Era. IGI Global.
Peer reviewed

GALLINA, B. (2010). PRISMA: A Software Product Line-oriented Process for the Requirements Engineering of Flexible Transaction Models [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/15427

GALLINA, B., GUELFI, N., & KELSEN, P. (2009). Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33).
Peer reviewed

CAPOZUCCA, A., GALLINA, B., GUELFI, N., Pelliccione, P., & Romanovsky, A. (2006). CORRECT Developing Fault-Tolerant Distributed Systems. ERCIM News.

CAPOZUCCA, A., GALLINA, B., GUELFI, N., & Pelliccione, P. (2005). Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA. In Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems. Montpellier, France: Department of Computer Science. LIRMM - Montpellier-II University.
Peer reviewed

Contact ORBilu