Joseph Sifakis

Joseph.Sifakis@imag.fr
Tel: (+33) 456 52 03 51

Photo
 
Verification of Transition Systems and Model-checking
Joseph Sifakis
  • J. Sifakis - Deadlocks and Livelocks in Transition Systems
    8th MFCS, LNCS 88, Springer Verlag, Sept. 1980, pp. 587 - 600
  • J-P. Queille and J. Sifakis - Specification and Verification of Concurrent Systems in CESAR International Symposium on Programming,
    LNCS 137, 1982, pp 337 - 351
  • Jean-Pierre Queille and Joseph Sifakis - A Temporal Logic to Deal with Fairness in Transition Systems, FOCS 1982: 217-225
  • J. Sifakis - A unified approach for studying the properties of transition systems, Theoretical Computer Science, Vol. 18, 1982
  • J. Sifakis - Global and local invariants in transition systems Information and Control,
    Vol. 53, 1/2, 1982
  • J.C. Fernandez and J.P. Schwartz and J. Sifakis - An Example of Specification and Verification in Cesar Workshop on analysis of concurrent systems,
    Cambridge, 1983, LNCS 207, Springer Verlag
  • J-P. Queille and J. Sifakis - Fairness and Related Properties in Transition Systems, Acta Informatica, Vol.19, 1983, pp. 195-220
  • J. Sifakis - Property preserving homomorphisms of transition systems,
    4th Workshop on Logics of Programs, Pittsburgh, LNCS 164, June 1983
  • J. Sifakis - A Response to Amir Pnueli's "Specification and Development of Reactive Systems''
    IFIP Intl. Congress, invited talk, 1986, pp. 1183-1187
  • J.L. Richier and C Rodriguez and J. Sifakis and J. Voiron - Xesar User's Guide
    Techreport C-6 IMAG/LGI, Sept. 1987
  • J.L. Richier and J. Sifakis and J. Voiron - Verification in Xesar of the Sliding Window Protocol
    Int. Symp. Protocol Specification Testing and Validation, Zurich, May, 1987
  • H. Garavel and J. Sifakis - Compilation and Verification of LOTOS Specifications
    Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (PSTV), Ottawa, IFIP, 1990
  • J. Sifakis - Property preserving homomorphisms of transition systems
    4th Workshop on Logics of Programs, Pittsburgh, LNCS 164, June 1983
  • J.Cl. Fernandez and H. Garavel and L. Mounier and A. Rasse and C. Rodriguez and J. Sifakis - A Tool Box for the Verification of Lotos Programs,
    14th International Conference on software Engineering, Melbourne, May 1992