Traian-Florin Serbanuta

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A Many-sorted Polyadic Modal Logic.
Fundam. Informaticae, 2020

Many-Sorted Hybrid Modal Languages.
CoRR, 2020

Formalizing Correct-by-Construction Casper in Coq.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

2019
All-Path Reachability Logic.
Log. Methods Comput. Sci., 2019

From Hybrid Modal Logic to Matching Logic and back.
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2016
Language definitions as rewrite theories.
J. Log. Algebraic Methods Program., 2016

Maximally Parallel Contextual String Rewriting.
Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

Runtime Verification at Work: A Tutorial.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Towards a \mathbb K K ool Future.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
Proceedings of the Runtime Verification - 6th International Conference, 2015

2014
Self-organising assembly systems formally specified in Maude.
J. Ambient Intell. Humaniz. Comput., 2014

The K Primer (version 3.3).
Electron. Notes Theor. Comput. Sci., 2014

Rewriting Semantics and Analysis of Concurrency Features for a C-like Language.
Electron. Notes Theor. Comput. Sci., 2014

K Overview and SIMPLE Case Study.
Electron. Notes Theor. Comput. Sci., 2014

An Institutional Foundation for the K Semantic Framework.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties.
Proceedings of the Runtime Verification - 5th International Conference, 2014

2012
K Framework Distilled.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Making Maude Definitions More Interactive.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Maximal Causal Models for Sequentially Consistent Systems.
Proceedings of the Runtime Verification, Third International Conference, 2012

A Truly Concurrent Semantics for the K Framework Based on Graph Transformations.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Executing Formal Semantics with the K Tool.
Proceedings of the FM 2012: Formal Methods, 2012

2010
An overview of the K semantic framework.
J. Log. Algebraic Methods Program., 2010

P systems with control nuclei: The concept.
J. Log. Algebraic Methods Program., 2010

Ambient intelligence in self-organising assembly systems using the chemical reaction model.
J. Ambient Intell. Humaniz. Comput., 2010

K-Maude: A Rewriting Based Tool for Semantics of Programming Languages.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

2009
A semantic approach to interpolation.
Theor. Comput. Sci., 2009

A rewriting logic approach to operational semantics.
Inf. Comput., 2009

Runtime Verification of C Memory Safety.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008
A Rewriting Logic Approach to Type Inference.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Defining and Executing P Systems with Structured Data in K.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

jPredictor: a predictive runtime analysis tool for java.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
A Rewriting Logic Approach to Operational Semantics (Extended Abstract).
Electron. Notes Theor. Comput. Sci., 2007

2006
Injectivity of the Parikh Matrix Mappings Revisited.
Fundam. Informaticae, 2006

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

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

Computationally Equivalent Elimination of Conditions.
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2004
Extending Parikh matrices.
Theor. Comput. Sci., 2004


  Loading...