Browse Title Index


 
Issue Title
 
Volume 66: Automated Verification of Critical Systems 2013 Simplifying proofs of linearisability using layers of abstraction Abstract   PDF
Brijesh Dongol, John Derrick
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Smart Urban Data Space for Citizen Science Abstract   PDF
Heiko Bornholdt, David Jost, Philipp Kisters, Michel Rottleuthner, Sehrish Shafeeq, Winfried Lamersdorf, Thomas C. Schmidt, Mathias Fischer
 
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
 
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 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) Testing Interconnected Systems with Behavior Mining Abstract   PDF
Alexander Schieweck, Tiziana Margaria
 
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 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 Thoughts about using Constraint Solvers in Action Abstract   PDF
Malte Mues, Martin Fitzke, Falk Howar
 
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 80: Conference on Networked Systems 2021 (NetSys 2021) Time- and Frequency-Domain Dynamic Spectrum Access: Learning Cyclic Medium Access Patterns in Partially Observable Environments Abstract   PDF
Sebastian Lindner, Daniel Stolpmann, Andreas Timm-Giel
 
Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) Timed Automata for Mobile Ransomware Detection Abstract   PDF
Francesco Mercaldo, Fabio Martinelli, Antonella Santone
 
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 80: Conference on Networked Systems 2021 (NetSys 2021) Towards Deterministic Reconfigurable Networks Abstract   PDF
Zikai George Zhou, Wolfgang Kellerer
 
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 80: Conference on Networked Systems 2021 (NetSys 2021) Towards opportunistic UAV relaying for smart cities Abstract   PDF
Tobias Hardes, Clemens Boos, Christoph Sommer
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Towards Optimization-Based Predictive Congestion Control for the Tor Network Abstract   PDF
Christoph Döpmann, Felix Fiedler, Sergio Lucia, Florian Tschorsch
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Towards QoE-Driven Optimization of Multi-Dimensional Content Streaming Abstract   PDF
Yassin Alkhalili, Jannis Weil, anam tahir, Tobias Meuser, Boris Koldehofe, Andreas Mauthe, Heinz Koeppl, Ralf Steinmetz
 
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 80: Conference on Networked Systems 2021 (NetSys 2021) Towards SCION-enabled IXPs: The SCION Peering Coordinator Abstract   PDF
Lars-Christian Schulz, David Hausheer
 
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
 
781 - 840 of 870 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >>