Nassim Seghir

Room 00-021, building 52 Phone +49 761 203 8245 Fax +49 761 203 8242 Mail Homepage http://www.informatik.uni-freiburg.de/~seghir/

Research Interests

Software model-checking, program analysis.

Publications

• ACSAR: Software Model Checking with Transfinite Refinement. With Andreas Podelski. In Proceedings of the 14th International Workshop on Model Checking Software, SPIN 2007.
• Integration of a Software Model Checker into Isabelle. With Matthias Daum, Stefan Maus and Norbert Schirmer. In Proceedings of the 12th International Conference on Logic for programming, Artificial Intelligence and Reasoning, LPAR 2005.
• Parallel and Hybrid Meta Heuristics for Multi-Objective Optimization
  Master's Thesis, Université des Sciences et Technologies, Lille, France, Jun 2003.

Recent Talks

• ACSAR: Software Model Checking with Transfinite Refinement. SPIN 2007, Berlin.
• Accelerating Abstraction Refinement by Summarizing Loops. Dagstuhl seminar on Software Verification: Infinite-State Model Checking and Static Program Analysis, February 06.

Software

• ACSAR - Automatic Checker for Safety properties based on Abstraction Refinement
• LotoStem - Tool for specification and verification of concurrent systems based on LOTOS.