Stefano Pepi

According to our database, Stefano Pepi authored at least 3 papers between 2015 and 2016.

Collaborative distances:

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

2016

Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System.

Stefano Pepi, Alessandro Fantechi

Proceedings of the Model-Driven Engineering and Software Development, 2016

Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems.

Alessandro Fantechi, Stefano Pepi

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2016

2015

Industrial development of a real-time operating system, using formal development and verification techniques.

Stefano Pepi

PhD thesis, 2015