selected publications

• chapter

  • Static Analysis of Run-Time Modes in Synchronous Process Network.  Springer eBooks. 55-67. 2012

• conference paper

  • Static run-time mode extraction by state partitioning in synchronous process networks.  . 2011