FMSE
Formal
Methods in
Software Engineering
Members Dorel Lucanu Anonymous  Login

Profile Dorel Lucanu - Permanents

Dorel Lucanu
Institution:"Alexandru Ioan Cuza" University
E-mail:
Web:http://fmse.info.uaic.ro/member/2/
Address:Faculty of Computer Science, Alexandru Ioan Cuza University, Berthelot 16, 700483 Iasi, Romania
Phone:+40 (232)201551
Fax:+40 (232)201490

Scientific interest:

 

Formal methods, programming languages, software engineering, logics, rewriting, P systems, semantic web.

Profesional activities:

Open PhD Position

The interested candidates can directly contact me by email. 

 

CNCSIS expert
Vice-dean of the Faculty of Computer Science (2000 - 2008)
Director of the Master Programme in Software Engineering
Director of Comp. Sci. Department (2008-present)

CV

Events

CSCS 21, CALCO 2017, SYNASC 2017, FROM 2017
WRLA 2016, SYNASC 2016
CSCS20, SVM2015, SYNASC2015
WRLA 2014, SYNASC 2014
CALCO 2013, WRS 2013, SYNASC 2013, CSCS 2013, PAS 2013
FMOODS-FORTE 2012, WRLA 2012, CMCS 2012, SSLF 2012
CALCO-Tools 2011, FoVeOOS 2011, K11. SYNASC 2011
FoVeOOS 2010, WRLA 2010, SYNASC 2010, K10
SYNASC 2009
SYNASC 2008
SYNASC 2007
SYNASC 2006,
SYNASC 2005,  WLFM 2005,
CITTI 2000
WDS 1999

NEWS
New publication : Model checking recursive programs interacting via ... - 01 feb 2015

Almost all modern imperative programming languages include operations for dynamically manipulating the heap, for example by allocating and deallocating objects, and by updating reference fields. In the presence of recursive ... (more)


New publication : K-Java: A Complete Semantics of Java - 10 sep 2014

This paper presents K-Java, a complete executable formal semantics of Java 1.4.
K-Java was extensively tested with a test suite developed alongside the project, following the Test Driven Development methodology.
more)


New publication : K-Java: A Complete Semantics of Java - 09 jul 2014

This paper presents K-Java, a complete executable formal semantics of Java 1.4.
K-Java was extensively tested with a test suite developed alongside the project, following the Test Driven Development methodology.
more)


New publication : Engineering Hoare Logic-based Program Verification in ... - 30 oct 2013

We propose a language-independent symbolic execution framework for languages endowed with a formal operational semantics based on term rewriting. Starting from a given definition of a language, a new language ... (more)


New talk: PAS 2013 - 20 oct 2013

Dorel lucanu will give a talk at PAS 2013.

(more)

     Archive

@FMSE 2010-2011