Menu

Marcello Bonsangue

Member Status: Collaborator

Institution: Leiden Institute of Advanced Computer Science (LIACS)
Centre for Mathematics and Computer Science (CWI)

E-mail: marcello@liacs.nl

Publications

2015

Model checking recursive programs interacting via the heap

Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu

Elsevier BIB

2013

Automatic equivalence proofs for non-deterministic coalgebras

Jan Rutten and Alexandra Silva and Marcello Bonsangue and Georgiana Caltais and Eugen Goriac and Dorel Lucanu

SCP BIB

2012

Interacting via the Heap in the Presence of Recursion

Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu

ICE2012 BIB

Bounded Model Checking of Recursive Programs with Pointers in K

Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu

WADT2012 BIB

2011

A decision procedure for bisimilarity of generalized regular expressions

Jan Rutten and Alexandra Silva and Marcello Bonsangue and Georgiana Caltais and Eugen Goriac and Dorel Lucanu

SBMF 2010 BIB

Sidebar