Electronic Communications of the EASST
| Issue | Title | |
| Volume 58: Graph Transformation and Visual Modeling Techniques 2013 | Preface | Details PDF |
| Matthias Tichy, Leila Ribeiro | ||
| Volume 60: Software Quality and Maintainability 2013 | Preface | Details PDF |
| Eric Bouwers, Yijun Yu | ||
| Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner | Preface | Details PDF |
| Till Mossakowski, Markus Roggenbach, Lutz Schröder | ||
| Volume 57: Bidirectional Transformations 2013 | Preface | Details PDF |
| Perdita Stevens, James F Terwilliger | ||
| Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) | Preface | Details PDF |
| Bernhard Westfechtel, Matthias Tichy | ||
| Volume 70: Automated Verification of Critical Systems 2014 | Preface | Details PDF |
| Marieke Huisman, Jaco van de Pol | ||
| Volume 71: Graph Computation Models 2014 | Preface | Details PDF |
| Rachid Echahed, Anngret Habel, Mohamed Mosbah | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Preface | Abstract PDF |
| Martina Seidl, Peter J. Clarke | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Preface | Details PDF |
| Andrea Corradini | ||
| Volume 40: Petri Nets and Graph Transformations 2010 | Preface | Abstract PDF |
| Claudia Ermel, Kathrin Hoffmann | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Preface | Details PDF |
| Fabio Gadducci, Leonardo Mariani | ||
| Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 | Preface | Details PDF |
| Gabriel Hermosillo, Russel Nzekwa, Michael Wagner | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | Preface | Abstract PDF |
| Gudmund Grov, Andrew Ireland | ||
| Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 | Preface | Details PDF |
| Detlef Plump | ||
| Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) | Preface | Details PDF |
| Anna-Lena Lamprecht | ||
| Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017) | Preface | Details PDF |
| Anila Mjeda | ||
| Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) | Preface | Abstract PDF |
| David Pichardie, Mihaela Sighireanu | ||
| Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) | Preface | Details PDF |
| Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck | ||
| Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 | Preface | Details PDF |
| Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat | ||
| Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Preface | Details PDF |
| Sven Jörges, Salim Saay, Steven Smyth | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Preface and Table of Contents | Details PDF |
| Mathias Fischer, Winfried Lamersdorf | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Preface for FMIS 2011 | Details PDF |
| Judy Bowen, Steve Reeves | ||
| Volume 44: OCL and Textual Modelling 2011 | Preface (OCL 2011 Proceedings) | Abstract PDF |
| Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff | ||
| Volume 55: Programming and Computer Languages 2012 | Preface of Prole 2012 | Abstract PDF |
| María-del-Mar Gallardo | ||
| Volume 65: Software Quality and Maintainability 2014 | Preface of SQM 2014 Proceedings - 8th International Workshop on Software Quality and Maintainability | Abstract PDF |
| Lodewijk Bergmans, Tom Mens, Steven Raemaekers | ||
| Volume 69: Formal Methods for Interactive Systems 2013 | Preface to the proceedings of FMIS 2013 | Details PDF |
| Judy Bowen, Steve Reeves | ||
| Volume 63: Software Clones 2014 | Preface to the Proceedings of the Eighth International Workshop on Software Clones | Details PDF |
| Rainer Koschke, Nils Göde, Yoshiki Higo | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Privacy-Preserving and Scalable Authentication based on Network Connection Traces | Abstract PDF |
| David Monschein, Oliver Waldhorst | ||
| Volume 47: Graph Transformation and Visual Modeling Techniques 2012 | Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques | Details PDF |
| Andrew Fish, Leen Lambers | ||
| Volume 64: Programming and Computer Languages 2013 | Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013) | Abstract PDF |
| Lars-Åke Fredlund | ||
| Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 | Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms | Abstract PDF |
| Karsten Gabriel | ||
| Volume 48: Foundations and Techniques for Open Source Software Certification 2011 | Process Scenarios in Open Source Software Certification | Abstract PDF |
| Fabrizio Fabbrini, Mario Fusani, Eda Marchetti | ||
| Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) | Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base | Abstract PDF |
| Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Propagation of Constraints along Model Transformations Based on Triple Graph Grammars | Abstract PDF |
| Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Property Inference-based Federated Learning Groups for Collaborative Network Anomaly Detection | Abstract PDF |
| Jens Wettlaufer | ||
| Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 | Proving Correctness of Graph Programs Relative to Recursively Nested Conditions | Abstract PDF |
| Nils Erik Flick | ||
| Volume 53: Automated Verification of Critical Systems 2012 | Proving Linearizability of Multiset with Local Proof Obligations | Abstract PDF |
| Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn | ||
| Volume 69: Formal Methods for Interactive Systems 2013 | PVSio-web: a tool for rapid prototyping device user interfaces in PVS | Abstract PDF |
| Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold Thimbleby | ||
| Volume 70: Automated Verification of Critical Systems 2014 | QBF with Soft Variables | Abstract PDF |
| Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker | ||
| Volume 48: Foundations and Techniques for Open Source Software Certification 2011 | Quality, Success, Communication and Contribution in Open Source Software | Abstract PDF |
| Sara Santos Fernandes | ||
| Volume 53: Automated Verification of Critical Systems 2012 | Railway modelling in CSP||B: the double junction case study | Abstract PDF |
| Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne, Hoang Nga Nguyen | ||
| Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) | Rapid Prototyping of Topology Control Algorithms by Graph Transformation | Abstract PDF |
| Géza Kulcsár, Michael Stein, Immanuel Schweizer, Gergely Varró, Max Mühlhäuser, Andy Schürr | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Ray-tracing based Inference Attacks on Physical Layer Security | Abstract PDF |
| Paul Walther, Markus Richter, Thorsten Strufe | ||
| Volume 70: Automated Verification of Critical Systems 2014 | Reachability and Reward Checking for Stochastic Timed Automata | Abstract PDF |
| Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Realizing Impure Functions in Interaction Nets | Abstract PDF |
| Eugen Jiresch | ||
| Volume 50: Multi-Paradigm Modeling 2011 | Recent Advances in Multi-Paradigm Modeling | Abstract PDF |
| Vasco Amaral, Cécile Hardebolle, Hans Vangheluwe, László Lengyel, Peter Bunus | ||
| Volume 54: Graph-Based Tools 2012 | ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets | Abstract PDF |
| Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann | ||
| Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | ReForm: A Tool for Rapid Requirements Formalization | Abstract PDF |
| Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcala, Suresh Veluru, Stylianos Basagiannis | ||
| Volume 49: Bidirectional Transformations 2012 | Relating Algebraic and Coalgebraic Descriptions of Lenses | Abstract PDF |
| Jeremy Gibbons, Michael Johnson | ||
| Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 | Reliable Multicast in Heterogeneous Mobile Ad-hoc Networks | Abstract PDF |
| Peggy Begerow, Sebastian Schellenberg, Jochen Seitz, Thomas Finke, Juergen Schroeder | ||
| Volume 47: Graph Transformation and Visual Modeling Techniques 2012 | Remedy of Mixed Initiative Conflicts in Model-based System Engineering | Abstract PDF |
| Fenglin Han, Peter Herrmann | ||
| Volume 50: Multi-Paradigm Modeling 2011 | Reusing Model Transformations across Heterogeneous Metamodels | Abstract PDF |
| Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara | ||
| Volume 58: Graph Transformation and Visual Modeling Techniques 2013 | Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars | Abstract PDF |
| Niklas Fors, Görel Hedin | ||
| Volume 60: Software Quality and Maintainability 2013 | Revealing Missing Bug-Fixes in Code Clones in Large-Scale Code Bases | Abstract PDF |
| Martin Poehlmann, Elmar Juergens | ||
| Volume 66: Automated Verification of Critical Systems 2013 | Richer Interface Automata with Optimistic and Pessimistic Compatibility | Abstract PDF |
| Gerald Lüttgen, Walter Vogler | ||
| Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) | Rigorous Design of FDIR Systems with BIP | Abstract PDF |
| Iulia Dragomir, Saddek Bensalem | ||
| Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 | Robust Exploration Strategies for a Robot exploring a Wireless Network | Abstract PDF |
| Christian Blum, Verena Vanessa Hafner | ||
| Volume 63: Software Clones 2014 | Robust Parsing of Cloned Token Sequences | Abstract PDF |
| Rainer Koschke, Ole Jan Lars Riemann | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Role Allocation and Scheme in Software Engineering Course Projects | Abstract PDF |
| Ghafour Alipour | ||
| Volume 40: Petri Nets and Graph Transformations 2010 | RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets | Abstract PDF |
| Claudia Ermel, Sarkaft Shareef, Winzent Fischer | ||
| 721 - 780 of 888 Items | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |