Browse Title Index


 
Issue Title
 
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 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 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 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 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 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 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 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 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
 
Volume 54: Graph-Based Tools 2012 Rooted Graph Programs Abstract   PDF
Detlef Plump, Christopher Bak
 
Volume 64: Programming and Computer Languages 2013 R-SQL: An SQL Database System with Extended Recursion Abstract   PDF
Fernando Sáenz-Pérez, Susana Nieva, Jaime Sanchez-Hernandez, Gabriel Aranda
 
Volume 42: Multi-Paradigm Modeling 2010 Rule-Based Integration of Domain-Specific Modelling Languages Abstract   PDF
Benjamin Braatz, Christoph Brandt
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study Abstract   PDF
Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy
 
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium Search-Based Refactoring using Unfolding of Graph Transformation Systems Abstract   PDF
Fawad Qayum, Reiko Heckel
 
Volume 50: Multi-Paradigm Modeling 2011 Semantic Adaptation using CCSL Clock Constraints Abstract   PDF
Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
 
Volume 53: Automated Verification of Critical Systems 2012 Semi-automatic Proofs about Object Graphs in Separation Logic Abstract   PDF
Holger Gast
 
Volume 66: Automated Verification of Critical Systems 2013 Simplifying proofs of linearisability using layers of abstraction Abstract   PDF
Brijesh Dongol, John Derrick
 
Volume 65: Software Quality and Maintainability 2014 Software Language Engineering by Intentional Rewriting Abstract   PDF
Vadim Zaytsev
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices Abstract   PDF
Eduardo Zambon, Arend Rensink
 
Volume 59: Patterns Promotion and Anti-patterns Prevention 2013 Special Issue of PPAP 2013: Preface Abstract   PDF
Surafel Lemma Abebe, Venera Arnaoudova, Laleh Eshkevari, Aminata Sabane, Wei Wu
 
Volume 46: Automated Verification of Critical Systems 2011 Specification and refinement of discrete timing properties in Event-B Abstract   PDF
Mohammad Reza Sarshogh, Michael Butler
 
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner Spreadsheets with a Semantic Layer Abstract   PDF
Andrea Kohlhase, Michael Kohlhase
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) State Distribution Policy for Distributed Model Checking of Actor Models Abstract   PDF
Ehsan Khamespanah, Marjan Sirjani, Mohammadreza Mousavi, Zeynab Sabahi Kaviani, Mohamadreza Razzazi
 
Volume 66: Automated Verification of Critical Systems 2013 Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata Abstract   PDF
Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
 
Volume 69: Formal Methods for Interactive Systems 2013 Stochastic Modelling and Analysis of Driver Behaviour Abstract   PDF
Antonio Cerone, Yishi Zhao
 
Volume 55: Programming and Computer Languages 2012 String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations Abstract   PDF
Gines Moreno, Pedro J. Morcillo, Jaime Penabad, Carlos Vazquez
 
Volume 46: Automated Verification of Critical Systems 2011 Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation Abstract   PDF
Sanaz Yeganefard, Michael Butler
 
Volume 63: Software Clones 2014 Studying Late Propagations in Code Clone Evolution Using Software Repository Mining Abstract   PDF
Hsiao Hui Mui, Andy Zaidman, Martin Pinzger
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Studying Verification Conditions for Imperative Programs Abstract   PDF
Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto
 
Volume 45: Formal Methods for Interactive Systems 2011 Supporting Mobile Application Development with Model-Driven Emulation Abstract   PDF
Judy Bowen, Annika Hinze
 
661 - 720 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>