Browse Title Index


 
Issue Title
 
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 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface Details   PDF
Frank Hermann, Stefan Sauer
 
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 20 Years of Triple Graph Grammars: A Roadmap for Future Research Abstract   PDF
Anthony Anjorin, Erhan Leblebici, Andy Schürr
 
Volume 54: Graph-Based Tools 2012 7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface Abstract   PDF
Christian Krause, Bernhard Westfechtel
 
Volume 57: Bidirectional Transformations 2013 A Bidirectional Collaboration Framework for Bio-Model Development Abstract   PDF
John Roger Wilson-Kanamori, Soichiro Hidaka
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks Abstract   PDF
Mark Micallef, Christian Colombo
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) A Comparison of Incremental Triple Graph Grammar Tools Abstract   PDF
Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, Joel Greenyer
 
Volume 70: Automated Verification of Critical Systems 2014 A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour Abstract   PDF
Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos
 
Volume 60: Software Quality and Maintainability 2013 A Drill-Down Approach for Measuring Maintainability at Source Code Element Level Abstract   PDF
Péter Hegedűs, Tibor Bakota, Gergely Ladányi, Csaba Faragó, Rudolf Ferenc
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation Abstract   PDF
Christine Natschläger, Klaus-Dieter Schewe
 
Volume 70: Automated Verification of Critical Systems 2014 A Formal Co-Simulation Approach for Wireless Sensor Network Development Abstract   PDF
Adisak Intana, Michael R. Poppleton, Geoff V. Merrett
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 A Formal Specification of the DNSSEC Model Abstract   PDF
Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Daniel Luna
 
Volume 42: Multi-Paradigm Modeling 2010 A generic in-place transformation-based approach to structured model co-evolution Abstract   PDF
Bart Meyers, Manuel Wimmer, Antonio Cicchetti, Jonathan Sprinkle
 
Volume 31: Visual Formalisms for Patterns 2010 A Generic Technique for Domain-Specific Visual Language Model Refactoring to Patterns Abstract   PDF
Karen Li, John Hosking, John Grundy
 
Volume 61: Graph Computation Models 2012 A Graph Transformational View on Reductions in NP Abstract   PDF
Marcus Ermler, Sabine Kuske, Melanie Luderer, Caroline von Totth
 
Volume 50: Multi-Paradigm Modeling 2011 A hybrid approach for multi-view modeling Abstract   PDF
Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque
 
Volume 60: Software Quality and Maintainability 2013 A Meta Model for Software Architecture Conformance and Quality Assessment Abstract   PDF
Andreas Goeb
 
Volume 65: Software Quality and Maintainability 2014 A Model-Based Approach to Impact Analysis Using Model Differencing Abstract   PDF
Klaus Müller, Bernhard Rumpe
 
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) A Modular and Statically Typed Effectful Stack for Custom Graph Traversals Abstract   PDF
Norbert Tausch, Michael Philippsen
 
Volume 59: Patterns Promotion and Anti-patterns Prevention 2013 A Pattern Language for the Evolution of Component-based Software Architectures Abstract   PDF
Aakash Ahmad, Pooyan Jamshidi, Claus Pahl, Fawad Khaliq
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 A Pattern-based Approach for Initial Diagram Layout Abstract   PDF
Sonja Maier, Mark Minas
 
Volume 45: Formal Methods for Interactive Systems 2011 A Process Algebraic Description of a Temporal Wireless Network Protocol Abstract   PDF
Colm Bhandal, Melanie Bouroche, Arthur Hughes
 
Volume 57: Bidirectional Transformations 2013 A Survey of Triple Graph Grammar Tools Abstract   PDF
Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr
 
Volume 46: Automated Verification of Critical Systems 2011 A Survey on Event-B Decomposition Abstract   PDF
Thai Son Hoang, Alexei Iliasov, Renato A Silva, Wei Wei
 
Volume 46: Automated Verification of Critical Systems 2011 A Symbolic Model Checking Approach to Verifying Satellite Onboard Software Abstract   PDF
Xiang Gan, Jori Dubrovin, Keijo Heljanko
 
Volume 71: Graph Computation Models 2014 A Unification Algorithm for GP 2 Abstract   PDF
Ivaylo Hristakiev, Detlef Plump
 
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner (A) Vision for 2050 - Context-Based Image Understanding for a Human-Robot Soccer Match Abstract   PDF
Udo Frese, Tim Laue, Oliver Birbach, Thomas Röfer
 
Volume 39: Graph Computation Models 2010 A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation Abstract   PDF
Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 A visual language for temporal specifications based on Spider diagrams Abstract   PDF
Paolo Bottoni, Andrew Fish
 
Volume 42: Multi-Paradigm Modeling 2010 A Visual Notation for Declarative Behaviour Specification Abstract   PDF
Thomas Kuehne
 
Volume 63: Software Clones 2014 About Metrics for Clone Detection Abstract   PDF
Thierry Lavoie, Ettore Merlo
 
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 Abstract Interleaving Semantics for Reconfigurable Petri Nets Abstract   Untitled ()   PDF
Julia Padberg
 
Volume 45: Formal Methods for Interactive Systems 2011 Abstract Models and Cognitive Mismatch in Formal Verification Abstract   PDF
Rimvydas Rukšėnas, Paul Curzon
 
Volume 63: Software Clones 2014 Active Clones: Source Code Clones at Runtime Abstract   PDF
Mohammad Asif A. Khan, Kevin A Schneider, Chanchal K Roy
 
Volume 42: Multi-Paradigm Modeling 2010 Active Model Patterns with Interactive Model Transformation Abstract   PDF
Tamás Mészáros, Tihamér Levendovszky, Gergely Mezei
 
Volume 70: Automated Verification of Critical Systems 2014 Adaptive Task Automata with Earliest-Deadline-First Scheduling Abstract   PDF
Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson
 
Volume 54: Graph-Based Tools 2012 Adding Rule-Based Model Transformation to Modelling Languages in MetaEdit+ Abstract   PDF
Simon Van Mierlo, Hans Vangheluwe
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Algebraic Approach to Timed Petri Nets Abstract   PDF
Karsten Gabriel, Pascal Lingnau, Claudia Ermel
 
Volume 44: OCL and Textual Modelling 2011 Aligning OCL with UML Abstract   PDF
Edward Daniel Willink
 
Volume 50: Multi-Paradigm Modeling 2011 An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models Abstract   PDF
Alek Radjenovic, Richard F Paige
 
Volume 44: OCL and Textual Modelling 2011 An Architecture Description Language for Embedded Hardware Platforms Abstract   PDF
Guillaume Savaton, Jean-Luc Béchennec, Mikaël Briday, Rola Kassem
 
Volume 65: Software Quality and Maintainability 2014 An Initial Quality Analysis of the Ohloh Software Evolution Data Abstract   PDF
Magiel Bruntink
 
Volume 59: Patterns Promotion and Anti-patterns Prevention 2013 Analysing Anti-patterns Static Relationships with Design Patterns Abstract   PDF
Fehmi Jaafar, Yann-Gaël Guéhéneuc, Sylvie Hamel, foutse khomh
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 Analysis of Collaboration Effectiveness and Individuals’ Contribution in FLOSS Communities Abstract   PDF
Antonio Cerone, Simon Fong, Siraj Ahmed Shaikh
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Analysis of Hypergraph Transformation Systems in AGG based on M-Functors Abstract   PDF
Maria Maximova, Hartmut Ehrig, Claudia Ermel
 
Volume 71: Graph Computation Models 2014 Analysis of Petri Nets with Context-Free Structure Changes Abstract   PDF
Nils Erik Flick, Björn Engelmann
 
Volume 69: Formal Methods for Interactive Systems 2013 Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification Abstract   PDF
José-Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe palanque, Célia Martiinie, Eric Barboni
 
Volume 70: Automated Verification of Critical Systems 2014 Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations Abstract   PDF
Jingshu Chen, Marie Duflot, Stephan Merz
 
Volume 64: Programming and Computer Languages 2013 Analyzing Fuzzy Logic Computations with Fuzzy XPath Abstract   PDF
Jesus M. Almendros-Jimenez, Alejandro Luna, Gines Moreno, Carlos Vazquez
 
Volume 65: Software Quality and Maintainability 2014 Analyzing Gerrit Code Review Parameters with Bicho Abstract   PDF
Jesus M. Gonzalez-Barahona, Daniel Izquierdo-Cortazar, Gregorio Robles, Alvaro del Castillo
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Annotations on Complex Patterns Abstract   PDF
Paolo Bottoni, Francesco Parisi Presicce
 
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium Application Conditions for Reactive Systems with Applications to Bisimulation Theory Abstract   PDF
Mathias Hülsbusch
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Approximate Active Learning of Nondeterministic Input Output Transition Systems Abstract   PDF
Michele Volpato, Jan Tretmans
 
Volume 46: Automated Verification of Critical Systems 2011 Approximating Idealised Real-Time Specifications Using Time Bands Abstract   PDF
Brijesh Dongol, Ian J. Hayes
 
Volume 50: Multi-Paradigm Modeling 2011 Asserting the Correctness of Software Language Translations Abstract   PDF
Bruno Fontes Barroca, Vasco Moreira Amaral
 
Volume 49: Bidirectional Transformations 2012 Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case Abstract   PDF
Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas
 
Volume 31: Visual Formalisms for Patterns 2010 Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse Abstract   PDF
Karen Li, John Hosking, John Grundy, Tony Ly, Brian Webb
 
Volume 66: Automated Verification of Critical Systems 2013 Automated Analysis of Voting Systems with Dolev-Yao Intruder Model Abstract   PDF
Murat Moran, James Heather
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Automated Model Synchronization: A Case Study on UML with Maude Abstract   PDF
Artur Boronat, José Meseguer
 
421 - 480 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>