Joseph Sifakis
Tel: (+33) 457 42 22 44

Abstraction Techniques
Joseph Sifakis
  • J. Sifakis - Property Preserving Homomorphisms of Transition Systems.
    Workshop on "Logic of Programs", 1983: 458-473
  • A. Bouajjani and S. Bensalem and C. Loiseaux and J. Sifakis - Property Preserving Simulations
    Workshop on Computer-Aided Verification (CAV), LNCS 630, June 1992
  • C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani and S. Bensalem Property Preserving Abstractions for the Verification of Concurrent Systems.
    Formal Methods in System Design Volume 6, Issue 1, 1995
  • A.Olivero, J.Sifakis, and S.Yovine. Using abstractions for the verification of linear hybrid systems
    In Proceedings of 6th Computer-Aided Verification, pages 81--94, California, July 1994. Lecture Notes in Computer Science 818, Springer-Verlag