@PhdThesis{Meu-thesis08,
  author = 	 {C\'{e}dric Meuter},
  title = 	 {Development and Validation of Distributed Reactive Control Systems},
  school = 	 {{U}niversit\'e {L}ibre de {B}ruxelles},
  year = 	 {2008},
}

@Article{MMV-ipl08,
  author = 	 {Thierry Massart and Laurent Van~Begin and C\'{e}dric Meuter},
  title = 	 {On the Complexity of Partial Order Trace Model Checking},
  journal = 	 {Information Processing Letters},
  year = 	 {2008},
  volume = 	 { 106 },
  number = 	 { 3 },
  pages = 	 { 120--126 },
  month = 	 { April }
}

@InProceedings{KMMV-forte07,
  author = 	 {Gabriel Kalyon and Thierry Massart and C{\'}edric Meuter and Laurent {Van Begin}},
  title = 	 {Testing Distributed Systems through Symbolic Model Checking},
  booktitle =    {Proceedings of FORTE'07, 27th International Conference on Formal Methods for Networked and Distributed Systems, Tallin (Estonia)},
  year =         {2007}, 
  volume =       {4574},
  series =       {{L}ecture {N}otes in {C}omputer {S}cience},
  publisher =    {{S}pringer-{V}erlag},
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/kmmv-forte07.pdf}
}

@TechReport{GMV-techrep07,
  author =       {Pierre Ganty and C\'{e}dric Meuter and Giorgio Delzanno and Gabriel Kalyon and Jean-Fran\c{c}ois Raskin and Laurent {\uppercase{v}an} Begin},
  title =        {Symbolic Data Structure for Sets of $k$-uples},
  institution =  {{U}niversit\'e {L}ibre de {B}ruxelles},
  year =         {2007}
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/GMV-techrep07.pdf}
}

@TechReport{MM-techrep06,
  author = 	 {Thierry Massart and C{\'e}dric Meuter},
  title = 	 {Efficient online monitoring of LTL properties for asynchronous distributed systems},
  institution =  {{U}niversit\'e {L}ibre de {B}ruxelles},
  year = 	 {2006},
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/mm-techrep06.pdf}
}

@InProceedings{GMM-fm06,
  author = 	 {Alexandre Genon and Thierry Massart and C{\'}edric Meuter},
  title = 	 {Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model check traces},
  booktitle =    {Proceedings of FM'06, 14th International Symposium on Formal Methods, Hamilton (Canada)},
  year =         {2006}, 
  volume =       {4085},
  series =       {{L}ecture {N}otes in {C}omputer {S}cience},
  publisher =    {{S}pringer-{V}erlag},
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/gmm-fm06.pdf}
}

@Article{DGMM-fac05,
  author = 	 {Bram {De~Wachter} and Alexandre Genon and Thierry Massart and  C{\'e}dric Meuter},
  title = 	 {The formal design of distributed controllers with dSL and Spin},
  journal = 	 {Formal Aspects of Computing (FAC)},
  volume =       {17},
  number =       {2},
  year =         {2005},
  pages =        {177-200},
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/dgmm-fac05.pdf}
}

@InProceedings{DMM-opodis03,
  author =       {Bram {De~Wachter} and Thierry Massart and  C{\'e}dric Meuter},
  title =        {d{S}{L}: {A}n {E}nvironment with {A}utomatic {C}ode {D}istribution for {I}ndustrial {C}ontrol {S}ystems},
  booktitle =    {Proceedings of OPODIS'03, 7th Interantional Conference On Principles of Distributed Systems, La Martinique (France)},
  year =         {2003}, 
  volume =       {3144},
  series =       {{L}ecture {N}otes in {C}omputer {S}cience},
  publisher =    {{S}pringer-{V}erlag},
  pages =        {132-145},
  editor =       {{M}arina {P}apatriantafilou and {P}hilippe {H}unel},
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/dmm-opodis03.pdf}
}

@InProceedings{DMM-avocs03,
  author = 	 {Bram {De~Wachter} and Thierry Massart and  C{\'e}dric Meuter},
  title = 	 {An experiment on synthesis and verification of an industrial process control in the d{S}{L} environnment},
  booktitle =    {3rd Internaltional Workshop on Automated Verification of Critical Systems (AVoCS'03), Southampton (UK)},
  year = 	 {2003},
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/dmm-avocs03.pdf}
}

@TechReport{Meu-dea03,
  author =       {C{\'e}dric Meuter},
  title =        {{D}istribution of reactive systems},
  institution =  {{U}niversit\'e {L}ibre de {B}ruxelles},
  year =         {2003},
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/meu-dea03.pdf}
}

@MastersThesis{Meu-master02,
  author =       {C\'edric Meuter},
  title =        {{C}ompilation et {R}épartition de programme {E}lectre pour {L}ego {M}instorm(tm)},
  institution =  {{U}niversit\'e {L}ibre de {B}ruxelles},
  year =         {2002},
  url =          {http://www.ulb.ac.be/di/ssd/cmeuter/documents/meu-master02.pdf}
}