Massimo Sciancalepore

According to our database, Massimo Sciancalepore authored at least 3 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Formal Verification of the On-the-Fly Vehicle Platooning Protocol.

Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

2015

AC-Contract: Run-Time Verification of Context-Aware Applications.

Marina Mongiello, Patrizio Pelliccione, Massimo Sciancalepore

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Adaptive Architectural Model for Future Internet Applications.

Marina Mongiello, Luigi Alfredo Grieco, Massimo Sciancalepore, Elvis Vogli

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015