default search action

combined dblp search
author search
venue search
publication search

ask others

Composing Model-Based Analysis Tools, 2021

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/sp/21/HDTZ2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/HDTZ2021
Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler:
Composing Model-Based Analysis Tools. Springer 2021, ISBN 978-3-030-81914-9
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/Heinrich0TZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/Heinrich0TZ21
Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler:
Introduction. 1-8
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/TalcottABCH0KRRSV0Z21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/TalcottABCH0KRRSV0Z21
Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler:
Foundations. 9-37

Challenges and Concepts

- view
  authority control:
- export record
  dblp key:
  - books/sp/21/0001HTZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/0001HTZ21
Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler:
Overview of Challenges in Composing Model-Based Analysis Tools. 41-43
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/TalcottABCH0KRRSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/TalcottABCH0KRRSV21
Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe:
Composition of Languages, Models, and Analyses. 45-70
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/HeinrichBKRRRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/HeinrichBKRRRS21
Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani:
Integration and Orchestration of Analysis Tools. 71-95
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/JohnsonZVV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/JohnsonZVV21
Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró:
Continual Model-Based Analysis. 97-127
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/0001GGLSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/0001GGLSZ21
Francisco Durán, Martin Gogolla, Esther Guerra, Juan de Lara, Houari A. Sahraoui, Steffen Zschaler:
Exploiting Results of Model-Based Analysis Tools. 129-158
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/0001FJMPPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/0001FJMPPT21
Simona Bernardi, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani:
Living with Uncertainty in Model-Based Development. 159-185

Case Studies

- view
  authority control:
- export record
  dblp key:
  - books/sp/21/Zschaler021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/Zschaler021
Steffen Zschaler, Francisco Durán:
GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics. 189-215
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/ButtingHR021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/ButtingHR021
Arvid Butting, Katrin Hölldobler, Bernhard Rumpe, Andreas Wortmann:
Compositional Modelling Languages with Analytics and Construction Infrastructures Based on Object-Oriented Techniques - The MontiCore Approach. 217-234
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/HeinrichHKR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/HeinrichHKR21
Robert Heinrich, Jörg Henss, Sandro Koch, Ralf H. Reussner:
Challenges in the Evolution of Palladio - Refactoring Design Smells in a Historically-Grown Approach to Software Architecture Analysis. 235-257
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/CuadradoGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/CuadradoGL21
Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara:
AnATLyzer: Static Analysis of ATL Model Transformations. 259-281
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/KhamespanahMFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/KhamespanahMFS21
Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani:
Using Afra in Different Domains by Tool Orchestration. 283-299
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/0001HTZ21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/0001HTZ21a
Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler:
Conclusion. 301-307

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.