Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/ArthoR17,
  author       = {Cyrille Artho and
                  Guillaume Rousset},
  editor       = {Jan Kofron and
                  Jana Tumova},
  title        = {Model-based Testing of the Java Network {API}},
  booktitle    = {Proceedings International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
                  Sweden, 22nd April 2017},
  series       = {{EPTCS}},
  volume       = {245},
  pages        = {46--51},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.245.4},
  doi          = {10.4204/EPTCS.245.4},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ArthoR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CzipoHTM17,
  author       = {Bence Czip{\'{o}} and
                  {\'{A}}kos Hajdu and
                  Tam{\'{a}}s T{\'{o}}th and
                  Istv{\'{a}}n Majzik},
  editor       = {Jan Kofron and
                  Jana Tumova},
  title        = {Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts
                  Using {SMT} Solvers},
  booktitle    = {Proceedings International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
                  Sweden, 22nd April 2017},
  series       = {{EPTCS}},
  volume       = {245},
  pages        = {31--45},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.245.3},
  doi          = {10.4204/EPTCS.245.3},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/CzipoHTM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/FaldikPFB17,
  author       = {Oldrich Faldik and
                  Richard John Payne and
                  John S. Fitzgerald and
                  Barbora Buhnova},
  editor       = {Jan Kofron and
                  Jana Tumova},
  title        = {Modelling System of Systems Interface Contract Behaviour},
  booktitle    = {Proceedings International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
                  Sweden, 22nd April 2017},
  series       = {{EPTCS}},
  volume       = {245},
  pages        = {1--15},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.245.1},
  doi          = {10.4204/EPTCS.245.1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FaldikPFB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Hufflen17,
  author       = {Jean{-}Michel Hufflen},
  editor       = {Jan Kofron and
                  Jana Tumova},
  title        = {Checking Properties along Multiple Reconfiguration Paths for Component-Based
                  Systems},
  booktitle    = {Proceedings International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
                  Sweden, 22nd April 2017},
  series       = {{EPTCS}},
  volume       = {245},
  pages        = {52--66},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.245.5},
  doi          = {10.4204/EPTCS.245.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Hufflen17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MarmsolerD17,
  author       = {Diego Marmsoler and
                  Silvio Degenhardt},
  editor       = {Jan Kofron and
                  Jana Tumova},
  title        = {Verifying Patterns of Dynamic Architectures using Model Checking},
  booktitle    = {Proceedings International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
                  Sweden, 22nd April 2017},
  series       = {{EPTCS}},
  volume       = {245},
  pages        = {16--30},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.245.2},
  doi          = {10.4204/EPTCS.245.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MarmsolerD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/KofronT17,
  editor       = {Jan Kofron and
                  Jana Tumova},
  title        = {Proceedings International Workshop on Formal Engineering approaches
                  to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala,
                  Sweden, 22nd April 2017},
  series       = {{EPTCS}},
  volume       = {245},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.245},
  doi          = {10.4204/EPTCS.245},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KofronT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}