Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/staf/Basso15,
  author       = {F{\'{a}}bio Paulo Basso},
  editor       = {Martin Gogolla and
                  Henry Muccini and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {A Proposal for a Common Representation Language for {MDE} Artifacts
                  and Settings},
  booktitle    = {Proceedings of the Doctoral Symposium at Software Technologies: Applications
                  and Foundations 2015 Conference {(STAF} 2015), L'Aquila, Italy, July
                  20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1499},
  pages        = {21--31},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1499/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Basso15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/Bucaioni15,
  author       = {Alessio Bucaioni},
  editor       = {Martin Gogolla and
                  Henry Muccini and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Raising Abstraction in Timing Analysis for Vehicular Embedded Systems
                  through Model-Driven Engineering},
  booktitle    = {Proceedings of the Doctoral Symposium at Software Technologies: Applications
                  and Foundations 2015 Conference {(STAF} 2015), L'Aquila, Italy, July
                  20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1499},
  pages        = {11--20},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1499/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Bucaioni15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/Davidsen15,
  author       = {J{\'{o}}han Davidsen},
  editor       = {Martin Gogolla and
                  Henry Muccini and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Communication with Models},
  booktitle    = {Proceedings of the Doctoral Symposium at Software Technologies: Applications
                  and Foundations 2015 Conference {(STAF} 2015), L'Aquila, Italy, July
                  20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1499},
  pages        = {42--49},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1499/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Davidsen15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/Matos15,
  author       = {Ernesto Cid Brasil de Matos},
  editor       = {Martin Gogolla and
                  Henry Muccini and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Complementing the B-Method with Model-Based Testing},
  booktitle    = {Proceedings of the Doctoral Symposium at Software Technologies: Applications
                  and Foundations 2015 Conference {(STAF} 2015), L'Aquila, Italy, July
                  20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1499},
  pages        = {32--41},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1499/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Matos15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/Umuhoza15,
  author       = {Eric Umuhoza},
  editor       = {Martin Gogolla and
                  Henry Muccini and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device
                  Mobile Apps},
  booktitle    = {Proceedings of the Doctoral Symposium at Software Technologies: Applications
                  and Foundations 2015 Conference {(STAF} 2015), L'Aquila, Italy, July
                  20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1499},
  pages        = {50--60},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1499/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Umuhoza15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/staf/Vessio15,
  author       = {Gennaro Vessio},
  editor       = {Martin Gogolla and
                  Henry Muccini and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Reasoning about Properties with Abstract State Machines},
  booktitle    = {Proceedings of the Doctoral Symposium at Software Technologies: Applications
                  and Foundations 2015 Conference {(STAF} 2015), L'Aquila, Italy, July
                  20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1499},
  pages        = {1--10},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1499/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/Vessio15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/staf/2015ds,
  editor       = {Martin Gogolla and
                  Henry Muccini and
                  D{\'{a}}niel Varr{\'{o}}},
  title        = {Proceedings of the Doctoral Symposium at Software Technologies: Applications
                  and Foundations 2015 Conference {(STAF} 2015), L'Aquila, Italy, July
                  20, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1499},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1499},
  urn          = {urn:nbn:de:0074-1499-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/2015ds.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}