Gideon Smeding

According to our database, Gideon Smeding authored at least 3 papers between 2006 and 2013.

Collaborative distances:

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

2013

Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems. (Vérification de propriétés faiblement dures des systèmes quasi-synchrones).

Gideon Smeding

PhD thesis, 2013

2012

A correlation preserving performance analysis for stream processing systems.

Gideon Smeding, Gregor Gößler

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

2006

Generating generic functions.

Johan Jeuring, Alexey Rodriguez, Gideon Smeding

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006