• Sign in
  • Sign up
conf.researchr.org / Luca Franceschini
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2018 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • ‹Programming› 2018 profile
  • ‹Programming› 2019 profile
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

ECOOP 2019 Author of RML: Runtime Monitoring Language within the Posters-track
VORTEX 2019 Presenter of RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification within the VORTEX 2019-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

Share
xSun 4 Jun 03:10
using conf.researchr.org (v1.60.0)
Support page
Sign Up