Traian-Florin Serbanuta

According to our database, Traian-Florin Serbanuta authored at least 39 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

CoRR, 2020

Formalizing Correct-by-Construction Casper in Coq.

Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

2019

All-Path Reachability Logic.

Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu

Log. Methods Comput. Sci., 2019

From Hybrid Modal Logic to Matching Logic and back.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

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

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

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

Maximally Parallel Contextual String Rewriting.

Traian-Florin Serbanuta, Liviu P. Dinu

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

Runtime Verification at Work: A Tutorial.

Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Runtime Verification - 16th International Conference, 2016

Towards a \mathbb K K ool Future.

Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.

Philip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shin'ichi Shiriashi, Akihito Iwai, Grigore Rosu

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Self-organising assembly systems formally specified in Maude.

Regina Frei, Traian-Florin Serbanuta, Giovanna Di Marzo Serugendo

J. Ambient Intell. Humaniz. Comput., 2014

The K Primer (version 3.3).

Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu

Electron. Notes Theor. Comput. Sci., 2014

Rewriting Semantics and Analysis of Concurrency Features for a C-like Language.

Traian-Florin Serbanuta

Electron. Notes Theor. Comput. Sci., 2014

K Overview and SIMPLE Case Study.

Grigore Rosu, Traian-Florin Serbanuta

Electron. Notes Theor. Comput. Sci., 2014

An Institutional Foundation for the K Semantic Framework.

Claudia Elena Chirita, Traian-Florin Serbanuta

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

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

Proceedings of the Runtime Verification - 5th International Conference, 2014

2012

K Framework Distilled.

Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Making Maude Definitions More Interactive.

Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Maximal Causal Models for Sequentially Consistent Systems.

Traian-Florin Serbanuta, Feng Chen, Grigore Rosu

Proceedings of the Runtime Verification, Third International Conference, 2012

A Truly Concurrent Semantics for the K Framework Based on Graph Transformations.

Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Graph Transformations - 6th International Conference, 2012

Executing Formal Semantics with the K Tool.

David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu

Proceedings of the FM 2012: Formal Methods, 2012

2010

An overview of the K semantic framework.

Grigore Rosu, Traian-Florin Serbanuta

J. Log. Algebraic Methods Program., 2010

P systems with control nuclei: The concept.

Camelia Chira, Traian-Florin Serbanuta, Gheorghe Stefanescu

J. Log. Algebraic Methods Program., 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

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.

Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

2009

A semantic approach to interpolation.

Andrei Popescu, Traian-Florin Serbanuta, Grigore Rosu

Theor. Comput. Sci., 2009

A rewriting logic approach to operational semantics.

Traian-Florin Serbanuta, Grigore Rosu, José Meseguer

Inf. Comput., 2009

Runtime Verification of C Memory Safety.

Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

A Rewriting Logic Approach to Type Inference.

Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Defining and Executing P Systems with Structured Data in K.

Traian Serbanuta, Gheorghe Stefanescu, Grigore Rosu

Proceedings of the Membrane Computing - 9th International Workshop, 2008

jPredictor: a predictive runtime analysis tool for java.

Feng Chen, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

A Rewriting Logic Approach to Operational Semantics (Extended Abstract).

Traian-Florin Serbanuta, Grigore Rosu, José Meseguer

Electron. Notes Theor. Comput. Sci., 2007

2006

Injectivity of the Parikh Matrix Mappings Revisited.

Virgil Nicolae Serbanuta, Traian-Florin Serbanuta

Fundam. Informaticae, 2006

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.

Mark Hills, Traian Serbanuta, Grigore Rosu

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Rewriting Logic Systems.

Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Computationally Equivalent Elimination of Conditions.

Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2004

Extending Parikh matrices.

Traian-Florin Serbanuta

Theor. Comput. Sci., 2004