Radu Mereuta

From FSL
Revision as of 22:53, 2 October 2014 by Radum (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Collaborator on the K framework. Radu is a PhD student at the Alexandru Ioan-Cuza University in Iasi, Romania, under the supervision of Prof. Dorel Lucanu.

Publications within FSL

All-Path Reachability Logic 
Andrei Stefanescu and Stefan Ciobaca and Radu Mereuta and Brandon Moore and Traian Florin Serbanuta and Grigore Rosu
RTA'14, LNCS 8560, pp 425-440. 2014
PDF, Slides(PPTX), Matching Logic, DOI, RTA'14, BIB
Executing Formal Semantics with the K Tool 
David Lazar and Andrei Arusoaie and Traian Florin Serbanuta and Chucky Ellison and Radu Mereuta and Dorel Lucanu and Grigore Rosu
FM'12, LNCS 7436, pp 267-271. 2012
PDF, Slides(PDF), K, DOI, FM'12, BIB

Executing Formal Semantics with the K Tool 
David Lazar, Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu and Grigore Rosu
FM'12, LNCS 7436, pp 267-271. 2012
PDF, Slides(PDF), FM'12, DBLP, BIB

Personal tools
Namespaces

Variants
Actions
Navigation