service.tex

\bigskip
\section{\sc Professional Activities}

\textbf{Program Committee Member}
\begin{itemize}
  \item 9th NASA Formal Methods Symposium, 2017 
  \item 13th International Colloquium on Theoretical Aspects of Computing, 2016
  \item 28th Symposium on Applied Computing, 2013
  \item 25th International Conference on Testing Software and Systems, 2013 
  \item 1st International Symposium on Foundations of Health Information Engineering and Systems, 2011   
\end{itemize}

\textbf{Organization}
\begin{itemize}
  \item General Chair for 7th Working Conference on Verified Software: Theories, Tools, and Experiments
San Francisco, California, USA
\end{itemize}

\textbf{Refereed for}
\begin{itemize}
  \item International Symposium on Formal Aspects of Component Software (FACS), 2011  
  \item International Symposium on Formal Methods (FM), 2012, 2010
  \item International Conference on Formal Engineering Methods (ICFEM) 2013, 2012, 2010
  \item International Colloquium on Theoretical Aspects of Computing (ICTAC), 2012
  \item International Symposium on Object/component/service-oriented real-time distributed computing (ISORC), 2012  
  \item International Conference on Software Engineering and Formal Methods (SEFM), 2013
  \item International Workshop on Harnessing Theories for Tool Support in Software (TTSS), 2011  
  \item Working Conference on Verified Software: Theories, Tools, and
  Experiments (VSTTE), 2014
  \item Formal Methods in Computer-Aided Design (FMCAD), 2014
  \item Haifa Verification Conference (HVC), 2014
  \item IEEE Transactions on Software Engineering (TSE-2014-11-0315),2014
  \item 27th International Conference on Computer Aided Verification, 2015
\end{itemize}

\bigskip