Sergio Feo-Arenis
 |
Sergio Feo-Arenis
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-021 |
Research Interests
Embedded Systems Verification, Verification of Time-Triggered Protocols, Real-Time Systems, Program Verification, Program Static Analysis.
Projects
Publications
- Feo-Arenis, S. and Westphal, B. Formal Verification of a Parameterizad Data Aggregation Protocol. NASA Formal Methods 2013.
- Feo-Arenis, S. and Westphal, B. Parameterized Verification of Track Topology Aggregation Protocols. FORTE/FMOODS 2013
Consultation Hours
Please contact me to make an appointment.
Student Projects and Theses
If you have an interesting topic and search for an advisor, feel free to ask me.