Marco Carloni

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 1

Top Topics

Wireless Channels

Data Acquisition

Top Venues

SAFECOMP Workshops

Publications

Marco Carloni, Luca Manica
Wireless Channel Modeling Analysis and Evaluation for Single Pilot Operation. icWCSN (2020)
Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. SAFECOMP Workshops (2015)
Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. SAFECOMP Workshops (2014)
Alberto Ferrari, Marco Carloni, Alessandro Mignogna, Francesco Menichelli, David Ginsberg, Eelco Scholte, Dang Nguyen
Scalable virtual prototyping of distributed embedded control in a modern elevator system. SIES (2012)
Massimiliano D'Angelo, Marco Carloni, Alberto Ferrari, Fortunato Santucci
A Layered Approach to Modelling and Design of Cross-Layer Protocols in Ad-Hoc Wireless Networks. WCNC (2008)