Marco Carloni

According to our database, Marco Carloni authored at least 6 papers between 2006 and 2020.

Collaborative distances:

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

2020

Wireless Channel Modeling Analysis and Evaluation for Single Pilot Operation.

Marco Carloni, Luca Manica

Proceedings of the icWCSN 2020: International Conference on Wireless Communication and Sensor Networks, 2020

2015

Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.

Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.

Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi

Proceedings of the Computer Safety, Reliability, and Security, 2014

2012

Scalable virtual prototyping of distributed embedded control in a modern elevator system.

Alberto Ferrari, Marco Carloni, Alessandro Mignogna, Francesco Menichelli, David Ginsberg, Eelco Scholte, Dang Nguyen

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

2008

A Layered Approach to Modelling and Design of Cross-Layer Protocols in Ad-Hoc Wireless Networks.

Massimiliano D'Angelo, Marco Carloni, Alberto Ferrari, Fortunato Santucci

Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

2006

Design methodology for wireless sensor networks.

Marco Carloni

PhD thesis, 2006