|
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 > >> |