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}
}

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.