Traian Serbanuta

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 3

Top Topics

Predicate Calculus

Agent Programming

Top Venues

Publications

Jan Tusil, Traian Serbanuta, Jan Obdrzálek
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. LPAR (2023)
Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir
Asynchronous Muddy Children Puzzle (work in progress). FROM (2023)
Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu
Formalizing Correct-by-Construction Casper in Coq. IEEE ICBC (2020)
Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu
Defining and Executing P Systems with Structured Data in K. Workshop on Membrane Computing (2008)
Mark Hills, Traian Serbanuta, Grigore Rosu
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. WRLA (2006)
Andrei Popescu, Traian Serbanuta, Grigore Rosu
A Semantic Approach to Interpolation. FoSSaCS (2006)