Browse Title Index


 
Issue Title
 
Volume 30: Graph and Model Transformation 2010 Expressiveness of graph conditions with variables Abstract   PDF
Annegret Habel, Hendrik Radke
 
Volume 30: Graph and Model Transformation 2010 Towards Theorem Proving Graph Grammars using Event-B Abstract   PDF
Leila Ribeiro, Fernando Luis Dotti, Simone André da Costa, Fabiane Cristine Dillenburg
 
Volume 30: Graph and Model Transformation 2010 A Termination Criterion for Graph Transformations with Negative Application Conditions Abstract   PDF
Paolo Bottoni, Francesco Parisi Presicce
 
Volume 30: Graph and Model Transformation 2010 Graph Modelling and Transformation: Theory meets Practice Abstract   PDF
Claudia Ermel, Karsten Ehrig
 
Volume 30: Graph and Model Transformation 2010 Symbolic Attributed Graphs for Attributed Graph Transformation Abstract   PDF
Fernando Orejas, Leen Lambers
 
Volume 30: Graph and Model Transformation 2010 Modeling a Service and Session Calculus with Hierarchical Graph Transformation Abstract   PDF
Roberto Bruni, Andrea Corradini, Ugo Montanari
 
Volume 30: Graph and Model Transformation 2010 International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface Details   PDF
Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
 
Volume 30: Graph and Model Transformation 2010 Second-Order Value Numbering Abstract   PDF
Tiziana Margaria, Bernhard Steffen, Christian Topnik
 
Volume 30: Graph and Model Transformation 2010 Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets Abstract   PDF
Tony Modica, Kathrin Hoffmann
 
Volume 31: Visual Formalisms for Patterns 2010 Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10 Details   PDF
Paolo Bottoni, Esther Guerra, Juan de Lara
 
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ó
 
361 - 420 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>