Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1207-2234,
  author       = {Simona Nica and
                  Franz Wotawa},
  editor       = {C{\'{e}}sar Andr{\'{e}}s and
                  Luis Llana},
  title        = {Using Constraints for Equivalent Mutant Detection},
  booktitle    = {Proceedings 2nd Workshop on Formal Methods in the Development of Software,
                  {WS-FMDS} 2012, Paris, France, August 28, 2012},
  series       = {{EPTCS}},
  volume       = {86},
  pages        = {1--8},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.86.1},
  doi          = {10.4204/EPTCS.86.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-2234.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-2236,
  author       = {Maria Spichkova and
                  Florian H{\"{o}}lzl and
                  David Trachtenherz},
  editor       = {C{\'{e}}sar Andr{\'{e}}s and
                  Luis Llana},
  title        = {Verified System Development with the AutoFocus Tool Chain},
  booktitle    = {Proceedings 2nd Workshop on Formal Methods in the Development of Software,
                  {WS-FMDS} 2012, Paris, France, August 28, 2012},
  series       = {{EPTCS}},
  volume       = {86},
  pages        = {17--24},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.86.3},
  doi          = {10.4204/EPTCS.86.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-2236.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-2237,
  author       = {Andreas Bollin and
                  Abdollah Tabareh},
  editor       = {C{\'{e}}sar Andr{\'{e}}s and
                  Luis Llana},
  title        = {Predictive Software Measures based on {Z} Specifications - {A} Case
                  Study},
  booktitle    = {Proceedings 2nd Workshop on Formal Methods in the Development of Software,
                  {WS-FMDS} 2012, Paris, France, August 28, 2012},
  series       = {{EPTCS}},
  volume       = {86},
  pages        = {33--40},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.86.5},
  doi          = {10.4204/EPTCS.86.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-2237.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-2462,
  author       = {Jasen Markovski},
  editor       = {C{\'{e}}sar Andr{\'{e}}s and
                  Luis Llana},
  title        = {Scalable Minimization Algorithm for Partial Bisimulation},
  booktitle    = {Proceedings 2nd Workshop on Formal Methods in the Development of Software,
                  {WS-FMDS} 2012, Paris, France, August 28, 2012},
  series       = {{EPTCS}},
  volume       = {86},
  pages        = {9--16},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.86.2},
  doi          = {10.4204/EPTCS.86.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-2462.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-2736,
  author       = {Ra{\'{u}}l Pardo and
                  Fernando L. Pelayo},
  editor       = {C{\'{e}}sar Andr{\'{e}}s and
                  Luis Llana},
  title        = {{ROSA} Analyser: An automatized approach to analyse processes of {ROSA}},
  booktitle    = {Proceedings 2nd Workshop on Formal Methods in the Development of Software,
                  {WS-FMDS} 2012, Paris, France, August 28, 2012},
  series       = {{EPTCS}},
  volume       = {86},
  pages        = {25--32},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.86.4},
  doi          = {10.4204/EPTCS.86.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-2736.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1207-1841,
  editor       = {C{\'{e}}sar Andr{\'{e}}s and
                  Luis Llana},
  title        = {Proceedings 2nd Workshop on Formal Methods in the Development of Software,
                  {WS-FMDS} 2012, Paris, France, August 28, 2012},
  series       = {{EPTCS}},
  volume       = {86},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.86},
  doi          = {10.4204/EPTCS.86},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-1841.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}