Browse Title Index


 
Issue Title
 
Volume 70: Automated Verification of Critical Systems 2014 Symbol Elimination for Automated Generation of Program Properties Abstract   PDF
Laura Kovacs
 
Volume 46: Automated Verification of Critical Systems 2011 Symbolic Model Checking and Safety Assessment of Altarica models Abstract   PDF
Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta
 
Volume 55: Programming and Computer Languages 2012 Tabling with Support for Relational Features in a Deductive Database Abstract   PDF
Fernando Sáenz-Pérez
 
Volume 52: Software Modeling in Education 2011 Teaching MDE through the Formal Verification of Process Models Abstract   PDF
Benoit Combemale, Xavier Cregut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
 
Volume 34: Software Modeling in Education at MODELS 2010 Teaching Model Driven Language Handling Abstract   PDF
Terje Gjøsæter, Andreas Prinz
 
Volume 52: Software Modeling in Education 2011 Teaching Modeling - An Initial Classification of Related Issues Abstract   PDF
Ludwik Kuzniarz, Jürgen Börstler
 
Volume 34: Software Modeling in Education at MODELS 2010 Teaching Object-Oriented Modelling using Concept Maps Abstract   PDF
Ven Yu Sien
 
Volume 34: Software Modeling in Education at MODELS 2010 Teaching OCL Standard Library: First Part of an OCL 2.x Course Abstract   PDF
Joanna Chimiak-Opoka, Birgit Demuth
 
Volume 52: Software Modeling in Education 2011 Teaching Programming Students how to Model: Challenges & Opportunities Abstract   PDF
Robert France
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Test Case Generation Using Visual Contracts Abstract   PDF
Olga Runge, Tamim Ahmed Khan, Reiko Heckel
 
Volume 55: Programming and Computer Languages 2012 Test-Case Generation for SQL Nested Queries with Existential Conditions Abstract   PDF
Rafael Caballero, José Luzon-Martin, Antonio Tenorio-Fornes
 
Volume 46: Automated Verification of Critical Systems 2011 The Belgian Electronic Identity Card: a Verification Case Study Abstract   PDF
Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens
 
Volume 70: Automated Verification of Critical Systems 2014 The GPUVerify Method: a Tutorial Overview Abstract   PDF
Alastair Donaldson
 
Volume 70: Automated Verification of Critical Systems 2014 The highs and lows of deploying Formal Methods in Industry Abstract   PDF
Guy H. Broadfoot
 
Volume 65: Software Quality and Maintainability 2014 The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software Representation Abstract   PDF
Coen De Roover, Christophe Scholliers, Viviane Jonckers, Javier Pérez, Alessandro Murgia, Serge Demeyer
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 The Role of Best Practices to Appraise Open Source Software Abstract   PDF
Miguel Regedor, Daniela da Cruz, Pedro Henriques
 
Volume 34: Software Modeling in Education at MODELS 2010 The Role of User Guidance in the Industrial Adoption of MDE Approach Abstract   PDF
Jari Rauhamäki, Outi Laitinen, Seppo Sierla, Seppo Kuikka
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions Abstract   PDF
Joel Greenyer, Christian Brenner, Valerio Panzica La Manna
 
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner The VSE Refinement Method in Hets Abstract   PDF
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) ThreadSafe: Static Analysis for Java Concurrency Abstract   PDF
Robert Atkey, Donald Sannella
 
Volume 52: Software Modeling in Education 2011 Threshold Concepts in Object-Oriented Modelling Abstract   PDF
Ven Yu Sien, David Weng Kwai Chong
 
Volume 63: Software Clones 2014 Toward a Code-Clone Search through the Entire Lifecycle of a Software Product Abstract   PDF
Toshihiro Kamiya
 
Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 Towards a Flexible and Evolvable Framework for Self-Adaptation Abstract   PDF
Lucas Provenvesi, Frank Eliassen
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Towards a Maude Tool for Model Checking Temporal Graph Properties Abstract   PDF
Andrea Vandin, Alberto Lluch Lafuente
 
Volume 42: Multi-Paradigm Modeling 2010 Towards a Methodology for Semantics Specification of Domain-specific Models through Properties Abstract   PDF
Ragnhild Van Der Straeten
 
Volume 31: Visual Formalisms for Patterns 2010 Towards a Pattern Language for the Design of Collaborative Interactive Systems Abstract   PDF
Claudia Iacob, Piero Mussio, Li Zhu, Barbara Rita Barricelli
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Towards Alternating Automata for Graph Languages Abstract   PDF
H.J. Sander Bruggink, Mathias Hülsbusch, Barbara König
 
Volume 63: Software Clones 2014 Towards an Analysis of Who Creates Clone and Who Reuses it Abstract   PDF
Takuya Moriwaki, Hiroshi Igaki, Yuki Yamanaka, Norihiro Yoshida, Shinji Kusumoto, Katsuro Inoue
 
Volume 64: Programming and Computer Languages 2013 Towards Bridging the Expressiveness Gap Between \linebreak Relational and Deductive Databases Abstract   PDF
Fernando Sáenz-Pérez
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Towards Dynamic Reverse Engineering Visual Contracts from Java Abstract   PDF
Abdullah M. Alshanqiti, Reiko Heckel
 
Volume 40: Petri Nets and Graph Transformations 2010 Towards Guided Trajectory Exploration of Graph Transformation Systems Abstract   PDF
Ábel Hegedüs, Ákos Horváth, Dániel Varró
 
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) Towards Model Checking Reconfigurable Petri Nets using Maude Abstract   PDF
Julia Padberg, Alexander Schulz
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Towards Test Coverage Criteria for Visual Contracts Abstract   PDF
Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado
 
Volume 42: Multi-Paradigm Modeling 2010 Towards Transformation Rule Composition Abstract   PDF
Eugene Syriani, Mark Asztalos, Manuel Wimmer, Marouane Kessentini
 
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors Abstract   PDF
Maria Maximova, Hartmut Ehrig, Claudia Ermel
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Transforming Event-B Models to Dafny Contracts Abstract   PDF
Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Treewidth, Pathwidth and Cospan Decompositions Abstract   PDF
Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König
 
Volume 44: OCL and Textual Modelling 2011 UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure Abstract   PDF
Claas Wilke, Birgit Demuth
 
Volume 57: Bidirectional Transformations 2013 Understanding bidirectional transformations with TGGs and JTL Abstract   PDF
Romina Eramo, Alessio Bucaioni
 
Volume 42: Multi-Paradigm Modeling 2010 Using an Alternative Trace for QVT Abstract   PDF
Vincent Aranega, Anne Etien, Jean-Luc Dekeyser
 
Volume 44: OCL and Textual Modelling 2011 Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling Abstract   PDF
Axel Uhl, Thomas Goldschmidt, Manuel Holzleitner
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 Using antipatterns to improve the quality of FLOSS development Abstract   PDF
Antonio Cerone, Dimitrios Settas
 
Volume 45: Formal Methods for Interactive Systems 2011 Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems Abstract   PDF
Chris Johnson
 
Volume 70: Automated Verification of Critical Systems 2014 Using SMT for dealing with nondeterminism in ASM-based runtime verification Abstract   PDF
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Verification of Graph-based Model Transformations Using Alloy Abstract   PDF
Xiaoliang Wang, Fabian Büttner, Yngve Lamo
 
Volume 70: Automated Verification of Critical Systems 2014 Verification of Information Flow Properties under Rational Observation Abstract   PDF
Beatrice Berard, John Mullins
 
Volume 66: Automated Verification of Critical Systems 2013 Verifying a Mix Net in CSP Abstract   PDF
Efstathios Stathakidis, David Moreton Williams, James Heather
 
Volume 50: Multi-Paradigm Modeling 2011 Verifying Access Control in Statecharts Abstract   PDF
Levi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Verifying Critical Cyber-Physical Systems After Deployment Abstract   PDF
Colin O'Halloran
 
Volume 61: Graph Computation Models 2012 Verifying Total Correctness of Graph Programs Abstract   PDF
Christopher M. Poskitt, Detlef Plump
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 View-based Modelling and State-Space Generation for Graph Transformation Systems Abstract   PDF
Niaz Arijo, Reiko Heckel
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Visual Contracts as Test Oracle in AGG 2.0 Abstract   PDF
Tamim Ahmed Khan, Olga Runge, Reiko Heckel
 
Volume 54: Graph-Based Tools 2012 Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars Abstract   PDF
Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer
 
Volume 31: Visual Formalisms for Patterns 2010 Visual Specification Patterns Abstract   PDF
Andrew Gavin Fish, Ali Hamie, John Howse
 
Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications Abstract   PDF
Dies Harnie, Elisa Gonzalex Boix, Andoni Lombide Carreton, Christophe Scholliers, Wolfgang De Meuter
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Well-formed Model Co-evolution with Customizable Model Migration Abstract   PDF
Florian Mantz, Gabriele Taentzer, Yngve Lamo
 
Volume 61: Graph Computation Models 2012 XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D Abstract   PDF
Ole Kniemeyer, Winfried Kurth
 
721 - 777 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13