Electronic Communications of the EASST
| Issue | Title | |
| Volume 54: Graph-Based Tools 2012 | Rooted Graph Programs | Abstract PDF |
| Detlef Plump, Christopher Bak | ||
| Volume 64: Programming and Computer Languages 2013 | R-SQL: An SQL Database System with Extended Recursion | Abstract PDF |
| Fernando Sáenz-Pérez, Susana Nieva, Jaime Sanchez-Hernandez, Gabriel Aranda | ||
| Volume 42: Multi-Paradigm Modeling 2010 | Rule-Based Integration of Domain-Specific Modelling Languages | Abstract PDF |
| Benjamin Braatz, Christoph Brandt | ||
| Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) | Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks | Abstract PDF |
| Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz | ||
| Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) | Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges | Abstract PDF |
| Anila Mjeda, Goetz Botterweck | ||
| Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) | ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study | Abstract PDF |
| Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Search-Based Refactoring using Unfolding of Graph Transformation Systems | Abstract PDF |
| Fawad Qayum, Reiko Heckel | ||
| Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | Details PDF |
| Stylianos Basagiannis, Anila Mjeda, Götz Botterweck | ||
| Volume 50: Multi-Paradigm Modeling 2011 | Semantic Adaptation using CCSL Clock Constraints | Abstract PDF |
| Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan | ||
| Volume 53: Automated Verification of Critical Systems 2012 | Semi-automatic Proofs about Object Graphs in Separation Logic | Abstract PDF |
| Holger Gast | ||
| Volume 66: Automated Verification of Critical Systems 2013 | Simplifying proofs of linearisability using layers of abstraction | Abstract PDF |
| Brijesh Dongol, John Derrick | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Smart Urban Data Space for Citizen Science | Abstract PDF |
| Heiko Bornholdt, David Jost, Philipp Kisters, Michel Rottleuthner, Sehrish Shafeeq, Winfried Lamersdorf, Thomas C. Schmidt, Mathias Fischer | ||
| Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Software Engineering meets Artificial Intelligence | Abstract PDF |
| Holger Klus, Christoph Knieke, Andreas Rausch, Stefan Wittek | ||
| Volume 65: Software Quality and Maintainability 2014 | Software Language Engineering by Intentional Rewriting | Abstract PDF |
| Vadim Zaytsev | ||
| Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) | Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices | Abstract PDF |
| Eduardo Zambon, Arend Rensink | ||
| Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | SOS-Supported Graph Transformation | Abstract PDF |
| Sebastian Teumert, Marvin Krause, Bernhard Steffen | ||
| Volume 59: Patterns Promotion and Anti-patterns Prevention 2013 | Special Issue of PPAP 2013: Preface | Abstract PDF |
| Surafel Lemma Abebe, Venera Arnaoudova, Laleh Eshkevari, Aminata Sabane, Wei Wu | ||
| Volume 46: Automated Verification of Critical Systems 2011 | Specification and refinement of discrete timing properties in Event-B | Abstract PDF |
| Mohammad Reza Sarshogh, Michael Butler | ||
| Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner | Spreadsheets with a Semantic Layer | Abstract PDF |
| Andrea Kohlhase, Michael Kohlhase | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | State Distribution Policy for Distributed Model Checking of Actor Models | Abstract PDF |
| Ehsan Khamespanah, Marjan Sirjani, Mohammadreza Mousavi, Zeynab Sabahi Kaviani, Mohamadreza Razzazi | ||
| Volume 66: Automated Verification of Critical Systems 2013 | Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata | Abstract PDF |
| Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen | ||
| Volume 69: Formal Methods for Interactive Systems 2013 | Stochastic Modelling and Analysis of Driver Behaviour | Abstract PDF |
| Antonio Cerone, Yishi Zhao | ||
| Volume 55: Programming and Computer Languages 2012 | String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations | Abstract PDF |
| Gines Moreno, Pedro J. Morcillo, Jaime Penabad, Carlos Vazquez | ||
| Volume 46: Automated Verification of Critical Systems 2011 | Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation | Abstract PDF |
| Sanaz Yeganefard, Michael Butler | ||
| Volume 63: Software Clones 2014 | Studying Late Propagations in Code Clone Evolution Using Software Repository Mining | Abstract PDF |
| Hsiao Hui Mui, Andy Zaidman, Martin Pinzger | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | Studying Verification Conditions for Imperative Programs | Abstract PDF |
| Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto | ||
| Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 | Supporting Ethical Decisions in Wearable Technology with Deontic Logic: A Brief Introduction | Abstract PDF |
| Dimitrios Zafeirakopoulos, Sofia Almpani, Petros Stefaneas | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Supporting Mobile Application Development with Model-Driven Emulation | Abstract PDF |
| Judy Bowen, Annika Hinze | ||
| Volume 70: Automated Verification of Critical Systems 2014 | Symbol Elimination for Automated Generation of Program Properties | Abstract PDF |
| Laura Kovacs | ||
| Volume 46: Automated Verification of Critical Systems 2011 | Symbolic Model Checking and Safety Assessment of Altarica models | Abstract PDF |
| Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta | ||
| Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 | Synthesis of smart manufacturing environments. Towards evolvable robotic navigation scenarios. | Abstract PDF |
| Ivan Hugo Guevara | ||
| Volume 55: Programming and Computer Languages 2012 | Tabling with Support for Relational Features in a Deductive Database | Abstract PDF |
| Fernando Sáenz-Pérez | ||
| Volume 52: Software Modeling in Education 2011 | Teaching MDE through the Formal Verification of Process Models | Abstract PDF |
| Benoit Combemale, Xavier Cregut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Teaching Model Driven Language Handling | Abstract PDF |
| Terje Gjøsæter, Andreas Prinz | ||
| Volume 52: Software Modeling in Education 2011 | Teaching Modeling - An Initial Classification of Related Issues | Abstract PDF |
| Ludwik Kuzniarz, Jürgen Börstler | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Teaching Object-Oriented Modelling using Concept Maps | Abstract PDF |
| Ven Yu Sien | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Teaching OCL Standard Library: First Part of an OCL 2.x Course | Abstract PDF |
| Joanna Chimiak-Opoka, Birgit Demuth | ||
| Volume 52: Software Modeling in Education 2011 | Teaching Programming Students how to Model: Challenges & Opportunities | Abstract PDF |
| Robert France | ||
| Volume 58: Graph Transformation and Visual Modeling Techniques 2013 | Test Case Generation Using Visual Contracts | Abstract PDF |
| Olga Runge, Tamim Ahmed Khan, Reiko Heckel | ||
| Volume 55: Programming and Computer Languages 2012 | Test-Case Generation for SQL Nested Queries with Existential Conditions | Abstract PDF |
| Rafael Caballero, José Luzon-Martin, Antonio Tenorio-Fornes | ||
| Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | Testing Interconnected Systems with Behavior Mining | Abstract PDF |
| Alexander Schieweck, Tiziana Margaria | ||
| Volume 46: Automated Verification of Critical Systems 2011 | The Belgian Electronic Identity Card: a Verification Case Study | Abstract PDF |
| Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens | ||
| Volume 70: Automated Verification of Critical Systems 2014 | The GPUVerify Method: a Tutorial Overview | Abstract PDF |
| Alastair Donaldson | ||
| Volume 70: Automated Verification of Critical Systems 2014 | The highs and lows of deploying Formal Methods in Industry | Abstract PDF |
| Guy H. Broadfoot | ||
| Volume 65: Software Quality and Maintainability 2014 | The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation | Abstract PDF |
| Coen De Roover, Christophe Scholliers, Viviane Jonckers, Javier Pérez, Alessandro Murgia, Serge Demeyer | ||
| Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 | The Qualitative background of why a DSL knowledge based platform is needed in the context of Sustainability | Abstract PDF |
| Stephen Ryan | ||
| Volume 48: Foundations and Techniques for Open Source Software Certification 2011 | The Role of Best Practices to Appraise Open Source Software | Abstract PDF |
| Miguel Regedor, Daniela da Cruz, Pedro Henriques | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | The Role of User Guidance in the Industrial Adoption of MDE Approach | Abstract PDF |
| Jari Rauhamäki, Outi Laitinen, Seppo Sierla, Seppo Kuikka | ||
| Volume 58: Graph Transformation and Visual Modeling Techniques 2013 | The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions | Abstract PDF |
| Joel Greenyer, Christian Brenner, Valerio Panzica La Manna | ||
| Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner | The VSE Refinement Method in Hets | Abstract PDF |
| Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein | ||
| Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 | Thoughts about using Constraint Solvers in Action | Abstract PDF |
| Malte Mues, Martin Fitzke, Falk Howar | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | ThreadSafe: Static Analysis for Java Concurrency | Abstract PDF |
| Robert Atkey, Donald Sannella | ||
| Volume 52: Software Modeling in Education 2011 | Threshold Concepts in Object-Oriented Modelling | Abstract PDF |
| Ven Yu Sien, David Weng Kwai Chong | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Time- and Frequency-Domain Dynamic Spectrum Access: Learning Cyclic Medium Access Patterns in Partially Observable Environments | Abstract PDF |
| Sebastian Lindner, Daniel Stolpmann, Andreas Timm-Giel | ||
| Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | Timed Automata for Mobile Ransomware Detection | Abstract PDF |
| Francesco Mercaldo, Fabio Martinelli, Antonella Santone | ||
| Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Tool Support for System-Theoretic Process Analysis | Abstract PDF |
| Jette Petzold, Reinhard von Hanxleden | ||
| Volume 63: Software Clones 2014 | Toward a Code-Clone Search through the Entire Lifecycle of a Software Product | Abstract PDF |
| Toshihiro Kamiya | ||
| Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 | Towards a Flexible and Evolvable Framework for Self-Adaptation | Abstract PDF |
| Lucas Provenvesi, Frank Eliassen | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Towards a Maude Tool for Model Checking Temporal Graph Properties | Abstract PDF |
| Andrea Vandin, Alberto Lluch Lafuente | ||
| Volume 42: Multi-Paradigm Modeling 2010 | Towards a Methodology for Semantics Specification of Domain-specific Models through Properties | Abstract PDF |
| Ragnhild Van Der Straeten | ||
| 781 - 840 of 888 Items | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |