Radu Mereuta

According to our database, Radu Mereuta authored at least 4 papers between 2011 and 2019.

Collaborative distances:

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

2019

All-Path Reachability Logic.

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

Log. Methods Comput. Sci., 2019

Extending the Service Composition Formalism with Relational Parameters.

Paul Diac, Liana Tucar, Radu Mereuta

CoRR, 2019

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

2011

Parsing K definitions.

Radu Mereuta, Gheorghe Grigoras

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011