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 Protocol4. NASA Formal Methods 2013.
- Feo-Arenis, S. and Westphal, B. Parameterized Verification of Track Topology Aggregation Protocols5. 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.