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


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


SisInf Lab - Information Systems Laboratory

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