|
Issue |
Title |
|
Volume 21: Multi-Paradigm Modeling 2009 |
Synthesizing Executable Simulations from Structural Models of Component-Based Systems |
Abstract
PDF
|
Andreas Schuster, Jonathan Sprinkle |
|
Volume 21: Multi-Paradigm Modeling 2009 |
Systematic Transformation Development |
Abstract
PDF
|
Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer |
|
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) |
13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014): Preface |
Details
PDF
|
Frank Hermann, Stefan Sauer |
|
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 |
20 Years of Triple Graph Grammars: A Roadmap for Future Research |
Abstract
PDF
|
Anthony Anjorin, Erhan Leblebici, Andy Schürr |
|
Volume 54: Graph-Based Tools 2012 |
7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface |
Abstract
PDF
|
Christian Krause, Bernhard Westfechtel |
|
Volume 57: Bidirectional Transformations 2013 |
A Bidirectional Collaboration Framework for Bio-Model Development |
Abstract
PDF
|
John Roger Wilson-Kanamori, Soichiro Hidaka |
|
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 |
A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks |
Abstract
PDF
|
Mark Micallef, Christian Colombo |
|
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) |
A Comparison of Incremental Triple Graph Grammar Tools |
Abstract
PDF
|
Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, Joel Greenyer |
|
Volume 70: Automated Verification of Critical Systems 2014 |
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour |
Abstract
PDF
|
Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos |
|
Volume 60: Software Quality and Maintainability 2013 |
A Drill-Down Approach for Measuring Maintainability at Source Code Element Level |
Abstract
PDF
|
Péter Hegedűs, Tibor Bakota, Gergely Ladányi, Csaba Faragó, Rudolf Ferenc |
|
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 |
A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation |
Abstract
PDF
|
Christine Natschläger, Klaus-Dieter Schewe |
|
Volume 70: Automated Verification of Critical Systems 2014 |
A Formal Co-Simulation Approach for Wireless Sensor Network Development |
Abstract
PDF
|
Adisak Intana, Michael R. Poppleton, Geoff V. Merrett |
|
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 |
A Formal Specification of the DNSSEC Model |
Abstract
PDF
|
Ezequiel Bazan Eixarch, Gustavo Betarte, Carlos Daniel Luna |
|
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) |
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway |
Abstract
PDF
|
Christophe Limbree, Charles Pecheur |
|
Volume 42: Multi-Paradigm Modeling 2010 |
A generic in-place transformation-based approach to structured model co-evolution |
Abstract
PDF
|
Bart Meyers, Manuel Wimmer, Antonio Cicchetti, Jonathan Sprinkle |
|
Volume 31: Visual Formalisms for Patterns 2010 |
A Generic Technique for Domain-Specific Visual Language Model Refactoring to Patterns |
Abstract
PDF
|
Karen Li, John Hosking, John Grundy |
|
Volume 61: Graph Computation Models 2012 |
A Graph Transformational View on Reductions in NP |
Abstract
PDF
|
Marcus Ermler, Sabine Kuske, Melanie Luderer, Caroline von Totth |
|
Volume 50: Multi-Paradigm Modeling 2011 |
A hybrid approach for multi-view modeling |
Abstract
PDF
|
Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque |
|
Volume 60: Software Quality and Maintainability 2013 |
A Meta Model for Software Architecture Conformance and Quality Assessment |
Abstract
PDF
|
Andreas Goeb |
|
Volume 65: Software Quality and Maintainability 2014 |
A Model-Based Approach to Impact Analysis Using Model Differencing |
Abstract
PDF
|
Klaus Müller, Bernhard Rumpe |
|
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) |
A Modular and Statically Typed Effectful Stack for Custom Graph Traversals |
Abstract
PDF
|
Norbert Tausch, Michael Philippsen |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
A Novel Approach to Achieving End-to-End QoS for Avionic Applications |
Abstract
PDF
|
Yevhenii Shudrenko, Daniel Plöger, Koojana Kuladinithi, Andreas Timm-Giel |
|
Volume 59: Patterns Promotion and Anti-patterns Prevention 2013 |
A Pattern Language for the Evolution of Component-based Software Architectures |
Abstract
PDF
|
Aakash Ahmad, Pooyan Jamshidi, Claus Pahl, Fawad Khaliq |
|
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 |
A Pattern-based Approach for Initial Diagram Layout |
Abstract
PDF
|
Sonja Maier, Mark Minas |
|
Volume 45: Formal Methods for Interactive Systems 2011 |
A Process Algebraic Description of a Temporal Wireless Network Protocol |
Abstract
PDF
|
Colm Bhandal, Melanie Bouroche, Arthur Hughes |
|
Volume 57: Bidirectional Transformations 2013 |
A Survey of Triple Graph Grammar Tools |
Abstract
PDF
|
Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr |
|
Volume 46: Automated Verification of Critical Systems 2011 |
A Survey on Event-B Decomposition |
Abstract
PDF
|
Thai Son Hoang, Alexei Iliasov, Renato A Silva, Wei Wei |
|
Volume 46: Automated Verification of Critical Systems 2011 |
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software |
Abstract
PDF
|
Xiang Gan, Jori Dubrovin, Keijo Heljanko |
|
Volume 71: Graph Computation Models 2014 |
A Unification Algorithm for GP 2 |
Abstract
PDF
|
Ivaylo Hristakiev, Detlef Plump |
|
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner |
(A) Vision for 2050 - Context-Based Image Understanding for a Human-Robot Soccer Match |
Abstract
PDF
|
Udo Frese, Tim Laue, Oliver Birbach, Thomas Röfer |
|
Volume 39: Graph Computation Models 2010 |
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation |
Abstract
PDF
|
Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel |
|
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 |
A visual language for temporal specifications based on Spider diagrams |
Abstract
PDF
|
Paolo Bottoni, Andrew Fish |
|
Volume 42: Multi-Paradigm Modeling 2010 |
A Visual Notation for Declarative Behaviour Specification |
Abstract
PDF
|
Thomas Kuehne |
|
Volume 63: Software Clones 2014 |
About Metrics for Clone Detection |
Abstract
PDF
|
Thierry Lavoie, Ettore Merlo |
|
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 |
Abstract Interleaving Semantics for Reconfigurable Petri Nets |
Abstract
Untitled ()
PDF
|
Julia Padberg |
|
Volume 45: Formal Methods for Interactive Systems 2011 |
Abstract Models and Cognitive Mismatch in Formal Verification |
Abstract
PDF
|
Rimvydas Rukšėnas, Paul Curzon |
|
Volume 63: Software Clones 2014 |
Active Clones: Source Code Clones at Runtime |
Abstract
PDF
|
Mohammad Asif A. Khan, Kevin A Schneider, Chanchal K Roy |
|
Volume 42: Multi-Paradigm Modeling 2010 |
Active Model Patterns with Interactive Model Transformation |
Abstract
PDF
|
Tamás Mészáros, Tihamér Levendovszky, Gergely Mezei |
|
Volume 70: Automated Verification of Critical Systems 2014 |
Adaptive Task Automata with Earliest-Deadline-First Scheduling |
Abstract
PDF
|
Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson |
|
Volume 54: Graph-Based Tools 2012 |
Adding Rule-Based Model Transformation to Modelling Languages in MetaEdit+ |
Abstract
PDF
|
Simon Van Mierlo, Hans Vangheluwe |
|
Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) |
Advances in Usability of Formal Methods for Code Verification with Frama-C |
Abstract
PDF
|
André Maroneze, Valentin Perrelle, Florent Kirchner |
|
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 |
Algebraic Approach to Timed Petri Nets |
Abstract
PDF
|
Karsten Gabriel, Pascal Lingnau, Claudia Ermel |
|
Volume 44: OCL and Textual Modelling 2011 |
Aligning OCL with UML |
Abstract
PDF
|
Edward Daniel Willink |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
An Application Layer Protocol to Support Cooperative Navigation of Multiple UAVs Systems |
Abstract
PDF
|
Maik Basso, Alexey Vinel, Edison Pignaton de Freitas |
|
Volume 50: Multi-Paradigm Modeling 2011 |
An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models |
Abstract
PDF
|
Alek Radjenovic, Richard F Paige |
|
Volume 44: OCL and Textual Modelling 2011 |
An Architecture Description Language for Embedded Hardware Platforms |
Abstract
PDF
|
Guillaume Savaton, Jean-Luc Béchennec, Mikaël Briday, Rola Kassem |
|
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) |
An Entailment Checker for Separation Logic with Inductive Definitions |
Abstract
PDF
|
Cristina Serban, Radu Iosif |
|
Volume 65: Software Quality and Maintainability 2014 |
An Initial Quality Analysis of the Ohloh Software Evolution Data |
Abstract
PDF
|
Magiel Bruntink |
|
Volume 59: Patterns Promotion and Anti-patterns Prevention 2013 |
Analysing Anti-patterns Static Relationships with Design Patterns |
Abstract
PDF
|
Fehmi Jaafar, Yann-Gaël Guéhéneuc, Sylvie Hamel, foutse khomh |
|
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 |
Analysis of Collaboration Effectiveness and Individuals’ Contribution in FLOSS Communities |
Abstract
PDF
|
Antonio Cerone, Simon Fong, Siraj Ahmed Shaikh |
|
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 |
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors |
Abstract
PDF
|
Maria Maximova, Hartmut Ehrig, Claudia Ermel |
|
Volume 71: Graph Computation Models 2014 |
Analysis of Petri Nets with Context-Free Structure Changes |
Abstract
PDF
|
Nils Erik Flick, Björn Engelmann |
|
Volume 69: Formal Methods for Interactive Systems 2013 |
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification |
Abstract
PDF
|
José-Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe palanque, Célia Martiinie, Eric Barboni |
|
Volume 70: Automated Verification of Critical Systems 2014 |
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations |
Abstract
PDF
|
Jingshu Chen, Marie Duflot, Stephan Merz |
|
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) |
Analyzing Consistency of Formal Requirements |
Abstract
PDF
|
Jan Steffen Becker |
|
Volume 64: Programming and Computer Languages 2013 |
Analyzing Fuzzy Logic Computations with Fuzzy XPath |
Abstract
PDF
|
Jesus M. Almendros-Jimenez, Alejandro Luna, Gines Moreno, Carlos Vazquez |
|
Volume 65: Software Quality and Maintainability 2014 |
Analyzing Gerrit Code Review Parameters with Bicho |
Abstract
PDF
|
Jesus M. Gonzalez-Barahona, Daniel Izquierdo-Cortazar, Gregorio Robles, Alvaro del Castillo |
|
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 |
Annotations on Complex Patterns |
Abstract
PDF
|
Paolo Bottoni, Francesco Parisi Presicce |
|
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 |
Applicability of Neural Networks for Driving Style Classification and Maneuver Detection |
Abstract
PDF
|
Karl-Falco Storm, Paul Hochrein, Peter Engel, Andreas Rausch |
|
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium |
Application Conditions for Reactive Systems with Applications to Bisimulation Theory |
Abstract
PDF
|
Mathias Hülsbusch |
|
421 - 480 of 888 Items |
<< < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |