Electronic Communications of the EASST
| Issue | Title | |
| Volume 31: Visual Formalisms for Patterns 2010 | Patterns of Federated Identity Management Systems as Architectural Reconfigurations | Abstract PDF |
| Hyder Ali Nizamani, Emilio Tuosto | ||
| Volume 31: Visual Formalisms for Patterns 2010 | Combination of Different Layout Approaches | Abstract PDF |
| Sonja Maier, Mark Minas | ||
| Volume 32: Graph-Based Tools 2010 | Neighbourhood Abstraction in GROOVE | Abstract PDF |
| Arend Rensink, Eduardo Zambon | ||
| Volume 32: Graph-Based Tools 2010 | Reachability Analysis on Timed Graph Transformation Systems | Abstract PDF |
| Christian Heinzemann, Julian Suck, Tobias Eckardt | ||
| Volume 32: Graph-Based Tools 2010 | Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques | Abstract PDF |
| Steffen Mazanek, Christian Rutetzki, Mark Minas | ||
| Volume 32: Graph-Based Tools 2010 | Visualization of Traceability Models with Domain-specific Layouting | Abstract PDF |
| Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Ákos Horváth | ||
| Volume 32: Graph-Based Tools 2010 | From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation | Abstract PDF |
| Torsten Strobl, Mark Minas, Andreas Pleuss, Arnd Vitzthum | ||
| Volume 32: Graph-Based Tools 2010 | Distributed Graph-Based State Space Generation | Abstract PDF |
| Stefan Blom, Gijs Kant, Arend Rensink | ||
| Volume 32: Graph-Based Tools 2010 | Visual Modeling of Controlled EMF Model Transformation using HENSHIN | Abstract PDF |
| Claudia Ermel, Enrico Biermann, Johann Schmidt, Angeline Warning | ||
| Volume 32: Graph-Based Tools 2010 | Attribute Computations in the DPoPb Graph Transformation Engine | Abstract PDF |
| Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev | ||
| Volume 32: Graph-Based Tools 2010 | Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010 | Details PDF |
| Juan de Lara, Daniel Varro | ||
| Volume 32: Graph-Based Tools 2010 | Verification of Model Transformations to Refactoring Mobile Social Networks | Abstract PDF |
| Mark Asztalos, Péter Ekler, László Lengyel, Tihamér Levendovszky | ||
| Volume 32: Graph-Based Tools 2010 | Incremental Pattern Matching in Graph-Based State Space Exploration | Abstract PDF |
| AmirHossein Ghamarian, Arash Jalali, Arend Rensink | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Preface | Details PDF |
| Luis Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Component Certification as a Prerequisite forWidespread OSS Reuse | Abstract PDF |
| George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Damages and Benefits of Certification: A perspective from an Independent Assessment Body | Abstract PDF |
| Mario Fusani, Eda Marchetti | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Security in Open Model Software with Hardware Virtualisation – The Railway Control System Perspective | Abstract PDF |
| Johannes Feuser, Jan Peleska | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Security Evaluation and Hardening of Free and Open Source Software (FOSS) | Abstract PDF |
| Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Kaitouni, Marc-André Laverdière, Hai Zhou Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Methodologies and Tools for OSS: Current State of the Practice | Abstract PDF |
| Zulqarnain Hashmi, Siraj Ahmed Shaikh, Naveed Ikram | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects | Abstract PDF |
| Sulayman K Sowe, Antonio Cerone | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification | Abstract PDF |
| Mads Chr. Olesen, Rene Rydhof Hansen, Julia L. Lawall, Nicolas Palix | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Open Source Verification under a Cloud | Abstract PDF |
| Peter T Breuer, Simon Pickin | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Using Free/Libre Open Source Software Projects as E-learning Tools | Abstract PDF |
| Antonio Cerone, Sulayman K Sowe | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Testing as a Certification Approach | Abstract PDF |
| Alberto Simões, Nuno Carvalho, José João Almeida | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | GUI Inspection from Source Code Analysis | Abstract PDF |
| Joao Carlos Silva, José Creissac, Joao Saraiva | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | Safe Integration of Annotated Components in Open Source Projects | Abstract PDF |
| Sergio Areias, Daniela Da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto | ||
| Volume 33: Foundations and Techniques for Open Source Software Certification 2010 | A Deductive Verification Platform for Cryptographic Software | Abstract PDF |
| Manuel Barbosa, J. Pinto, J.-C. Filliatre, B. Vieira | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study | Abstract PDF |
| Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Static Analysis of Information Release in Interactive Programs | Abstract PDF |
| Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Evaluation Strategies for Datalog-based Points-To Analysis | Abstract PDF |
| Marco A. Feliu, Christophe Joubert, Fernando Tarin | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Integrating Formal Methods with Informal Digital Hardware Development | Abstract PDF |
| Neil Evans | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Automatically Verifying Railway Interlockings using SAT-based Model Checking | Abstract PDF |
| Phillip James, Markus Roggenbach | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Development of Rabin’s Choice Coordination Algorithm in Event-B | Abstract PDF |
| Emre Yilmaz, Thai Son Hoang | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Verification of Symmetry Detection using PVS | Abstract PDF |
| Shamim Ripon, Alice Miller | ||
| Volume 35: Automated Verification of Critical Systems 2010 | A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction | Abstract PDF |
| Cristian Daniel Rosa, Stephan Merz, Martin Quinson | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Proving Distributed Algorithms by Combining Refinement and Local Computations | Abstract PDF |
| Mohamed Tounsi, Mohamed Mosbah, Dominique Méry | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Checking Consistency Between Message Choreographies And Their Implementation Models | Abstract PDF |
| Vitaly Kozyura, Andreas Roth, Sebastian Wieczorek, Wei Wei | ||
| Volume 36: OCL and Textual Modelling | Navigating Across Non-Navigable Ecore References via OCL | Abstract PDF |
| Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger, Stephan Hildebrandt | ||
| Volume 36: OCL and Textual Modelling | Towards a Conceptual Framework Supporting Model Compilability | Abstract PDF |
| Dan Ioan Chiorean, Vladiela Petrascu | ||
| Volume 36: OCL and Textual Modelling | MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL | Abstract PDF |
| Marina Egea, Carolina Dania, Manuel Clavel | ||
| Volume 36: OCL and Textual Modelling | Verified Visualisation of Textual Modelling Languages | Abstract PDF |
| Fintan Fairmichael, Joseph Kiniry | ||
| Volume 36: OCL and Textual Modelling | On the Need of User-defined Libraries in OCL | Abstract PDF |
| Thomas Baar | ||
| Volume 36: OCL and Textual Modelling | Re-engineering Eclipse MDT/OCL for Xtext | Abstract PDF |
| Edward Daniel Willink | ||
| Volume 36: OCL and Textual Modelling | A Feature Model for an IDE4OCL | Abstract PDF |
| Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth | ||
| Volume 36: OCL and Textual Modelling | Support for Bidirectional Model-to-Text Transformations | Abstract PDF |
| Anthony Anjorin, Marius Paul Lauder, Michael Schlereth, Andy Schürr | ||
| Volume 36: OCL and Textual Modelling | Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010) | Details PDF |
| Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla | ||
| Volume 36: OCL and Textual Modelling | An Overview of F-OML: An F-Logic Based Object Modeling Language | Abstract PDF |
| Mira Balaban, Michael Kifer | ||
| Volume 37: Kommunikation in Verteilten Systemen 2011 | Vorwort | Details PDF |
| Horst Hellbrück | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Using Graph Transformations and Graph Abstractions for Software Verification | Abstract PDF |
| Eduardo Zambon, Arend Rensink | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Static Type Checking of Model Transformation Programs | Abstract PDF |
| Zoltán Ujhelyi, Ákos Horváth, Dániel Varró | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation | Abstract PDF |
| Adwoa Donyina, Reiko Heckel | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Distributed Port Automata | Abstract PDF |
| Christian Krause | ||
| Volume 3: Software Evolution through Transformations 2006 | Towards Distributed BPEL Orchestrations | Abstract PDF |
| Luciano Baresi, Andrea Maurino, Stefano Modafferi | ||
| Volume 3: Software Evolution through Transformations 2006 | Exogenous Model Merging by means of Model Management Operators | Abstract PDF |
| Artur Boronat | ||
| Volume 3: Software Evolution through Transformations 2006 | From C++ Refactorings to Graph Transformations | Abstract PDF |
| László Vidács, Martin Gogolla, Rudolf Ferenc | ||
| Volume 3: Software Evolution through Transformations 2006 | A MDE-Based Approach for Developing Multi-Agent Systems | Abstract PDF |
| Viviane Torres da Silva, Beatriz de Maria, Carlos J. P. de Lucena | ||
| Volume 3: Software Evolution through Transformations 2006 | An Approach to Invariant-based Program Refactoring | Abstract PDF |
| Tiago Massoni | ||
| Volume 3: Software Evolution through Transformations 2006 | Optimizing Pattern Matching Compilation by Program Transformation | Abstract PDF |
| Emilie Balland, Pierre-Etienne Moreau | ||
| Volume 3: Software Evolution through Transformations 2006 | Preface | Details PDF |
| Reiko Heckel, Jean-Marie Favre, Tom Mens | ||
| Volume 3: Software Evolution through Transformations 2006 | Refactoring Informations Systems | Abstract PDF |
| Michael Löwe, Harald König, Michael Peters, Christoph Schulz | ||
| 121 - 180 of 888 Items | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |