Publications

since 2001

Publications in 2016

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

Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016 - 2016


Runtime Architectural Modeling for Future Internet Applications. main_springer.pdf

Marina Mongiello, Simona Colucci, Elvis Vogli, L. Alfredo Grieco, Massimo Sciancalepore
Complex and Intelligent Systems, Volume 2, Number 2, page 111-124 - June 2016


Publications in 2015

AC-contract: Run-time verification of context-aware applications.

Marina Mongiello, Patrizio Pelliccione, Massimo Sciancalepore
10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Seams 2015 - 2015


Adaptive architectural model for Future internet applications.

Marina Mongiello, L. Alfredo Grieco, Massimo Sciancalepore, Elvis Vogli
5th International Workshop on Adaptive services for future internet - 2015


SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy