Alexandru F. Iosif-Lazar

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Learning From Experience

Operational Semantics

Safety Critical

Top Venues

J. Log. Algebraic Methods Program.

Publications

Alexandru F. Iosif-Lazar, Andrzej Wasowski
Trustworthy variant derivation with translation validation for safety critical product lines. J. Log. Algebraic Methods Program. 85 (6) (2016)
Alexandru F. Iosif-Lazar, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Juha Erik Savolainen, Krzysztof Sierszecki, Andrzej Wasowski
Experiences from Designing and Validating a Software Modernization Transformation (E). ASE (2015)
Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski
A Core Language for Separate Variability Modeling. ISoLA (1) (2014)