Luca Franceschini -

Registered user since Fri 26 May 2017

Name:Luca Franceschini

Country:Italy

Affiliation:DIBRIS, University of Genova, Italy

Personal website:http://www.dibris.unige.it/en/franceschini-luca

Research interests:Programming languages, runtime verification, coinduction, logic programming, type systems

Contributions

VORTEX 2019	Presenter of RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification within the VORTEX 2019-track
ECOOP 2019	Author of RML: Runtime Monitoring Language within the Posters-track
‹Programming› 2019	Student Volunteer Co-Chair in Organizing committee within the Student Volunteers-track Author of RML: Runtime monitoring language within the Student Research Competition-track Student Volunteers Co-Chair in Organizing Committee Author of RML: Runtime monitoring language (short presentation) within the Student Research Competition-track
FTfJP 2018	Author of A Formalism for Specification of Java API Interfaces within the FTfJP-track
‹Programming› 2018	Author of Runtime Verification of Flow-Based Programming for the Internet of Things within the Posters-track
FTfJP 2017	Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track