Electronic Communications of the EASST
| 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 > >> | |