Extending Parikh matrices. - Traian-Florin Serbanuta (Theor. Comput. Sci., 2004)

Computationally Equivalent Elimination of Conditions. - Traian-Florin Serbanuta; Grigore Rosu (RTA, 2006)

Rewriting Logic Systems. - Grit Denker; Carolyn L. Talcott; Grigore Rosu; Mark van den Brand; Steven Eker; Traian-Florin Serbanuta (WRLA, 2006)

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. - Mark Hills 001; Traian Serbanuta; Grigore Rosu (WRLA, 2006)

Injectivity of the Parikh Matrix Mappings Revisited. - Virgil Nicolae Serbanuta; Traian-Florin Serbanuta (Fundam. Informaticae, 2006)

A Rewriting Logic Approach to Operational Semantics (Extended Abstract). - Traian-Florin Serbanuta; Grigore Rosu; José Meseguer 001 (SOS@LICS/ICALP, 2007)

jPredictor: a predictive runtime analysis tool for java. - Feng Chen 006; Traian-Florin Serbanuta; Grigore Rosu (ICSE, 2008)

Defining and Executing P Systems with Structured Data in K. - Traian Serbanuta; Gheorghe Stefanescu; Grigore Rosu (Workshop on Membrane Computing, 2008)

A Rewriting Logic Approach to Type Inference. - Chucky Ellison; Traian-Florin Serbanuta; Grigore Rosu (WADT, 2008)

Runtime Verification of C Memory Safety. - Grigore Rosu; Wolfram Schulte; Traian-Florin Serbanuta (RV, 2009)

A rewriting logic approach to operational semantics. - Traian-Florin Serbanuta; Grigore Rosu; José Meseguer 001 (Inf. Comput., 2009)

A semantic approach to interpolation. - Andrei Popescu 001; Traian-Florin Serbanuta; Grigore Rosu (Theor. Comput. Sci., 2009)

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. - Traian-Florin Serbanuta; Grigore Rosu (WRLA, 2010)

Ambient intelligence in self-organising assembly systems using the chemical reaction model. - Regina Frei; Giovanna Di Marzo Serugendo; Traian-Florin Serbanuta (J. Ambient Intell. Humaniz. Comput., 2010)

P systems with control nuclei: The concept. - Camelia Chira; Traian-Florin Serbanuta; Gheorghe Stefanescu (J. Log. Algebraic Methods Program., 2010)

An overview of the K semantic framework. - Grigore Rosu; Traian-Florin Serbanuta (J. Log. Algebraic Methods Program., 2010)

A rewriting approach to concurrent programming language design and semantics - Traian Serbanuta (2010)

K Overview and SIMPLE Case Study. - Grigore Rosu; Traian-Florin Serbanuta (K, 2011)

Rewriting Semantics and Analysis of Concurrency Features for a C-like Language. - Traian-Florin Serbanuta (K, 2011)

The K Primer (version 3.3). - Traian-Florin Serbanuta; Andrei Arusoaie; David Lazar; Chucky Ellison; Dorel Lucanu; Grigore Rosu (K, 2011)

Executing Formal Semantics with the K Tool. - David Lazar; Andrei Arusoaie; Traian-Florin Serbanuta; Chucky Ellison; Radu Mereuta; Dorel Lucanu; Grigore Rosu (FM, 2012)

A Truly Concurrent Semantics for the K Framework Based on Graph Transformations. - Traian-Florin Serbanuta; Grigore Rosu (ICGT, 2012)

Maximal Causal Models for Sequentially Consistent Systems. - Traian-Florin Serbanuta; Feng Chen 006; Grigore Rosu (RV, 2012)

Making Maude Definitions More Interactive. - Andrei Arusoaie; Traian-Florin Serbanuta; Chucky Ellison; Grigore Rosu (WRLA, 2012)

K Framework Distilled. - Dorel Lucanu; Traian-Florin Serbanuta; Grigore Rosu (WRLA, 2012)

RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. - Qingzhou Luo; Yi Zhang; Choonghwan Lee; Dongyun Jin; Patrick O'Neil Meredith; Traian-Florin Serbanuta; Grigore Rosu (RV, 2014)

An Institutional Foundation for the K Semantic Framework. - Claudia Elena Chirita; Traian-Florin Serbanuta (WADT, 2014)

Self-organising assembly systems formally specified in Maude. - Regina Frei; Traian-Florin Serbanuta; Giovanna Di Marzo Serugendo (J. Ambient Intell. Humaniz. Comput., 2014)

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. - Philip Daian; Yliès Falcone; Patrick O'Neil Meredith; Traian-Florin Serbanuta; Shinichi Shiraishi; Akihito Iwai; Grigore Rosu (RV, 2015)

Towards a mathbb K K ool Future. - Dorel Lucanu; Traian-Florin Serbanuta; Grigore Rosu (Theory and Practice of Formal Methods, 2016)

Runtime Verification at Work: A Tutorial. - Philip Daian; Dwight Guth; Chris Hathhorn; Yilong Li; Edgar Pek; Manasvi Saxena; Traian-Florin Serbanuta; Grigore Rosu (RV, 2016)

Maximally Parallel Contextual String Rewriting. - Traian-Florin Serbanuta; Liviu P. Dinu (WRLA, 2016)

Language definitions as rewrite theories. - Vlad Rusu; Dorel Lucanu; Traian-Florin Serbanuta; Andrei Arusoaie; Andrei Stefanescu; Grigore Rosu (J. Log. Algebraic Methods Program., 2016)

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. - Theodoros Kasampalis; Dwight Guth; Brandon M. Moore; Traian-Florin Serbanuta; Yi Zhang; Daniele Filaretti; Virgil Nicolae Serbanuta; Ralph Johnson; Grigore Rosu (FM, 2019)

Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (TABLEAUX, 2019)

From Hybrid Modal Logic to Matching Logic and back. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (FROM, 2019)

All-Path Reachability Logic. - Andrei Stefanescu; Stefan Ciobaca; Radu Mereuta; Brandon M. Moore; Traian-Florin Serbanuta; Grigore Rosu (Log. Methods Comput. Sci., 2019)

Formalizing Correct-by-Construction Casper in Coq. - Elaine Li; Traian Serbanuta; Denisa Diaconescu; Vlad Zamfir; Grigore Rosu (IEEE ICBC, 2020)

A Many-sorted Polyadic Modal Logic. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (Fundam. Informaticae, 2020)

Many-sorted hybrid modal languages. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (J. Log. Algebraic Methods Program., 2021)

VLSM: Validating Labelled State Transition and Message Production Systems. - Vlad Zamfir; Mihai Calancea; Denisa Diaconescu; Brandon M. Moore; Karl Palmskog; Traian-Florin Serbanuta; Michael Stay (CoRR, 2022)

Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. - Jan Tusil; Traian Serbanuta; Jan Obdrzálek (LPAR, 2023)

Asynchronous Muddy Children Puzzle (work in progress). - Dafina Trufas; Ioan Teodorescu; Denisa Diaconescu; Traian Serbanuta; Vlad Zamfir (FROM, 2023)