Journals      Books      Conferences      Research Reports      ISO Reports      Thesis

Journals

  • Formal modelling of list based dynamic memory allocators. Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, and Lei Qiao //SCIENCE CHINA Information Sciences 61(12): 122103:1--122103:16 (2018).
  • Compositional Entailment Checking for a Fragment of Separation Logic. Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, and Tomas Vojnar. //Formal Methods in System Design 51(3): 575-607 (2017)//.
  • Report on SL-COMP 2014 Mihaela Sighireanu and David R. Cok. //JSAT 9: 173-186 (2014)//.
  • A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes'. Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu.Logical Methods in Computer Science 5(2): (2009)''. ]
  • Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. R. Mateescu and M. Sighireanu, Science of Computer Programming 46(3):255-281, March 2003.
  • Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus ("FireWire"): an Experiment with E-LOTOS.

M. Sighireanu and R. Mateescu, Springer International Journal on Software Tools for Technology Transfer (STTT), 2(1):68-88, 1998.

Chapters

  • Introduction à E-LOTOS. G. Leduc, A. Jeffrey, and M. Sighireanu, Chapitre 6 in Ingenierie des protocoles et qualite de service, A. Cavalli editor, Hermes, collection IC2, pages 213-253, 2001.
  • ELOTOS: (Enhanced) Language Of Temporal Ordering Specification]]. K.J. Turner and M. Sighireanu, Chapter 10 in //Software Specification Methods//, M. Frappier and H. Habrias editors, //Springer-Verlag, pages 166-190, 2001.// (Also published by Hermes and Lavoisier in 2006.)

Research Reports