Browse Title Index


 
Issue Title
 
Volume 69: Formal Methods for Interactive Systems 2013 Automated theorem proving for the systematic analysis of an infusion pump Abstract   PDF
Michael D. Harrison, Paolo Masci, Jose Creissac Campos, Paul Curzon
 
Volume 42: Multi-Paradigm Modeling 2010 Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations Abstract   PDF
Mark Asztalos, Péter Ekler, László Lengyel, Tihamér Levendovszky, Gergely Mezei, Tamás Mészáros
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Automated Verification of Asynchronous Communicating Systems with TLA+ Abstract   PDF
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
 
Volume 53: Automated Verification of Critical Systems 2012 Automated Verification of Specifications with Typestates and Access Permissions Abstract   PDF
Radu I. Siminiceanu, Ijaz Ahmed, Nestor Catano
 
Volume 50: Multi-Paradigm Modeling 2011 Automatic Deployment Space Exploration Using Refinement Transformations Abstract   PDF
Joachim Denil, Antonio Cicchetti, Matthias Biehl, Paul De Meulenaere, Romina Eramo, Serge Demeyer, Hans Vangheluwe
 
Volume 64: Programming and Computer Languages 2013 Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT Abstract   PDF
Miquel Bofill, Gines Moreno, Carlos Vazquez, Mateu Villaret
 
Volume 35: Automated Verification of Critical Systems 2010 Avocs2010 Preface Details   PDF
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
 
Volume 52: Software Modeling in Education 2011 Avoiding OCL specification pitfalls Abstract   PDF
Dan Ioan Chiorean, Ileana Ober, Vladiela Petrascu
 
Volume 61: Graph Computation Models 2012 Big Red: A Development Environment for Bigraphs Abstract   PDF
Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt
 
Volume 66: Automated Verification of Critical Systems 2013 Building Traceable Event-B Models from Requirements Abstract   PDF
Eman Alkhammash, Asieh Salehi Fathabadi, Michael Butler, Corina Cirstea
 
Volume 45: Formal Methods for Interactive Systems 2011 Capturing the distinction between task and device errors in a formal model of user behaviour Abstract   PDF
Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Cox, Ann Blandford, Duncan Brumby
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation Abstract   PDF
Dominique Duval, Rachid Echahed, Frederic Prost
 
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 Challenging the Need for Transparency, Controllability, and Consistency in Usable Adaptation Design Abstract   PDF
Romy Kniewel, Christoph Evers, Ludger Schmidt, Kurt Geihs
 
Volume 63: Software Clones 2014 Clone Detection in Matlab Stateflow Models Abstract   PDF
Thomas Roy Dean, Jian Chen, Manar H Alalfi
 
Volume 63: Software Clones 2014 Clones and Macro co-changes Abstract   PDF
Angela Lozano, Fehmi Jaafar, Kim Mens, Yann Gaël Guéhéneuc
 
Volume 45: Formal Methods for Interactive Systems 2011 Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems Abstract   PDF
Antonio Cerone
 
Volume 39: Graph Computation Models 2010 Coinductive Graph Representation: the Problem of Embedded Lists Abstract   PDF
Celia Picard, Ralph Matthes
 
Volume 46: Automated Verification of Critical Systems 2011 Combining Model Checking and Discrete-Event Supervisor Synthesis Abstract   PDF
Nicolas Chausse, Helen Xu, Juergen Dingel, Karen Rudie
 
Volume 42: Multi-Paradigm Modeling 2010 Combining SysML and Model Transformations to Support Systems Engineering Analysis Abstract   PDF
Aleksandr Kerzhner, Christiaan Paredis
 
Volume 65: Software Quality and Maintainability 2014 Comparing communication and development networks for predicting file change proneness: An exploratory study considering process and social metrics Abstract   PDF
Igor Scaliante Wiese, Douglas Nassif Junior, Reginaldo Ré, Igor Fabio Steinmacher, Marco Aurelio Gerosa
 
Volume 49: Bidirectional Transformations 2012 Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques Abstract   PDF
Anthony Anjorin, Gergely Varró, Andy Schürr
 
Volume 42: Multi-Paradigm Modeling 2010 Compliance between Architecture and Design Models of Component-Based Systems Abstract   PDF
Sebastian Herold
 
Volume 57: Bidirectional Transformations 2013 Composing Least-change Lenses Abstract   PDF
Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira
 
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 Composition of M,N-adhesive Categories with Application to Attribution of Graphs Abstract   PDF
Christoph Peuser, Annegret Habel
 
Volume 66: Automated Verification of Critical Systems 2013 Compositional Verification of a Lock-Free Stack with RGITL Abstract   PDF
Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfahler, Wolfgang Reif
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Computing Bounds for Counter Automata Abstract   PDF
Maximilien Colange, Dimitri Racordon, Didier Buchs
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories Abstract   PDF
Sebastian Küpper, Barbara König, H.J. Sander Bruggink
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Conditional Lemma Discovery and Recursion Induction in Hipster Abstract   PDF
Irene Lobo Valbuena, Moa Johansson
 
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 Conditions, constraints and contracts: On the use of annotations for policy modeling Abstract   PDF
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
 
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 Conditions in Reactive Systems and in Graph Rewriting Abstract   PDF
Barbara Koenig
 
Volume 70: Automated Verification of Critical Systems 2014 Conformance Testing of Cyber-Physical Systems: A Comparative Study Abstract   PDF
Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
 
Volume 39: Graph Computation Models 2010 Construction of Pushout Complements in the Category of Hypergraphs Abstract   PDF
Marvin Heumüller, Salil Joshi, Barbara König, Jan Stückrath
 
Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 Context awareness: Challenges and opportunities in modern smartphone use Abstract   PDF
Nearchos Paspallis, Gabriel Panis
 
Volume 61: Graph Computation Models 2012 Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping Abstract   PDF
Florian Mantz, Gabriele Taentzer, Yngve Lamo
 
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 Cotransforming Grammars with Shared Packed Parse Forests Abstract   PDF
Vadim Zaytsev
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Coverage Criteria for Testing DMM Specifications Abstract   PDF
Svetlana Arifulina, Christian Soltenborn, Gregor Engels
 
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 Decentralized Coordination in Self-Organizing Systems based on Peer-to-Peer Coordination Spaces Abstract   PDF
Thomas Preisler, Ante Vilenica, Wolfgang Renz
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages Abstract   PDF
H. J. Sander Bruggink, Mathias Hülsbusch
 
Volume 57: Bidirectional Transformations 2013 Delta Lenses and Opfibrations Abstract   PDF
Michael Johnson, Robert Rosebrugh
 
Volume 49: Bidirectional Transformations 2012 Delta Lenses over Inductive Types Abstract   PDF
Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
 
Volume 45: Formal Methods for Interactive Systems 2011 Dependable keyed data entry for interactive systems Abstract   PDF
Harold Thimbleby, Andy Gimblett
 
Volume 61: Graph Computation Models 2012 Derivation Languages of Graph Grammars Abstract   PDF
Nils Erik Flick
 
Volume 69: Formal Methods for Interactive Systems 2013 Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach Abstract   PDF
Rimvydas Rukšėnas, Paolo Masci, Michael D. Harrison, Paul Curzon
 
Volume 71: Graph Computation Models 2014 Distributed execution of bigraphical reactive systems Abstract   PDF
Alessio Mansutti, Marino Miculan, Marco Peressotti
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Distributed Verification of Rare Properties using Importance Splitting Observers Abstract   PDF
Cyrille Jegourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
 
Volume 44: OCL and Textual Modelling 2011 Dynamic Validation of OCL Constraints with mOdCL Abstract   PDF
Manuel Roldan, Francisco Durán
 
Volume 57: Bidirectional Transformations 2013 Edit languages for information trees Abstract   PDF
Martin Hofmann, Benjamin Pierce, Daniel Wagner
 
Volume 52: Software Modeling in Education 2011 EduSymp 2011 - Preface Abstract   PDF
Andreas Winter, Marion Brandsteidl
 
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems Abstract   PDF
Christoph Blume
 
Volume 54: Graph-Based Tools 2012 EMorF - A tool for model transformations Abstract   PDF
Lilija Klassen, Robert Wagner
 
Volume 31: Visual Formalisms for Patterns 2010 Enforcement of Patterns by Constraint-Aware Model Transformations Abstract   PDF
Yngve Lamo, Adrian Rutle, Florian Mantz
 
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis Abstract   PDF
Daniel Grosse, Goerschwin Fey, Rolf Drechsler
 
Volume 53: Automated Verification of Critical Systems 2012 E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs Abstract   PDF
Rajiv Murali, Andrew Ireland
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Estimating Rewards & Rare Events in Nondeterministic Systems Abstract   PDF
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
 
Volume 66: Automated Verification of Critical Systems 2013 Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling Abstract   PDF
Dana Dghaym, Michael Butler, Asieh Salehi Fathabadi
 
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 Evaluation of self-organizing communication mechanisms within a communication platform for disaster management Abstract   PDF
Volkmar Schau, Christian Erfurth, Wilhelm Rossak
 
Volume 70: Automated Verification of Critical Systems 2014 Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems Abstract   PDF
Jeremy Sproston
 
Volume 46: Automated Verification of Critical Systems 2011 Experiences in the Industrial use of Formal Methods Abstract   PDF
Janet Elizabeth Barnes
 
Volume 59: Patterns Promotion and Anti-patterns Prevention 2013 Experimenting the Influence of Numerical Thresholds on Model-based Detection and Refactoring of Performance Antipatterns Abstract   PDF
Davide Arcelli, Vittorio Cortellessa, Catia Trubiani
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques Abstract   PDF
Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang
 
481 - 540 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>