Search dblp for Publications

export results for "toc:db/conf/sfm/sfm2012.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sfm/AndovaBEV12,
  author       = {Suzana Andova and
                  Mark G. J. van den Brand and
                  Luc J. P. Engelen and
                  Tom Verhoeff},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {{MDE} Basics with a {DSL} Focus},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {21--57},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_2},
  doi          = {10.1007/978-3-642-30982-3\_2},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/AndovaBEV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/Becker12,
  author       = {Steffen Becker},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Model Transformations in Non-functional Analysis},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {263--289},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_8},
  doi          = {10.1007/978-3-642-30982-3\_8},
  timestamp    = {Fri, 22 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/Becker12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/BroschKLSWW12,
  author       = {Petra Brosch and
                  Gerti Kappel and
                  Philip Langer and
                  Martina Seidl and
                  Konrad Wieland and
                  Manuel Wimmer},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {An Introduction to Model Versioning},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {336--398},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_10},
  doi          = {10.1007/978-3-642-30982-3\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/BroschKLSWW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/CabotG12,
  author       = {Jordi Cabot and
                  Martin Gogolla},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Object Constraint Language {(OCL):} {A} Definitive Guide},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {58--90},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_3},
  doi          = {10.1007/978-3-642-30982-3\_3},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/CabotG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/CasoBGU12,
  author       = {Guido de Caso and
                  V{\'{\i}}ctor A. Braberman and
                  Diego Garbervetsky and
                  Sebasti{\'{a}}n Uchitel},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Abstractions for Validation in Action},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {192--218},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_6},
  doi          = {10.1007/978-3-642-30982-3\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/CasoBGU12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/CortellessaMT12,
  author       = {Vittorio Cortellessa and
                  Antinisca Di Marco and
                  Catia Trubiani},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Software Performance Antipatterns: Modeling and Analysis},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {290--335},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_9},
  doi          = {10.1007/978-3-642-30982-3\_9},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/CortellessaMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/GieseLBHNVW12,
  author       = {Holger Giese and
                  Leen Lambers and
                  Basil Becker and
                  Stephan Hildebrandt and
                  Stefan Neumann and
                  Thomas Vogel and
                  Sebastian W{\"{a}}tzoldt},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Graph Transformations for MDE, Adaptation, and Models at Runtime},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {137--191},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_5},
  doi          = {10.1007/978-3-642-30982-3\_5},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/GieseLBHNVW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/PetriuAT12,
  author       = {Dorina C. Petriu and
                  Mohammad Alhaj and
                  Rasha Tawhid},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Software Performance Modeling},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {219--262},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_7},
  doi          = {10.1007/978-3-642-30982-3\_7},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/PetriuAT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/RuscioEP12,
  author       = {Davide Di Ruscio and
                  Romina Eramo and
                  Alfonso Pierantonio},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Model Transformations},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {91--136},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_4},
  doi          = {10.1007/978-3-642-30982-3\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/RuscioEP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/Selic12,
  author       = {Bran Selic},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {The Less Well Known {UML} - {A} Short User Guide},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_1},
  doi          = {10.1007/978-3-642-30982-3\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/Selic12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/VallecilloGBWH12,
  author       = {Antonio Vallecillo and
                  Martin Gogolla and
                  Loli Burgue{\~{n}}o and
                  Manuel Wimmer and
                  Lars Hamann},
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Formal Specification and Testing of Model Transformations},
  booktitle    = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  pages        = {399--437},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3\_11},
  doi          = {10.1007/978-3-642-30982-3\_11},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/VallecilloGBWH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sfm/2012,
  editor       = {Marco Bernardo and
                  Vittorio Cortellessa and
                  Alfonso Pierantonio},
  title        = {Formal Methods for Model-Driven Engineering - 12th International School
                  on Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2012, Bertinoro, Italy, June 18-23, 2012. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7320},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30982-3},
  doi          = {10.1007/978-3-642-30982-3},
  isbn         = {978-3-642-30981-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.