Automated Verification Using CircularitiesCIRC
Members: Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras, Eugen Goriac, Georgiana Caltais
K Semantics for Domain Specific Modelling LanguagesDSML
Members: Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
Executable Semantic Framework (K Framework)K
Members: Dorel Lucanu, Grigore Rosu, Andrei Arusoaie, Radu Mereuta, Traian Serbanuta, Stefan Ciobaca
Capturing Initial and Final Semantics in Matching Logic
Members: Dorel Lucanu, Grigore Rosu, Andrei Arusoaie, Xiaohong Chen
Alk- An educational platform for learning algorithms and acquiring an algorithmic thinking
Members: Dorel Lucanu, Alexandru Lungu