Browse Title Index


 
Issue Title
 
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
 
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 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) Towards Reuse on the Meta-Level Abstract   PDF
Dominic Wirkner, Steve Boßelmann
 
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
 
721 - 780 of 787 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >>