Browse Title Index


 
Issue Title
 
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 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 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
 
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
 
Volume 52: Software Modeling in Education 2011 Model Correctness Patterns as an Educational Instrument Abstract   PDF
Azzam Maraee, Mira Balaban, Arnon Strum, Adiel Ashrov
 
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) Model Extraction of Legacy C Code in SCCharts Abstract   PDF
Steven Smyth, Stephan Lenga, Reinhard von Hanxleden
 
Volume 50: Multi-Paradigm Modeling 2011 Model-Based Engineering for the support of Models of Computation: The Cometa Approach Abstract   PDF
Papa Issa Diallo
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Model-based WCET Analysis with Invariants Abstract   PDF
Bojan Nokovic, Emil Sekerinski
 
Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017) Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience Abstract   PDF
Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Modeling context with graph annotations Abstract   PDF
Paolo Bottoni, Francesco Parisi-Presicce
 
Volume 44: OCL and Textual Modelling 2011 Modeling the OCL Standard Library Abstract   PDF
Edward Daniel Willink
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Modelling Adaptive Networks: The Case of the Petrified Voters Abstract   PDF
Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski
 
601 - 660 of 870 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >>