Electronic Communications of the EASST
| Issue | Title | |
| Volume 31: Visual Formalisms for Patterns 2010 | Towards a Pattern Language for the Design of Collaborative Interactive Systems | Abstract PDF |
| Claudia Iacob, Piero Mussio, Li Zhu, Barbara Rita Barricelli | ||
| Volume 47: Graph Transformation and Visual Modeling Techniques 2012 | Towards Alternating Automata for Graph Languages | Abstract PDF |
| H.J. Sander Bruggink, Mathias Hülsbusch, Barbara König | ||
| Volume 63: Software Clones 2014 | Towards an Analysis of Who Creates Clone and Who Reuses it | Abstract PDF |
| Takuya Moriwaki, Hiroshi Igaki, Yuki Yamanaka, Norihiro Yoshida, Shinji Kusumoto, Katsuro Inoue | ||
| Volume 64: Programming and Computer Languages 2013 | Towards Bridging the Expressiveness Gap Between \linebreak Relational and Deductive Databases | Abstract PDF |
| Fernando Sáenz-Pérez | ||
| Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Towards Code-centric Code Generators | Abstract PDF |
| Daniel Busch | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Towards Deterministic Reconfigurable Networks | Abstract PDF |
| Zikai George Zhou, Wolfgang Kellerer | ||
| Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) | Towards Dynamic Reverse Engineering Visual Contracts from Java | Abstract PDF |
| Abdullah M. Alshanqiti, Reiko Heckel | ||
| Volume 40: Petri Nets and Graph Transformations 2010 | Towards Guided Trajectory Exploration of Graph Transformation Systems | Abstract PDF |
| Ábel Hegedüs, Ákos Horváth, Dániel Varró | ||
| Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) | Towards Model Checking Reconfigurable Petri Nets using Maude | Abstract PDF |
| Julia Padberg, Alexander Schulz | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Towards opportunistic UAV relaying for smart cities | Abstract PDF |
| Tobias Hardes, Clemens Boos, Christoph Sommer | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Towards Optimization-Based Predictive Congestion Control for the Tor Network | Abstract PDF |
| Christoph Döpmann, Felix Fiedler, Sergio Lucia, Florian Tschorsch | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Towards QoE-Driven Optimization of Multi-Dimensional Content Streaming | Abstract PDF |
| Yassin Alkhalili, Jannis Weil, anam tahir, Tobias Meuser, Boris Koldehofe, Andreas Mauthe, Heinz Koeppl, Ralf Steinmetz | ||
| Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) | Towards Reuse on the Meta-Level | Abstract PDF |
| Dominic Wirkner, Steve Boßelmann | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Towards SCION-enabled IXPs: The SCION Peering Coordinator | Abstract PDF |
| Lars-Christian Schulz, David Hausheer | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Towards Test Coverage Criteria for Visual Contracts | Abstract PDF |
| Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado | ||
| Volume 42: Multi-Paradigm Modeling 2010 | Towards Transformation Rule Composition | Abstract PDF |
| Eugene Syriani, Mark Asztalos, Manuel Wimmer, Marouane Kessentini | ||
| Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 | Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors | Abstract PDF |
| Maria Maximova, Hartmut Ehrig, Claudia Ermel | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | Transforming Event-B Models to Dafny Contracts | Abstract PDF |
| Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Treewidth, Pathwidth and Cospan Decompositions | Abstract PDF |
| Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König | ||
| Volume 44: OCL and Textual Modelling 2011 | UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure | Abstract PDF |
| Claas Wilke, Birgit Demuth | ||
| Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems | Abstract PDF |
| Anila Mjeda, Götz Botterweck | ||
| Volume 57: Bidirectional Transformations 2013 | Understanding bidirectional transformations with TGGs and JTL | Abstract PDF |
| Romina Eramo, Alessio Bucaioni | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | User Space Packet Schedulers: Towards Rapid Prototyping of Queue-Management Algorithms | Abstract PDF |
| Ralf Kundel, Paul Stiegele, Dat Tran, Julian Zobel, Osama Abboud, Rhaban Hark, Ralf Steinmetz | ||
| Volume 42: Multi-Paradigm Modeling 2010 | Using an Alternative Trace for QVT | Abstract PDF |
| Vincent Aranega, Anne Etien, Jean-Luc Dekeyser | ||
| Volume 44: OCL and Textual Modelling 2011 | Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling | Abstract PDF |
| Axel Uhl, Thomas Goldschmidt, Manuel Holzleitner | ||
| Volume 48: Foundations and Techniques for Open Source Software Certification 2011 | Using antipatterns to improve the quality of FLOSS development | Abstract PDF |
| Antonio Cerone, Dimitrios Settas | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems | Abstract PDF |
| Chris Johnson | ||
| Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) | Using SMT Engine to Generate Symbolic Automata | Abstract PDF |
| Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze | ||
| Volume 70: Automated Verification of Critical Systems 2014 | Using SMT for dealing with nondeterminism in ASM-based runtime verification | Abstract PDF |
| Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene | ||
| Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing | Abstract PDF |
| Till Schallau, Stefan Naujokat | ||
| Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) | Verification of Graph-based Model Transformations Using Alloy | Abstract PDF |
| Xiaoliang Wang, Fabian Büttner, Yngve Lamo | ||
| Volume 70: Automated Verification of Critical Systems 2014 | Verification of Information Flow Properties under Rational Observation | Abstract PDF |
| Beatrice Berard, John Mullins | ||
| Volume 66: Automated Verification of Critical Systems 2013 | Verifying a Mix Net in CSP | Abstract PDF |
| Efstathios Stathakidis, David Moreton Williams, James Heather | ||
| Volume 50: Multi-Paradigm Modeling 2011 | Verifying Access Control in Statecharts | Abstract PDF |
| Levi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | Verifying Critical Cyber-Physical Systems After Deployment | Abstract PDF |
| Colin O'Halloran | ||
| Volume 61: Graph Computation Models 2012 | Verifying Total Correctness of Graph Programs | Abstract PDF |
| Christopher M. Poskitt, Detlef Plump | ||
| Volume 47: Graph Transformation and Visual Modeling Techniques 2012 | View-based Modelling and State-Space Generation for Graph Transformation Systems | Abstract PDF |
| Niaz Arijo, Reiko Heckel | ||
| Volume 47: Graph Transformation and Visual Modeling Techniques 2012 | Visual Contracts as Test Oracle in AGG 2.0 | Abstract PDF |
| Tamim Ahmed Khan, Olga Runge, Reiko Heckel | ||
| Volume 54: Graph-Based Tools 2012 | Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars | Abstract PDF |
| Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer | ||
| Volume 31: Visual Formalisms for Patterns 2010 | Visual Specification Patterns | Abstract PDF |
| Andrew Gavin Fish, Ali Hamie, John Howse | ||
| Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 | Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications | Abstract PDF |
| Dies Harnie, Elisa Gonzalex Boix, Andoni Lombide Carreton, Christophe Scholliers, Wolfgang De Meuter | ||
| Volume 58: Graph Transformation and Visual Modeling Techniques 2013 | Well-formed Model Co-evolution with Customizable Model Migration | Abstract PDF |
| Florian Mantz, Gabriele Taentzer, Yngve Lamo | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Wiretapping Pods and Nodes - Lawful Interception in Kubernetes | Abstract PDF |
| Daniel Spiekermann, Jörg Keller | ||
| Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 | Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE | Abstract PDF |
| Vedran Kasalica, Anna-Lena Lamprecht | ||
| Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) | Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation | Abstract PDF |
| Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke | ||
| Volume 61: Graph Computation Models 2012 | XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D | Abstract PDF |
| Ole Kniemeyer, Winfried Kurth | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Zero Trust Service Function Chaining | Abstract PDF |
| Leonard Bradatsch, Frank Kargl, Oleksandr Miroshkin | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | “Vehicular Steganography”?: Opportunities and Challenges | Abstract PDF |
| Martin Cooney, Eric Järpe, Alexey Vinel | ||
| 841 - 888 of 888 Items | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | |