|
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 > >> |