Massimo Sciancalepore

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 1

Top Topics

Context Aware Systems

Formal Verification

Architectural Model

Coloured Petri Nets

Top Venues

ESOCC Workshops

Publications

Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione
Formal Verification of the On-the-Fly Vehicle Platooning Protocol. SERENE (2016)
Marina Mongiello, Luigi Alfredo Grieco, Massimo Sciancalepore, Elvis Vogli
Adaptive Architectural Model for Future Internet Applications. ESOCC Workshops (2015)
Marina Mongiello, Patrizio Pelliccione, Massimo Sciancalepore
AC-Contract: Run-Time Verification of Context-Aware Applications. SEAMS@ICSE (2015)