Browse Title Index


 
Issue Title
 
Volume 44: OCL and Textual Modelling 2011 Extending ASSL: Making UML Metamodel-based Workflows executable Abstract   PDF
Jens Brüning, Lars Hamann, Andreas Wolff
 
Volume 44: OCL and Textual Modelling 2011 Extending OCL Operation Contracts with Objective Functions Abstract   PDF
Matthias P. Krieger, Achim D. Brucker
 
Volume 49: Bidirectional Transformations 2012 First International Workshop on Bidirectional Transformations (BX 2012): Preface Abstract   PDF
Frank Hermann, Janis Voigtländer
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) First-order logic for safety verification of hedge rewriting systems Abstract   PDF
Alexei Lisitsa
 
Volume 45: Formal Methods for Interactive Systems 2011 Formal Modeling and Analysis for Interactive Hybrid Systems Abstract   PDF
Ellen J Bass, Karen M Feigh, Elsa Gunter, John M Rushby
 
Volume 40: Petri Nets and Graph Transformations 2010 Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories Abstract   PDF
Maria Maximova, Hartmut Ehrig, Claudia Ermel
 
Volume 53: Automated Verification of Critical Systems 2012 Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System Abstract   PDF
Yang Zhao, Kristin Yvonne Rozier
 
Volume 39: Graph Computation Models 2010 Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions Abstract   PDF
Ulrike Golas, Hartmut Ehrig, Frank Herrmann
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML Abstract   PDF
Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 Formal verification of a theory of packages Abstract   PDF
Jaap Boender
 
Volume 40: Petri Nets and Graph Transformations 2010 Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations Abstract   PDF
Tony Modica, Karsten Gabriel, Kathrin Hoffmann
 
Volume 53: Automated Verification of Critical Systems 2012 Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic Abstract   PDF
Brijesh Dongol, John Derrick, Ian J. Hayes
 
Volume 66: Automated Verification of Critical Systems 2013 From System Requirements to Software Requirements in the Four-Variable Model Abstract   PDF
Lucian M. Patcas, Mark Lawford, Tom Maibaum
 
Volume 66: Automated Verification of Critical Systems 2013 Fully Symbolic TCTL Model Checking for Incomplete Timed Systems Abstract   PDF
Georges Morbé, Christoph Scholl
 
Volume 66: Automated Verification of Critical Systems 2013 Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification Abstract   PDF
zeinab sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani
 
Volume 40: Petri Nets and Graph Transformations 2010 Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks Abstract   PDF
Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg
 
Volume 39: Graph Computation Models 2010 Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars Abstract   PDF
Berthold Hoffmann, Mark Minas
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Generating Preconditions from Graph Constraints by Higher Order Graph Transformation Abstract   PDF
Frederik Deckwerth, Gergely Varró
 
Volume 39: Graph Computation Models 2010 Graph Computation Models Details   PDF
Rachid Echahed, Annegret Habel, Mohamed Mosbah
 
Volume 61: Graph Computation Models 2012 Graph Computation Models 2012 Details   PDF
Rachid Echahed, Annegret Habel, Mohamed Mosbah
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Graph Passing in Graph Transformation Abstract   PDF
Amir Hossein Ghamarian, Arend Rensink
 
Volume 61: Graph Computation Models 2012 Graph Rewriting with Contextual Refinement Abstract   PDF
Berthold Hoffmann
 
Volume 71: Graph Computation Models 2014 Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms Abstract   PDF
Wolfram Kahl
 
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner Graph Tuple Transformation Abstract   PDF
Hans-Jörg Kreowski, Sabine Kuske
 
Volume 54: Graph-Based Tools 2012 Gray Box Coverage Criteria for Testing Graph Pattern Matching Abstract   PDF
Martin Wieber, Andy Schürr
 
Volume 63: Software Clones 2014 Handling Clone Mutations in Simulink Models with VCL Abstract   PDF
Hamid Abdul Basit, Yanja Dajsuren
 
Volume 53: Automated Verification of Critical Systems 2012 Harnessing SMT Solvers for TLA+ Proofs Abstract   PDF
Stephan Merz, Hernán Vanzetto
 
Volume 63: Software Clones 2014 How Accurate Is Coarse-grained Clone Detection?: Comparision with Fine-grained Detectors Abstract   PDF
Keisuke Hotta, Jiachen Yang, Yoshiki Higo, Shinji Kusumoto
 
Volume 50: Multi-Paradigm Modeling 2011 How to reach a usable DSL? Moving toward a Systematic Evaluation Abstract   PDF
Ankica Barisic, Vasco Amaral, Miguel Goulao, Bruno Barroca
 
Volume 63: Software Clones 2014 How We Know the Practical Impact of Clone Analysis Abstract   PDF
Norihiro Yoshida, Eunjong Choi, Yuki Yamanaka, Katsuro Inoue
 
Volume 61: Graph Computation Models 2012 HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas Abstract   PDF
Hendrik Radke
 
Volume 65: Software Quality and Maintainability 2014 Implementing a model-driven and iterative quality assessment life-cycle: a case study Abstract   PDF
Benoît Vanderose, Hajer Ayed, Naji Habra
 
Volume 64: Programming and Computer Languages 2013 Improving the Search Capabilities of a CFLP(FD) System Abstract   PDF
Fernando Sáenz-Pérez, Castiñeiras Ignacio
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Incremental Pattern Matching for Regular Expressions Abstract   PDF
Arash Jalali, Arend Rensink, Amir Hossein Ghamarian
 
Volume 39: Graph Computation Models 2010 Incremental update of constraint-compliant policy rules Abstract   PDF
Paolo Bottoni, Andrew Fish, Francesco Parisi Presicce
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Instance Generation from Type Graphs with Arbitrary Multiplicities Abstract   PDF
Gabriele Taentzer
 
Volume 46: Automated Verification of Critical Systems 2011 Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics Abstract   PDF
Franz Weitl, Shin Nakajima
 
Volume 66: Automated Verification of Critical Systems 2013 Integrating model checking and UML based model-driven development for embedded systems Abstract   PDF
Zamira Daw, Rance Cleaveland, Marcus Vetter
 
Volume 54: Graph-Based Tools 2012 Integration of Triple Graph Grammars and Constraints Abstract   PDF
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Interactive Strategy-Based Validation of Behavioral Models Abstract   PDF
Ralf Teusner, Gregor Gabrysiak, Stefan Richter, Stefan Kleff
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Inter-Modelling with Graphical Constraints: Foundations and Applications Abstract   PDF
Juan de Lara, Esther Guerra
 
Volume 63: Software Clones 2014 Investigating Intentional Clone Refactoring Abstract   PDF
Wei Wang, Michael W. Godfrey
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior Abstract   PDF
Holger Giese
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions Abstract   PDF
Andrea Corradini
 
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 Keeping Pace with Changes - Towards Supporting Continuous Improvements and Extensive Updates in Manufacturing Automation Software Abstract   PDF
Christopher Haubeck, Ireneus Wior, Lars Braubach, Alexander Pokahr, Jan Ladiges, Alexander Fay, Winfried Lamersdorf
 
Volume 49: Bidirectional Transformations 2012 Language Evolution, Metasyntactically Abstract   PDF
Vadim Zaytsev
 
Volume 63: Software Clones 2014 Late Propagation in Near-Miss Clones: An Empirical Study Abstract   PDF
Manishankar Mondal, Chanchal K. Roy, Kevin A. Schneider
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models Abstract   PDF
Jan Stückrath, Benjamin Weyers
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout Abstract   PDF
Sonja Maier, Mark Minas
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 Learning and Activity Patterns in OSS Communities and their Impact on Software Quality Abstract   PDF
Antonio Cerone
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Learning Minimal and Maximal Rules from Observations of Graph Transformations Abstract   PDF
Abdullah M. Alshanqiti, Reiko Heckel, Tamim Khan
 
Volume 49: Bidirectional Transformations 2012 Lens put-put laws: monotonic and mixed Abstract   PDF
Michael Johnson, Robert Rosebrugh
 
Volume 57: Bidirectional Transformations 2013 Lenses for Web Data Abstract   PDF
Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney
 
Volume 69: Formal Methods for Interactive Systems 2013 Lightweight Interaction Modeling in Evolutionary Prototyping Abstract   PDF
Anke Dittmar, Reik Schachtschneider
 
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium Local Confluence Analysis of Consistent EMF Transformations Abstract   PDF
Enrico Biermann
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Loop Patterns in C Programs Abstract   PDF
Thomas Pani, Helmut Veith, Florian Zuleger
 
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) Mean Quantitative Coverability in Stochastic Graph Transformation Systems Abstract   PDF
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
 
Volume 63: Software Clones 2014 Measuring Copying of Java Archives Abstract   PDF
Tetsuya Kanda, Daniel Morales German, Takashi Ishio, Katsuro Inoue
 
Volume 39: Graph Computation Models 2010 Minimizing Finite Automata with Graph Programs Abstract   PDF
Detlef Plump, Robin Suri, Ambuj Singh
 
Volume 46: Automated Verification of Critical Systems 2011 Mixing Formal and Informal Model Elements for Tracing Requirements Abstract   PDF
Michael Jastram, Stefan Hallerstede, Lukas Ladenberger
 
541 - 600 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>