Traian-Florin Serbanuta

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 14

Top Topics

Assembly Systems

Operational Semantics

Owl Dl Ontology

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay
VLSM: Validating Labelled State Transition and Message Production Systems. CoRR (2022)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Many-sorted hybrid modal languages. J. Log. Algebraic Methods Program. 120 (2021)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Many-Sorted Hybrid Modal Languages. CoRR (2020)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
A Many-sorted Polyadic Modal Logic. Fundam. Informaticae 173 (2-3) (2020)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Operational semantics and program verification using many-sorted hybrid modal logic. CoRR (2019)
Theodoros Kasampalis, Dwight Guth, Brandon M. Moore, Traian-Florin Serbanuta, Yi Zhang, Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson, Grigore Rosu
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain. FM (2019)
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
All-Path Reachability Logic. Log. Methods Comput. Sci. 15 (2) (2019)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
From Hybrid Modal Logic to Matching Logic and back. FROM (2019)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. TABLEAUX (2019)
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
All-Path Reachability Logic. CoRR (2018)
Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu
Language definitions as rewrite theories. J. Log. Algebraic Methods Program. 85 (1) (2016)
Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu
Towards a \mathbb K K ool Future. Theory and Practice of Formal Methods (2016)
Traian-Florin Serbanuta, Liviu P. Dinu
Maximally Parallel Contextual String Rewriting. WRLA (2016)
Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu
Runtime Verification at Work: A Tutorial. RV (2016)
Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shin'ichi Shiriashi, Akihito Iwai, Grigore Rosu
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. RV (2015)
Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu
The K Primer (version 3.3). Electron. Notes Theor. Comput. Sci. 304 (2014)
Regina Frei, Traian-Florin Serbanuta, Giovanna Di Marzo Serugendo
Self-organising assembly systems formally specified in Maude. J. Ambient Intell. Humaniz. Comput. 5 (4) (2014)
Claudia Elena Chirita, Traian-Florin Serbanuta
An Institutional Foundation for the K Semantic Framework. WADT (2014)
Grigore Rosu, Traian-Florin Serbanuta
K Overview and SIMPLE Case Study. Electron. Notes Theor. Comput. Sci. 304 (2014)
Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. RV (2014)
Traian-Florin Serbanuta
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language. Electron. Notes Theor. Comput. Sci. 304 (2014)
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu
Language Definitions as Rewrite Theories. WRLA (2014)
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
All-Path Reachability Logic. RTA-TLCA (2014)
Traian-Florin Serbanuta, Feng Chen, Grigore Rosu
Maximal Causal Models for Sequentially Consistent Systems. RV (2012)
David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu
Executing Formal Semantics with the K Tool. FM (2012)
Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu
Making Maude Definitions More Interactive. WRLA (2012)
Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu
K Framework Distilled. WRLA (2012)
Traian-Florin Serbanuta, Grigore Rosu
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations. ICGT (2012)
Camelia Chira, Traian-Florin Serbanuta, Gheorghe Stefanescu
P systems with control nuclei: The concept. J. Log. Algebraic Methods Program. 79 (6) (2010)
Regina Frei, Giovanna Di Marzo Serugendo, Traian-Florin Serbanuta
Ambient intelligence in self-organising assembly systems using the chemical reaction model. J. Ambient Intell. Humaniz. Comput. 1 (3) (2010)
Grigore Rosu, Traian-Florin Serbanuta
An overview of the K semantic framework. J. Log. Algebraic Methods Program. 79 (6) (2010)
Traian-Florin Serbanuta, Grigore Rosu
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. WRLA (2010)
Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta
Runtime Verification of C Memory Safety. RV (2009)
Traian-Florin Serbanuta, Grigore Rosu, José Meseguer
A rewriting logic approach to operational semantics. Inf. Comput. 207 (2) (2009)
Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu
A semantic approach to interpolation. Theor. Comput. Sci. 410 (12-13) (2009)
Feng Chen, Traian-Florin Serbanuta, Grigore Rosu
jPredictor: a predictive runtime analysis tool for java. ICSE (2008)
Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu
A Rewriting Logic Approach to Type Inference. WADT (2008)
Traian-Florin Serbanuta, Grigore Rosu, José Meseguer
A Rewriting Logic Approach to Operational Semantics (Extended Abstract). Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Traian-Florin Serbanuta, Grigore Rosu
Computationally Equivalent Elimination of Conditions. RTA (2006)
Virgil Nicolae Serbanuta, Traian-Florin Serbanuta
Injectivity of the Parikh Matrix Mappings Revisited. Fundam. Informaticae 73 (1-2) (2006)
Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
Rewriting Logic Systems. WRLA (2006)
Traian-Florin Serbanuta
Extending Parikh matrices. Theor. Comput. Sci. 310 (1-3) (2004)