Springer Berlin Heidelberg

Local database

Publisher

  1. 2014
  2. Programming and Verifying Component Ensembles. / De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco.

    From Programs to Systems. The Systems perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Springer Berlin Heidelberg, 2014. p. 69-83 (Lecture Notes in Computer Science, Vol. 8415).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  3. 2012
  4. A Conceptual Framework for Adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer Berlin Heidelberg, 2012. p. 240-254 (Lecture Notes in Computer Science, Vol. 7212).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  5. Adaptable Transition Systems. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Vol. 7841 Springer Berlin Heidelberg, 2012. p. 95-110.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  6. Evaluating the performance of model transformation styles with Maude. / Bruni, Roberto; Lluch Lafuente, Alberto.

    Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer Berlin Heidelberg, 2012. p. 79-96 (Lecture Notes in Computer Science, Vol. 7253).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  7. Exploiting over- and underapproximations for infinite-state counterpart models. / Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings. Springer Berlin Heidelberg, 2012. p. 51-65 (Lecture Notes in Computer Science, Vol. 7562).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  8. Modelling and analyzing adaptive self-assembling strategies with Maude. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Springer Berlin Heidelberg, 2012. p. 118-138 (Lecture Notes in Computer Science, Vol. 7571).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  9. Published

    On the Physical Relevance and Statistical Interpretation of Knowledge-Based Potentials. / Borg, Mikael; Hamelryck, Thomas Wim; Ferkinghoff-Borg, Jesper.

    Bayesian Methods in Structural Bioinformatics. Springer Berlin Heidelberg, 2012. (Statistics for Biology and Health, Springer).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  10. State Space c-Reductions of Concurrent Systems in Rewriting Logic. / Lluch Lafuente, Alberto; Meseguer, José; Vandin, Andrea.

    Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings. Springer Berlin Heidelberg, 2012. p. 430-446 (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  11. 2011
  12. A formal support to business and architectural design for service-oriented systems. / Bruni, Roberto; Foster, Howard; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio.

    Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Springer Berlin Heidelberg, 2011. p. 133-152 (Lecture Notes in Computer Science, Vol. 6582).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

  13. Hierarchical models for service-oriented systems. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Montanari, Ugo.

    Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing. Springer Berlin Heidelberg, 2011. p. 349-368 (Lecture Notes in Computer Science, Vol. 6582).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

Previous 1 2 3 4 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word