Electronic Communications of the EASST
| Issue | Title | |
| Volume 39: Graph Computation Models 2010 | Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars | Abstract PDF |
| Berthold Hoffmann, Mark Minas | ||
| Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) | Generating Optimal Decision Functions from Rule Specifications | Abstract PDF |
| Frederik Gossen, Tiziana Margaria | ||
| 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 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 | Guidance in Model-based Compilations | Abstract PDF |
| Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Hacking planned obsolescense in robotics, towards security-oriented robot teardown | Abstract PDF |
| Victor Mayoral-Vilches, Alfonso Glera-Picón, Unai Ayúcar-Carbajo, Stefan Rass, Martin Pinzger, Federico Maggi, Endika Gil-Uriarte | ||
| Volume 63: Software Clones 2014 | Handling Clone Mutations in Simulink Models with VCL | Abstract PDF |
| Hamid Abdul Basit, Yanja Dajsuren | ||
| Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) | Handling Domain Knowledge in Design and Analysis of Engineering Models | Abstract PDF |
| Kahina Hacid, Yamine Ait-Ameur | ||
| 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 80: Conference on Networked Systems 2021 (NetSys 2021) | IDN-Laser-Tester: A Framework for Detecting and Testing ILDA Digital Network Consumers for Laser Projection | Abstract PDF |
| Matthias Frank | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Impact of radio channel characteristics on the longitudinal behaviour of truck platoons in critical car-following situations | Abstract PDF |
| Salil Sharma, Ehab Al-Khannaq, Raphael Riebl, Wouter Schakel, Peter Knoppers, Alexander Verbraeck, Hans van Lint | ||
| 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 80: Conference on Networked Systems 2021 (NetSys 2021) | Implementing DNSSEC soft delegation for microservices | Abstract PDF |
| Andres Marin-Lopez, Patricia Arias-Cabarcos, Thorsten Strufe, Gabriel Barceló-Soteras, Florina Almenares-Mendoza, Daniel Díaz-Sánchez | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Improvements to the Secure Construction and Utilization of Greedy Embeddings in Friend-to-Friend Overlays | Abstract PDF |
| Martin Byrenheid, Stefanie Roos, Thorsten Strufe | ||
| 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 80: Conference on Networked Systems 2021 (NetSys 2021) | Information Management for Multi-Agent Systems | Abstract PDF |
| Yasin Alhamwy | ||
| 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 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models | Abstract PDF |
| Maximilian Schlüter, Gerrit Nolte | ||
| 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 80: Conference on Networked Systems 2021 (NetSys 2021) | Large Scale Monitoring of Web Application Software Distribution to Measure Threat Response Behavior | Abstract PDF |
| Fabian Marquardt, Lennart Buhl | ||
| 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 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Lazy Merging: From a Potential of Universes to a Universe of Potentials | Abstract PDF |
| Jonas Schürmann, Bernhard Steffen | ||
| 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 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Low-Code/No-Code Artificial Intelligence Platforms for the Health Informatics Domain | Abstract PDF |
| Colm Brandon, Tiziana Margaria | ||
| 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 | ||
| Volume 53: Automated Verification of Critical Systems 2012 | Model Checking Algorithms for Markov Automata | Abstract PDF |
| Hassan Hatefi, Holger Hermanns | ||
| Volume 70: Automated Verification of Critical Systems 2014 | Model Checking C++ with Exceptions | Abstract PDF |
| Petr Ročkai, Jiří Barnat, Luboš Brim | ||
| Volume 47: Graph Transformation and Visual Modeling Techniques 2012 | Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO | Abstract PDF |
| Alexander Heußner | ||
| 601 - 660 of 888 Items | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |