\documentclass[english]{lsbamsbook}
%\documentclass[portuges,a4paper]{book}
%\usepackage{actassv}
\usepackage{lsbactassv}
\usepackage{babel}

\usepackage{longtable}
\usepackage{multicol}
\usepackage{xtab}


\def\infdez{\textsf{FACS 2010}}

%\allowdisplaybreaks[3]

\begin{document}
\conf[\textsf{FACS 2010} - 7th Inter. Workshop on Formal
Aspects of Component Software\\   Markus Lumpe, Luís S. Barbosa
(Eds.), October 14-16, 2010 - Guimar\~{a}es\\ Portugal]{\textsf{FACS 2010}}
\frontmatter
\pagestyle{empty}

\mytitle{\textbf{\textsf{FACS 2010}} \\ ~\\ {\Huge 7th International Workshop on \\ Formal
Aspects of Component Software}\\~\\ {\Large \textbf{Universidade do Minho, October 14-16, 2010}}}{ ~\\ \Large 
\textbf{Report DI-CCTC-10-14} \\ ~\\
\textbf{Markus Lumpe, Luís S. Barbosa (Eds.)}}{Universidade do Minho \\ 
October 14-16, 2010}



   \fancyfoot[LE]{\thepage \ \ FACS 2010}
           \fancyfoot[RO]{FACS2010 \ \ \thepage}

           \fancyhead{}      %% apagar os headers
           \fancyfoot[RE]{}  %%  right even vazio
           \fancyfoot[LO]{}  %%  left odd vazio
           \fancyfoot[C]{}   %%  centro vazio

%\parskip 1pt
\tableofcontents


\newpage

\input{FACSpreface.tex}

\chapter*{\textbf{Regular Papers}}


\article[QoS Contract-Aware Reconfiguration ...]{QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs}{Gabriel Tamura, Rubby Casallas, Anthony Cleve and Laurence Duchien}{./RegularPapers/1_1.pdf}

\article[Graph Representation of Sessions and Pipelines ...]{Graph Representation of Sessions and Pipelines for Structured Service Programming}{Roberto Bruni, Zhiming Liu and Liang Zhao}{./RegularPapers/2_35.pdf}

\article[Aspect Weaving in UML Activity Diagrams ...]{Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework}{D. Mouheb, D. Alhadidi, M. Nouh, M. Debbabi, L. Wang and M. Pourzandi}{./RegularPapers/3_17.pdf}

\article[Systems-Theoretic View of ...]{Systems-Theoretic View of Component-Based Software Development}{Daniel C\^{o}t\'{e}, Michel Embe Jiague, and Richard St-Denis}{./RegularPapers/4_13.pdf}




\article[Monitoring Method Call Sequences ...]{Monitoring Method Call Sequences using Annotations}{B. Nobakht, M.M. Bonsangue, F.S. de Boer and S. de Gouw}{./RegularPapers/5_23.pdf}

\article[Distributed Adaption of Dining Philosophers]{Distributed Adaption of Dining Philosophers}{S. Andova, L.P.J. Groenewegen and E.P. de Vink}{./RegularPapers/6_10.pdf}

\article[Using Temporal Logic for ...]{Using Temporal Logic for Dynamic Reconfigurations of Components}{Julien Dormoy, Olga Kouchnarenko and Arnaud Lanoix}{./RegularPapers/7_23.pdf}

\article[A Separation Logic for OO programs]{A Separation Logic for OO programs}{Yijing Liu and Qiu Zongyan}{./RegularPapers/8_6.pdf}

\article[An Introduction to Pervasive Interface Automata]{An Introduction to Pervasive Interface Automata}{M. Calder, P. Gray, A. Miller, and C. Unsworth}{./RegularPapers/9_4.pdf}

\article[Synthesis of Reo Circuits ...]{Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata}{Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, and Marcello M. Bonsangue}{./RegularPapers/10_28.pdf}

\article[Model Checking Adaptive ...]{Model Checking Adaptive Multilevel Service Compositions}{Sabina Rossi}{./RegularPapers/11_9.pdf}

\article[Component Service Promotion ...]{Component Service Promotion: Contracts, Mechanisms and Safety}{Pascal Andr\'{e}, Gilles Ardourel and Mohamed Messabihi}{./RegularPapers/12_12.pdf}

\article[Modular Termination Analysis ...]{Modular Termination Analysis of Java Bytecode and its Application to phoneME Core Libraries}{D. Ramirez-Deantes, J. Correas, and G. Puebla}{./RegularPapers/13_27.pdf}


\chapter*{\textbf{Doctoral Track}}

\article[Composability and Adaptability on a Time- and Space-Partitioned  ...]{Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software}{Jo\~{a}o Craveiro and Jos\'{e} Rufino}{./DoctoralTrack/DT1_38.pdf}


\article[Performance verification in complex  ...]{Performance verification in complex enterprise-level component systems}{Ludwig Adam}{./DoctoralTrack/DT2_39.pdf}

\article[ A Formal Study of Software Component  ...]{A Formal Study of Software Component Upgrade Problems}{Jaap Boender}{./DoctoralTrack/DT3_40.pdf}


\article[Runtime Programming ...]{Runtime Programming through Model-Preserving, Scalable Runtime Patches}{Eduardo R. B. Marques, Christoph M. Kirsch, Luis Lopes, and Ana Sokolova}{./DoctoralTrack/DT4_41.pdf}

\article[A Calculus for Component Evolvability]{A Calculus for Component Evolvability}{Mario Bravetti, Cinzia Di Giusto, Jorge A. P\'{e}rez, and Gianluigi Zavattaro}{./DoctoralTrack/DT5_42.pdf}

\article[Matrices As Arrows]{Matrices As Arrows}{Hugo Daniel Macedo and Jos\'{e} Nuno Oliveira}{./DoctoralTrack/DT6_43.pdf}


\end{document}

