% This file was created with JabRef 2.10.
% Encoding: UTF-8


@InProceedings{Du2016,
  Title                    = {{MARTE/pCCSL}: Modeling and Refining Stochastic Behaviors of {CPSs} with Probabilistic Logical Clocks},
  Author                   = {Dehui Du and Ping Huang and Fr{\'{e}}d{\'{e}}ric Mallet and Mingrui Yang and Kaiqiang Jiang},
  Booktitle                = {FACS'16},
  Year                     = {2016},
  Pages                    = {111--133},
  Publisher                = {Springer},
  Month = {10},
  Comment = {Best Paper Award},
  Crossref                 = {DBLP:conf/facs2/2016},
  Doi                      = {10.1007/978-3-319-57666-4_8},
  Owner                    = {fmallet},
  Timestamp                = {2016.11.17},
  Url                      = {https://doi.org/10.1007/978-3-319-57666-4_8}
}

@InProceedings{KhanMR16,
  Title                    = {Natural interpretation of {UML/MARTE} diagrams for system requirements
 specification},
  Author                   = {Aamir M. Khan and
 Fr{\'{e}}d{\'{e}}ric Mallet and
 Muhammad Rashid},
  Booktitle                = {{SIES'16}},
  Year                     = {2016},
  Pages                    = {193--198},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/sies/KhanMR16},
  Crossref                 = {DBLP:conf/sies/2016},
  Doi                      = {10.1109/SIES.2016.7509429},
  Timestamp                = {Tue, 19 Jul 2016 10:22:10 +0200},
  Url                      = {http://dx.doi.org/10.1109/SIES.2016.7509429}
}

@InProceedings{DBLP:conf/fdl/YueJM16,
  Title                    = {Flexible runtime verification based on logical clock constraints},
  Author                   = {Daian Yue and
 Vania Joloboff and
 Fr{\'{e}}d{\'{e}}ric Mallet},
  Booktitle                = {{FDL'16}},
  Year                     = {2016},
  Pages                    = {1--8},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/fdl/YueJM16},
  Crossref                 = {DBLP:conf/fdl/2016},
  Month                    = {9},
  Date                     = {September 14-16},
  Doi                      = {10.1109/FDL.2016.7880366},
  Location                 = {Bremen, Germany},
  Timestamp                = {Thu, 15 Jun 2017 21:45:32 +0200},
  Url                      = {https://doi.org/10.1109/FDL.2016.7880366}
}

@InProceedings{ZhangMZ16,
  Title                    = {An SMT-Based Approach to the Formal Analysis of {MARTE/CCSL}},
  Author                   = {Min Zhang and
 Fr{\'{e}}d{\'{e}}ric Mallet and
 Huibiao Zhu},
  Booktitle                = {{ICFEM'16}},
  Year                     = {2016},
  Publisher                = {Springer},
  Pages                    = {433--449},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/icfem/ZhangMZ16},
  Crossref                 = {DBLP:conf/icfem/2016},
  Doi                      = {10.1007/978-3-319-47846-3_27},
  Timestamp                = {Mon, 31 Oct 2016 13:40:34 +0100},
  Url                      = {http://dx.doi.org/10.1007/978-3-319-47846-3_27}
}

@Proceedings{DBLP:conf/fdl/2016,
  Title                    = {2016 Forum on Specification and Design Languages, {FDL}},
  Year                     = {2016},
  Editor                   = {Rolf Drechsler and
 Robert Wille},
  Publisher                = {{IEEE}},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/fdl/2016},
  Date                     = {September 14-16},
  ISBN                     = {979-10-92279-17-7},
  Location                 = {Bremen, Germany},
  Timestamp                = {Thu, 23 Mar 2017 13:39:47 +0100},
  Url                      = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7879501}
}

@Proceedings{DBLP:conf/facs2/2016,
  Title                    = {Formal Aspects of Component Software - 13th International Conference},
  Year                     = {2017},
  Editor                   = {Olga Kouchnarenko and
 Ramtin Khosravi},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {10231},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/facs2/2016},
  Date                     = {October 19-21},
  Doi                      = {10.1007/978-3-319-57666-4},
  ISBN                     = {978-3-319-57665-7},
  Location                 = {Besan{\c{c}}on, France},
  Timestamp                = {Fri, 19 May 2017 01:26:24 +0200}
}

@Proceedings{DBLP:conf/icfem/2016,
  Title                    = {Formal Methods and Software Engineering - 18th International Conference
 on Formal Engineering Methods},
  Year                     = {2016},
  Editor                   = {Kazuhiro Ogata and
 Mark Lawford and
 Shaoying Liu},
  Month                    = {11},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {10009},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2016},
  Doi                      = {10.1007/978-3-319-47846-3},
  ISBN                     = {978-3-319-47845-6},
  Location                 = {Tokyo, Japan},
  Timestamp                = {Mon, 31 Oct 2016 13:38:06 +0100},
  Url                      = {http://dx.doi.org/10.1007/978-3-319-47846-3}
}

@Proceedings{DBLP:conf/sies/2016,
  Title                    = {11th {IEEE} Symposium on Industrial Embedded Systems},
  Year                     = {2016},
  Month                    = {5},
  Publisher                = {{IEEE}},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/sies/2016},
  ISBN                     = {978-1-5090-2282-3},
  Location                 = {Krakow, Poland},
  Timestamp                = {Tue, 19 Jul 2016 10:10:54 +0200},
  Url                      = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7504669}
}