


default search action
International Conference on Software Technologies: Applications and Foundations (STAF)
STAF 2024: Enschede, The Netherlands
- Hessa Alfraihi, Francesco Basciani, Georgiana Caltais, Nicolas Ferry, José Antonio Hernández López, Ludovico Iovino, Robbert Jongeling, Stefan Klikovits, Shekoufeh Kolahdouz Rahimi, Riccardo Rubei, Sobhan Yassipour Tehrani, Javier Troya, Mairieli Wessel, Vadim Zaytsev:
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, LLM4MDE 2024, and MeSS 2024 co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2024) Enschede, The Netherlands, July 8-11, 2024. CEUR Workshop Proceedings 3727, CEUR-WS.org 2024 [contents]
20th European Conference on Modelling Foundations and Applications, ECMFA@STAF 2024, Enschede, The Netherlands, 2024, Proceedings: J. Object Technol. 23(3)
STAF 2023: Leicester, UK
- Maribel Fernández
, Christopher M. Poskitt
:
Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings. Lecture Notes in Computer Science 13961, Springer 2023, ISBN 978-3-031-36708-3 [contents] - Virgile Prevosto
, Cristina Seceleanu
:
Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings. Lecture Notes in Computer Science 14066, Springer 2023, ISBN 978-3-031-38827-9 [contents] - Wendy MacCaull, Violet Ka I Pun:
Proceedings of the 3rd International Health Data Workshop (HEDA 2023) co-located with Software Technologies: Applications and Foundations (STAF 2023), Leicester, United Kingdom, July 21, 2023. CEUR Workshop Proceedings 3440, CEUR-WS.org 2023 [contents]
19th European Conference on Modelling Foundations and Applications, ECMFA@STAF 2023, Leicester, UK, 2023, Proceedings: J. Object Technol. 22(2)
STAF 2022: Nantes, France
- Nicolas Behr
, Daniel Strüber
:
Graph Transformation - 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings. Lecture Notes in Computer Science 13349, Springer 2022, ISBN 978-3-031-09842-0 [contents] - Laura Kovács
, Karl Meinke
:
Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings. Lecture Notes in Computer Science 13361, Springer 2022, ISBN 978-3-031-09826-0 [contents] - Reiko Heckel, Christopher M. Poskitt
:
Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022. EPTCS 374, 2022 [contents] - Catherine Dubois, Julien Cohen:
STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2nd International Workshop on Foundations and Practice of Visual Modeling (FPVM 2022) and 2nd International Workshop on MDE for Smart IoT Systems (MeSS 2022) (co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2022)), Nantes, France, July 5-8, 2022. CEUR Workshop Proceedings 3250, CEUR-WS.org 2022 [contents]
18th European Conference on Modelling Foundations and Applications, ECMFA@STAF 2022, Nantes, France, 2022, Proceedings: J. Object Technol. 21(3)
STAF 2021 [virtual]
- Fabio Gadducci
, Timo Kehrer
:
Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings. Lecture Notes in Computer Science 12741, Springer 2021, ISBN 978-3-030-78945-9 [contents] - Frédéric Loulergue
, Franz Wotawa
:
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings. Lecture Notes in Computer Science 12740, Springer 2021, ISBN 978-3-030-79378-4 [contents] - Berthold Hoffmann, Mark Minas:
Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021. EPTCS 350, 2021 [contents] - Ludovico Iovino, Lars Michael Kristensen:
STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021. CEUR Workshop Proceedings 2999, CEUR-WS.org 2021 [contents]
17th European Conference on Modelling Foundations and Applications, ECMFA@STAF 2021, virtual, 2021, Proceedings: J. Object Technol. 20(3)
STAF 2020: Bergen, Norway [postponed]
STAF 2020 Home Page [postponed]
- Fabio Gadducci
, Timo Kehrer
:
Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12150, Springer 2020, ISBN 978-3-030-51371-9 [contents] - Wolfgang Ahrendt
, Heike Wehrheim
:
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12165, Springer 2020, ISBN 978-3-030-50994-1 [contents] - Berthold Hoffmann, Mark Minas:
Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. EPTCS 330, 2020 [contents] - Loli Burgueño, Lars Michael Kristensen:
STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020), Bergen, Norway, June 22-26, 2020. CEUR Workshop Proceedings 2707, CEUR-WS.org 2020 [contents]
16th European Conference on Modelling Foundations and Applications, ECMFA@STAF 2020, Bergen, Norway, 2020, Proceedings: J. Object Technol. 19(2)
STAF 2019: Eindhoven, The Netherlands
- Esther Guerra, Fernando Orejas:
Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings. Lecture Notes in Computer Science 11629, Springer 2019, ISBN 978-3-030-23610-6 [contents] - Rachid Echahed, Detlef Plump:
Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019. EPTCS 309, 2019 [contents] - Alessandra Bagnato, Hugo Bruneliere, Loli Burgueño, Romina Eramo, Abel Gómez:
STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15 - 19, 2019. CEUR Workshop Proceedings 2405, CEUR-WS.org 2019 [contents]
15th European Conference on Modelling Foundations and Applications, ECMFA@STAF 2019, Eindhoven, The Netherlands, July 15-19, 2019, Proceedings: J. Object Technol. 18(2)
12th International Conference on Model Transformation, ICMT@STAF 2019, Eindhoven, The Netherlands, July 15-19, 2019, Proceedings: J. Object Technol. 18(3)
STAF 2018: Toulouse, France
- Einar Broch Johnsen, Ina Schaefer:
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10886, Springer 2018, ISBN 978-3-319-92969-9 [contents] - Leen Lambers, Jens H. Weber:
Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. Lecture Notes in Computer Science 10887, Springer 2018, ISBN 978-3-319-92990-3 [contents] - Arend Rensink, Jesús Sánchez Cuadrado:
Theory and Practice of Model Transformation - 11th International Conference, ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. Lecture Notes in Computer Science 10888, Springer 2018, ISBN 978-3-319-93316-0 [contents] - Catherine Dubois, Burkhart Wolff
:
Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10889, Springer 2018, ISBN 978-3-319-92993-4 [contents] - Alfonso Pierantonio, Salvador Trujillo:
Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. Lecture Notes in Computer Science 10890, Springer 2018, ISBN 978-3-319-92996-5 [contents] - Manuel Mazzara, Iulian Ober
, Gwen Salaün:
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11176, Springer 2018, ISBN 978-3-030-04770-2 [contents]
STAF 2017: Marburg, Germany
- Juan de Lara, Detlef Plump:
Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings. Lecture Notes in Computer Science 10373, Springer 2017, ISBN 978-3-319-61469-4 [contents] - Esther Guerra, Mark van den Brand
:
Theory and Practice of Model Transformation - 10th International Conference, ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings. Lecture Notes in Computer Science 10374, Springer 2017, ISBN 978-3-319-61472-4 [contents] - Sebastian Gabmeyer, Einar Broch Johnsen:
Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. Lecture Notes in Computer Science 10375, Springer 2017, ISBN 978-3-319-61466-3 [contents] - Anthony Anjorin, Huáscar Espinoza:
Modelling Foundations and Applications - 13th European Conference, ECMFA@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. Lecture Notes in Computer Science 10376, Springer 2017, ISBN 978-3-319-61481-6 [contents] - Martina Seidl, Steffen Zschaler:
Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10748, Springer 2018, ISBN 978-3-319-74729-3 [contents]
STAF 2016: Vienna, Austria
- Rachid Echahed, Mark Minas:
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings. Lecture Notes in Computer Science 9761, Springer 2016, ISBN 978-3-319-40529-2 [contents] - Bernhard K. Aichernig
, Carlo A. Furia:
Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9762, Springer 2016, ISBN 978-3-319-41134-7 [contents] - Rocco De Nicola, Eva Kühn:
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. Lecture Notes in Computer Science 9763, Springer 2016, ISBN 978-3-319-41590-1 [contents] - Andrzej Wasowski, Henrik Lönn:
Modelling Foundations and Applications - 12th European Conference, ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Lecture Notes in Computer Science 9764, Springer 2016, ISBN 978-3-319-42060-8 [contents] - Pieter Van Gorp
, Gregor Engels:
Theory and Practice of Model Transformations - 9th International Conference, ICMT@STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. Lecture Notes in Computer Science 9765, Springer 2016, ISBN 978-3-319-42063-9 [contents] - Paolo Milazzo, Dániel Varró, Manuel Wimmer:
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9946, Springer 2016, ISBN 978-3-319-50229-8 [contents] - Maurice H. ter Beek
, Michele Loreti
:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents] - Dimitris S. Kolovos, Davide Di Ruscio, Nicholas Drivalos Matragkas, Jesús Sánchez Cuadrado, István Ráth, Massimo Tisi:
Proceedings of the 4rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2016) federation of conferences, Vienna, Austria, July 8, 2016. CEUR Workshop Proceedings 1652, CEUR-WS.org 2016 [contents] - Catherine Dubois, Francesco Parisi-Presicce, Dimitris S. Kolovos, Nicholas Matragkas:
Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 4-7, 2016. CEUR Workshop Proceedings 1675, CEUR-WS.org 2016 [contents]
STAF 2015: L'Aquila, Italy
- Francesco Parisi-Presicce, Bernhard Westfechtel:
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. Lecture Notes in Computer Science 9151, Springer 2015, ISBN 978-3-319-21144-2 [contents] - Dimitris S. Kolovos, Manuel Wimmer:
Theory and Practice of Model Transformations - 8th International Conference, ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings. Lecture Notes in Computer Science 9152, Springer 2015, ISBN 978-3-319-21154-1 [contents] - Gabriele Taentzer, Francis Bordeleau:
Modelling Foundations and Applications - 11th European Conference, ECMFA@STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings. Lecture Notes in Computer Science 9153, Springer 2015, ISBN 978-3-319-21150-3 [contents] - Jasmin Christian Blanchette, Nikolai Kosmatov:
Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. Lecture Notes in Computer Science 9154, Springer 2015, ISBN 978-3-319-21214-2 [contents] - Alcino Cunha, Ekkart Kindler:
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015. CEUR Workshop Proceedings 1396, CEUR-WS.org 2015 [contents] - Marco Autili, Tom Ritter, Andrey Sadovykh, Massimo Tivoli:
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015. CEUR Workshop Proceedings 1400, CEUR-WS.org 2015 [contents] - Detlef Plump:
Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 20, 2015. CEUR Workshop Proceedings 1403, CEUR-WS.org 2015 [contents] - Dimitris S. Kolovos, Davide Di Ruscio, Nicholas Drivalos Matragkas, Jesús Sánchez Cuadrado, István Ráth, Massimo Tisi:
Proceedings of the 3rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 23, 2015. CEUR Workshop Proceedings 1406, CEUR-WS.org 2015 [contents] - Martin Gogolla, Henry Muccini, Dániel Varró:
Proceedings of the Doctoral Symposium at Software Technologies: Applications and Foundations 2015 Conference (STAF 2015), L'Aquila, Italy, July 20, 2015. CEUR Workshop Proceedings 1499, CEUR-WS.org 2015 [contents] - Moussa Amrani, Eugene Syriani, Manuel Wimmer:
Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. CEUR Workshop Proceedings 1530, CEUR-WS.org 2015 [contents] - Richard F. Paige, Eugene Syriani, Steffen Zschaler, Hüseyin Ergin:
Proceedings of the First Workshop on Patterns in Model Engineering, PAME 2015, co-located with the 3rd International Conference on Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 21, 2015. CEUR Workshop Proceedings 1657, CEUR-WS.org 2016 [contents]
STAF 2014: York, UK
- Davide Di Ruscio, Dániel Varró:
Theory and Practice of Model Transformations - 7th International Conference, ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings. Lecture Notes in Computer Science 8568, Springer 2014, ISBN 978-3-319-08788-7 [contents] - Jordi Cabot
, Julia Rubin:
Modelling Foundations and Applications - 10th European Conference, ECMFA@STAF 2014, York, UK, July 21-25, 2014. Proceedings. Lecture Notes in Computer Science 8569, Springer 2014, ISBN 978-3-319-09194-5 [contents] - Martina Seidl, Nikolai Tillmann:
Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings. Lecture Notes in Computer Science 8570, Springer 2014, ISBN 978-3-319-09098-6 [contents] - Holger Giese, Barbara König:
Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Lecture Notes in Computer Science 8571, Springer 2014, ISBN 978-3-319-09107-5 [contents] - Colin Atkinson, Erik Burger, Thomas Goldschmidt, Ralf H. Reussner:
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, VAO@STAF 2014, York, United Kingdom, July 22, 2014. ACM 2014, ISBN 978-1-4503-2900-2 [contents] - Dimitris S. Kolovos, Davide Di Ruscio, Nicholas Drivalos Matragkas, Juan de Lara, István Ráth, Massimo Tisi:
Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, BigMDE@STAF2014, York, UK, July 24, 2014. CEUR Workshop Proceedings 1206, CEUR-WS.org 2014 [contents] - Louis M. Rose, Christian Krause, Tassilo Horn:
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, York, United Kingdom, July 25, 2014. CEUR Workshop Proceedings 1305, CEUR-WS.org 2014 [contents] - Uwe Aßmann, Gerd Wagner:
Proceedings of the 1st International Workshop on Model-Driven Robot Software Engineering co-located with International Conference on Software Technologies: Applications and Foundations, MORSE@STAF 2014, York, UK, July 21, 2014. CEUR Workshop Proceedings 1319, CEUR-WS.org 2015 [contents] - Moussa Amrani, Eugene Syriani, Manuel Wimmer:
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014. CEUR Workshop Proceedings 1325, CEUR-WS.org 2015 [contents]
STAF 2013: Budapest, Hungary
- Keith Duddy, Gerti Kappel:
Theory and Practice of Model Transformations - 6th International Conference, ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings. Lecture Notes in Computer Science 7909, Springer 2013, ISBN 978-3-642-38882-8 [contents] - Margus Veanes, Luca Viganò:
Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Lecture Notes in Computer Science 7942, Springer 2013, ISBN 978-3-642-38915-3 [contents] - Walter Binder
, Eric Bodden
, Welf Löwe:
Software Composition - 12th International Conference, SC@STAF 2013, Budapest, Hungary, June 19, 2013. Proceedings. Lecture Notes in Computer Science 8088, Springer 2013, ISBN 978-3-642-39613-7 [contents] - Davide Di Ruscio, Dimitris S. Kolovos, Nicholas Matragkas:
Proceedings of the Workshop on Scalability in Model Driven Engineering, Budapest, Hungary, June 17, 2013. ACM 2013, ISBN 978-1-4503-2165-5 [contents]

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.