• 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

2019

ECOOP

  • Author of RML: Runtime Monitoring Language within the Posters-track

VORTEX

  • Presenter of RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification within the VORTEX 2019-track

‹Programming›

  • 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

2018

FTfJP

  • Author of A Formalism for Specification of Java API Interfaces within the FTfJP-track

‹Programming›

  • Author of Runtime Verification of Flow-Based Programming for the Internet of Things within the Posters-track

2017

FTfJP

  • Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track
Share
xWed 21 May 19:38
using conf.researchr.org (v1.69.0)
Support page
Sign Up