S. Perathoner. Modular Performance Analysis of Embedded Real-Time Systems: Improving Modeling Scope and Accuracy. ISBN 978-3-8440-0229-4, Shaker Verlag, July, 2011
Supervisor: Prof. Dr. Lothar Thiele

K. Lampka, S. Perathoner, L. Thiele. Analytic Real-Time Analysis and Timed Automata: A Hybrid Methodology for the Performance Analysis of Embedded Real-Time Systems. In Design Automation for Embedded Systems, Springer Science+Business Media, Vol. 14, No. 3, pages 193-227, September, 2010

S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker, R. Henia, R. Racu, R. Ernst, M. González Harbour. Influence of Different Abstractions on the Performance Analysis of Distributed Hard Real-Time Systems. In Design Automation for Embedded Systems, Springer Science+Business Media, Vol. 13, No. 1-2, pages 27-49, June, 2009

S. Perathoner, K. Lampka, L. Thiele. Composing Heterogeneous Components for System-wide Performance Analysis. In Proceedings of Design, Automation and Test in Europe (DATE), pages 1-6, Grenoble, France, March 2011 (invited paper).

S. Perathoner, J.-J. Chen, K. Lampka, N. Stoimenov, L. Thiele. Combining Optimistic and Pessimistic DVS Scheduling: An Adaptive Scheme and Analysis. In Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pages 131-138, San Jose, California, USA, November 2010.

S. Perathoner, J.-J. Chen, L. Thiele. Energy-Efficient Static Priority and Speed Assignment for Real-Time Tasks with Non-Deterministic Release Times. In Proceedings of 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) , pages 173-182, Macau SAR, China, August 2010.

S. Perathoner, T. Rein, L. Thiele, K. Lampka, J. Rox. Modeling Structured Event Streams in System Level Performance Analysis. In Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pages 37-46, Stockholm, Sweden,
April 2010.

K. Lampka, S. Perathoner, L. Thiele. Analytic Real-Time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-Time Systems. In Proceedings of 9th ACM International Conference on Embedded Software (EMSOFT), pages 107-116, Grenoble, France, October 2009.
ACM SigBed EMSOFT Best paper award.

N. Stoimenov, S. Perathoner, L. Thiele. Reliable Mode Changes in Real-Time Systems with Fixed Priority or EDF Scheduling. In Proceedings of Design, Automation and Test in Europe (DATE), pages 99-104, Nice, France, April 2009.

B. Jonsson, S. Perathoner, L. Thiele, W. Yi. Cyclic Dependencies in Modular Performance Analysis. In Proceedings of 8th ACM International Conference on Embedded Software (EMSOFT), pages 179-188, Atlanta, Georgia, USA, October 2008.

S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker, R. Henia, R. Racu, R. Ernst, M. González Harbour. Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems. In Proceedings of 7th ACM & IEEE International Conference on Embedded Software (EMSOFT), pages 193-202, Salzburg, Austria, October 2007.

L. Thiele, S. Perathoner. Performance Prediction of Distributed Platforms. In Model-Based Design of Heterogeneous Embedded Systems, Gabriela Nicolescu and Pieter J Mosterman, Editors, Chapter 1, pp. 3-25, CRC Press, November 2009.

S. Perathoner, T. Rein, L. Thiele, K. Lampka. FIFO Scheduling and Event Count Curves for Modeling Structured Event Streams in Modular Performance Analysis. TIK Report Nr. 312, Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland, October, 2009.

S. Perathoner, N. Stoimenov, L. Thiele. Reliable Mode Changes in Real-Time Systems with Fixed Priority or EDF Scheduling. TIK Report Nr. 292, Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland, September, 2008.

S. Perathoner, E. Wandeler, L. Thiele. Evaluation and Comparison of Performance Analysis Methods for Distributed Embedded Systems. TIK Report Nr. 276, Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland, March, 2006.

S. Perathoner, E. Wandeler, L. Thiele. Timed Automata Templates for Distributed Embedded System Architectures. TIK Report Nr. 233, Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland, November, 2005.

S. Perathoner. Evaluation and Comparison of Performance Analysis Methods for Distributed Embedded Systems. Master's thesis
Supervisors: Dr. E. Wandeler and Prof. L. Thiele, Computer Engineering and Networks Laboratory, ETH Zurich and Prof. W. Fornaciari, Dipartimento di Elettronica e Informazione, Politecnico di Milano. April, 2006.

S. Perathoner. Sviluppo della specifica formale di un sistema di ascensori mediante la logica temporale TRIO (Formal specification of an elevator system with the temporal logic language TRIO) Bachelor's thesis
Supervisors: Dr. M. Rossi and Prof. D. Mandrioli, Dipartimento di Elettronica e Informazione, Politecnico di Milano. October, 2003.

[08.11.2010] Combining Optimistic and Pessimistic DVS Scheduling: An Adaptive Scheme and Analysis.
IEEE/ACM International Conference on Computer-Aided Design (ICCAD) , San Jose, California, USA.

[24.08.2010] Energy-Efficient Static Priority and Speed Assignment for Real-Time Tasks with Non-Deterministic Release Times.
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Macau SAR, China.

[13.04.2010] Modeling Structured Event Streams in System Level Performance Analysis.
ACM SIGPLAN/SIGBED International Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Stockholm, Sweden.

[09.07.2009] Analysis of EADS Case Study: Distributed Heterogeneous Communication System. COMBEST Technical Meeting, EADS Innovation Works, Ottobrunn, Germany.

[26.06.2009] Analytic Real-Time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-Time Systems. Artist-Design Cluster Meeting (Hardware Platforms), Haus der Wissenschaft, Braunschweig, Germany.

[24.06.2009] Analytic Real-Time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-Time Systems. TEC Groupmeeting, ETH Zurich, Switzerland.

[13.01.2009] Reliable Mode Changes in Real-Time Systems with Fixed Priority or EDF Scheduling. TEC Groupmeeting, ETH Zurich, Switzerland.

[21.10.2008] Cyclic Dependencies in Modular Performance Analysis.
International Conference on Embedded Software (EMSOFT), Atlanta, Georgia, USA.

[24.06.2008] Cyclic Dependencies in Modular Performance Analysis.
TEC Groupmeeting, ETH Zurich, Switzerland.

[11.12.2007] Modeling Earliest Deadline First (EDF) Scheduling with Real-Time Calculus.
TEC Groupmeeting, ETH Zurich, Switzerland.

[02.10.2007] Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems. Internatinal Conference on Embedded Software (EMSOFT), Salzburg, Austria.

[11.06.2007] Modular Performance Analysis with Real-Time Calculus. Lecture at ARTIST2 PhD Course on Automated Formal Methods for Embedded Systems, DTU, Lyngby, Denmark.

[14.05.2007] Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems. ARTIST2 Cluster Meeting, Linköping, Sweden.

[24.04.2007] Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems. TEC Groupmeeting, ETH Zurich, Switzerland.

[29.03.2007] Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems. TRESOR Seminar, EPFL Lausanne, Switzerland.